公开(公告)号：US08539457B2

公开(公告)日：2013-09-17

申请号：US12613925

申请日：2009-11-06

申请人： John Lawrence Hamby ,  Joshua Ryan Williams ,  John D. Doty ,  Clemens A. Szyperski ,  David Michael Miller

发明人： John Lawrence Hamby ,  Joshua Ryan Williams ,  John D. Doty ,  Clemens A. Szyperski ,  David Michael Miller

IPC分类号： G06F9/45 ,  G06F9/455

CPC分类号： G06N5/022

摘要： Computing responses to semantic queries. A method includes accessing a plurality of objects that represent source code for an input program. The source code is transformed into a plurality of immutable objects that are structured such that the immutable objects can be used to derive any response as defined by the semantic rules about the source code. A query is received from a requestor requesting a semantic characteristic of the input program. The semantic characteristic is calculated. The semantic characteristic is returned to the requestor. The semantic characteristic is cached in a cache. Information describing a dependency between the cached semantic characteristic and one or more of the objects in the plurality of objects is stored.

摘要翻译： 计算对语义查询的响应。 一种方法包括访问代表输入程序的源代码的多个对象。 源代码被转换成多个不可变对象，其被构造成使得不可变对象可以用于导出由关于源代码的语义规则定义的任何响应。 从请求者接收到询问输入程序的语义特征的查询。 计算语义特征。 语义特征被返回给请求者。 语义特征缓存在缓存中。 存储描述缓存的语义特征与多个对象中的一个或多个对象之间的依赖关系的信息。

公开(公告)号：US20110113408A1

公开(公告)日：2011-05-12

申请号：US12613925

申请日：2009-11-06

申请人： John Lawrence Hamby ,  Joshua Ryan Williams ,  John D. Doty ,  Clemens A. Szyperski ,  David Michael Miller

发明人： John Lawrence Hamby ,  Joshua Ryan Williams ,  John D. Doty ,  Clemens A. Szyperski ,  David Michael Miller

IPC分类号： G06F9/45 ,  G06N5/02

CPC分类号： G06N5/022

摘要： Computing responses to semantic queries. A method includes accessing a plurality of objects that represent source code for an input program. The source code is transformed into a plurality of immutable objects that are structured such that the immutable objects can be used to derive any response as defined by the semantic rules about the source code. A query is received from a requestor requesting a semantic characteristic of the input program. The semantic characteristic is calculated. The semantic characteristic is returned to the requestor. The semantic characteristic is cached in a cache. Information describing a dependency between the cached semantic characteristic and one or more of the objects in the plurality of objects is stored.

摘要翻译： 计算对语义查询的响应。 一种方法包括访问代表输入程序的源代码的多个对象。 源代码被转换成多个不可变对象，其被构造成使得不可变对象可以用于导出由关于源代码的语义规则定义的任何响应。 从请求者接收到询问输入程序的语义特征的查询。 计算语义特征。 语义特征被返回给请求者。 语义特征被缓存在缓存中。 存储描述缓存的语义特征与多个对象中的一个或多个对象之间的依赖关系的信息。

公开(公告)号：US08359292B2

公开(公告)日：2013-01-22

申请号：US12885714

申请日：2010-09-20

申请人： Vance Morrison ,  Joshua Ryan Williams

发明人： Vance Morrison ,  Joshua Ryan Williams

IPC分类号： G06F17/30

CPC分类号： G06F11/3466 ,  G06F11/3409 ,  G06F2201/81 ,  G06F2201/865

摘要： Particular portions of program execution data are specified and organized in semantic groups. A grouping expression written in a transformation syntax language specifies a pattern and a replacement, for grouping performance data samples. An exception to the pattern can also be specified. In response to the grouping expression, a cost accounting shows groups and their costs. The grouping expression may operate on names and/or name-associated characteristics such as private/public status, author, directory, and the like. Samples may represent nodes in a directed acyclic graph memorializing call stacks or memory allocation. Grouping expressions are used to group nodes and consolidate costs by various procedures when making modified sample stacks: clustering-by-name, entry-group-clustering, folding-by-name, a folding-by-cost. An entry group clustering shows at least one entry point name while avoiding unwanted detail.

摘要翻译： 程序执行数据的特定部分被指定并组织在语义组中。 以变​​换语法语言编写的分组表达式指定用于对性能数据样本进行分组的模式和替换。 也可以指定模式的例外。 响应于分组表达式，成本会计显示组及其成本。 分组表达式可以在诸如私人/公共状态，作者，目录等的名称和/或名称相关特征上操作。 样本可以表示记录调用堆栈或存储器分配的有向无环图中的节点。 分组表达式用于分组节点，并在进行修改的样本堆栈时通过各种过程合并成本：按名称进行聚类，入口组聚类，逐个折叠，折叠成本。 入口组群集显示至少一个入口点名称，同时避免不必要的详细信息。

公开(公告)号：US20120072423A1

公开(公告)日：2012-03-22

申请号：US12885714

申请日：2010-09-20

申请人： Vance Morrison ,  Joshua Ryan Williams

发明人： Vance Morrison ,  Joshua Ryan Williams

IPC分类号： G06F17/30

CPC分类号： G06F11/3466 ,  G06F11/3409 ,  G06F2201/81 ,  G06F2201/865

摘要： Particular portions of program execution data are specified and organized in semantic groups. A grouping expression written in a transformation syntax language specifies a pattern and a replacement, for grouping performance data samples. An exception to the pattern can also be specified. In response to the grouping expression, a cost accounting shows groups and their costs. The grouping expression may operate on names and/or name-associated characteristics such as private/public status, author, directory, and the like. Samples may represent nodes in a directed acyclic graph memorializing call stacks or memory allocation. Grouping expressions are used to group nodes and consolidate costs by various procedures when making modified sample stacks: clustering-by-name, entry-group-clustering, folding-by-name, a folding-by-cost. An entry group clustering shows at least one entry point name while avoiding unwanted detail.

摘要翻译： 程序执行数据的特定部分被指定并组织在语义组中。 以变​​换语法语言编写的分组表达式指定用于对性能数据样本进行分组的模式和替换。 也可以指定模式的例外。 响应于分组表达式，成本会计显示组及其成本。 分组表达式可以在诸如私人/公共状态，作者，目录等的名称和/或名称相关特征上操作。 样本可以表示记录调用堆栈或存储器分配的有向无环图中的节点。 分组表达式用于分组节点，并在进行修改的样本堆栈时通过各种过程合并成本：按名称进行聚类，入口组聚类，逐个折叠，折叠成本。 入口组群集显示至少一个入口点名称，同时避免不必要的详细信息。