专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US07725643B1 Methods and systems for detecting and avoiding an address dependency between tasks 有权
标题翻译：用于检测和避免任务之间的地址依赖关系的方法和系统
公开(公告)号：US07725643B1
公开(公告)日：2010-05-25
申请号：US10838385
申请日：2004-05-04
申请人： Michael L. Boucher
发明人： Michael L. Boucher
IPC分类号： G06F12/02
CPC分类号： G06F12/023
摘要： Methods, systems, and articles of manufacture consistent with the present invention provide a optimization tool for avoiding an address dependency between tasks in a program. The tool determines whether two or more tasks of the program are dependent on at least one same address, which is associated with a first memory block. When it is determined that the two or more tasks of the program are dependant on the at least one same address, the tool allocates a second memory block and changes a read reference by at least one of the two or more tasks from the first memory block associated with the at least one same address to the second memory block.
摘要翻译：根据本发明的方法，系统和制品提供了一种用于避免程序中的任务之间的地址依赖性的优化工具。该工具确定程序的两个或多个任务是否依赖于与第一存储器块相关联的至少一个相同的地址。当确定程序的两个或多个任务取决于至少一个相同的地址时，工具分配第二存储器块并且通过来自第一存储器块的两个或多个任务中的至少一个来改变读取引用与所述至少一个相同的地址与所述第二存储器块相关联。

2. 发明授权

US07552317B2 Methods and systems for grouping instructions using memory barrier instructions 有权
标题翻译：使用记忆障碍指令分组指令的方法和系统
公开(公告)号：US07552317B2
公开(公告)日：2009-06-23
申请号：US10882596
申请日：2004-06-30
申请人： Michael L. Boucher
发明人： Michael L. Boucher
IPC分类号： G06F7/38 , G06F9/00 , G06F15/00
CPC分类号： G06F9/5016 , G06F9/3004 , G06F9/30047 , G06F9/30087 , G06F9/30145 , G06F9/522
摘要： Methods, systems, and articles of manufacture consistent with the present invention provide a memory instruction manager for managing the execution of instructions associated with a program. The memory instruction manager assigns a first group identifier to a first instruction associated with a program and to a second instruction associated with the program, and provides, after the first instruction, a memory barrier instruction having the first group identifier such that one or more processors with access to the program are inhibited from executing the second memory instruction until the first memory instruction is executed.
摘要翻译：与本发明一致的方法，系统和制品提供了一种存储器指令管理器，用于管理与程序相关联的指令的执行。存储器指令管理器将第一组标识符分配给与程序相关联的第一指令和与程序相关联的第二指令，并且在第一指令之后提供具有第一组标识符的存储器障碍指令，使得一个或多个处理器禁止对程序的访问执行第二存储器指令直到执行第一存储器指令。

3. 发明授权

US07065634B2 Methods and systems for developing data flow programs 有权
公开(公告)号：US07065634B2
公开(公告)日：2006-06-20
申请号：US10005783
申请日：2001-11-08
申请人： Brad R. Lewis , Michael L. Boucher , Noah Horton
发明人： Brad R. Lewis , Michael L. Boucher , Noah Horton
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/433 , G06F8/314 , G06F9/4494
摘要： Methods, systems, and articles of manufacture consistent with the present invention provide a development tool that enables computer programmers to design and develop a data flow program for execution in a multiprocessor computer system. The tool allows the programmer to define a region divided into multiple blocks, wherein each block is associated with data operated on by code segments of the data flow program. The development tool also maintains dependencies among the blocks, each dependency indicating a relationship between two blocks that indicates that the portion of the program associated with a first block of the relationship needs the resultant data provided by the portions of the program associated with a second block of the relationship. The development tool supports several debugging commands, including insertion of multiple types of breakpoints, adding and deleting dependencies, single stepping data flow program execution, and the like.

4. 发明授权

US06957208B1 Method, apparatus, and article of manufacture for performance analysis using semantic knowledge 有权
标题翻译：使用语义知识进行性能分析的方法，装置和制造
公开(公告)号：US06957208B1
公开(公告)日：2005-10-18
申请号：US09699628
申请日：2000-10-31
申请人： Michael L. Boucher , Shaun M. Dennie , Paul J. Hinker
发明人： Michael L. Boucher , Shaun M. Dennie , Paul J. Hinker
IPC分类号： G06F11/34 , G06N7/00 , G06N7/08
CPC分类号： G06F11/3466 , G06F2201/865
摘要： Methods and systems consistent with this invention analyze the performance of a program executed in a data processing system. Such methods and systems assign a semantic to the performance of the program, and measure the level of performance of the program based on the semantic. As part of assigning a semantic, such methods and systems indicate a class of processing of which to measure performance, and may define a suctitude associated with the class. Such methods and systems define the class as a processing function that could contribute to the poor performance of the program. As part of measuring the level of performance, such methods and systems measure the suctitude of the indicated class during program execution.
摘要翻译：与本发明一致的方法和系统分析在数据处理系统中执行的程序的性能。这样的方法和系统为程序的性能分配语义，并且基于语义来测量程序的性能水平。作为分配语义的一部分，这样的方法和系统指示用于测量性能的一类处理，并且可以定义与该类相关联的感觉。这种方法和系统将该类定义为可能导致程序性能差的处理功能。作为测量性能水平的一部分，这些方法和系统在程序执行期间测量指定类的正常度。

5. 发明授权

US07836434B1 Method and system for analyzing array access to a pointer that is referenced as an array 有权
标题翻译：分析数组访问指向数组的指针的方法和系统
公开(公告)号：US07836434B1
公开(公告)日：2010-11-16
申请号：US10837602
申请日：2004-05-04
申请人： Michael L. Boucher
发明人： Michael L. Boucher
IPC分类号： G06F9/44
CPC分类号： G06F8/43
摘要： Methods, systems, and articles of manufacture consistent with the present invention provide an improved technique for analyzing statements that use pointer or array syntax to access dynamically-allocated arrays to determine whether the statement generates a reference that is outside the bounds of the array's allocated memory. Statements that use pointer or array syntax to access dynamically-allocated arrays can be either statically (at compile-time) or dynamically bounds (at run-time) checked. Methods and systems in accordance with the present invention determine at compile-time if an array reference can be determined to always be in bounds or definitely out of bounds at least once, and if not, insert code into the program to check the array bounds dynamically at run-time before the access of the array reference.
摘要翻译：与本发明一致的方法，系统和制品提供了一种改进的技术，用于分析使用指针或阵列语法访问动态分配的数组的语句，以确定语句是否生成超出数组分配的存储器边界的引用。使用指针或数组语法访问动态分配的数组的语句可以是静态的（在编译时）或动态界限（在运行时）。根据本发明的方法和系统在编译时确定如果阵列引用可以被确定为始终处于边界或绝对超出边界至少一次，如果不是，则将代码插入到程序中以动态地检查数组边界在运行时在数组引用访问之前。

6. 发明授权

US07730469B1 Method and system for code optimization 有权
标题翻译：代码优化的方法和系统
公开(公告)号：US07730469B1
公开(公告)日：2010-06-01
申请号：US10840069
申请日：2004-05-04
申请人： Michael L. Boucher
发明人： Michael L. Boucher
IPC分类号： G06F9/45
CPC分类号： G06F8/443
摘要： Methods, systems, and articles of manufacture consistent with the present invention optimize a program by analyzing a statistical profile of a program execution, and automatically optimizing the program based on at least one of the analysis, information about at least one prior compilation of the program, and information about at least one prior optimization of the program. The optimization of the program can therefore take into consideration changes made during prior compilations and optimization and the results of the changes.
摘要翻译：根据本发明的方法，系统和制品通过分析程序执行的统计概况来优化程序，并且基于至少一个分析来自动优化程序，关于程序的至少一个先前编译的信息，以及关于程序的至少一个先前优化的信息。因此，程序的优化可以考虑在以前的编译和优化过程中所做的更改以及更改的结果。

7. 发明授权

US07506329B1 Method and system for targeting profile gathering through real-time data 有权
标题翻译：通过实时数据定位配置文件收集的方法和系统
公开(公告)号：US07506329B1
公开(公告)日：2009-03-17
申请号：US10838086
申请日：2004-05-04
申请人： Michael L. Boucher
发明人： Michael L. Boucher
IPC分类号： G06F9/45
CPC分类号： G06F11/3612 , G06F8/4441
摘要： Methods and systems consistent with the present invention provide a statistical profile of execution characteristics of a program, then use that statistical profile to regenerate code at run-time. When the information in the statistical profile is insufficient to make an optimization decision, methods and systems in accordance with the present invention may use the statistical profile plus additional information described below to determine a minimal level of instrumentation required to answer a particular optimization question. They then add at run-time the minimal instrumentation required to decide an optimization question, continue running the program for a period of time, and then analyze the resulting instrumentation data. These systems may either iterate the process to get more data or use the available data to compile a more highly optimized program.
摘要翻译：与本发明一致的方法和系统提供程序的执行特征的统计概况，然后使用该统计概况在运行时重新生成代码。当统计简档中的信息不足以进行优化决策时，根据本发明的方法和系统可以使用统计简档加上下面描述的附加信息来确定回答特定优化问题所需的最小仪器级别。然后，它们在运行时添加决定优化问题所需的最小仪器，继续运行程序一段时间，然后分析所得到的仪器数据。这些系统可以迭代该过程以获取更多数据或使用可用数据来编译更高度优化的程序。

8. 发明申请

US20080071803A1 METHODS AND SYSTEMS FOR REAL-TIME CITATION GENERATION 审中-公开
标题翻译：实时引用生成的方法和系统
公开(公告)号：US20080071803A1
公开(公告)日：2008-03-20
申请号：US11532378
申请日：2006-09-15
申请人： Michael L. Boucher
发明人： Michael L. Boucher
IPC分类号： G06F17/00
CPC分类号： G06F17/211
摘要： Methods, systems, and articles of manufacture consistent with the present invention generate correct citations dynamically, interactively and in real time based on the context in which the citation appears and on certain user preferences. As will be described in more detail below, a user inputs information for a citation and requests the citation generator program to generate a correct citation. The citation generator program generates the citation and inserts it into a document. Further, the citation generator program may format citations by applying stylistic rules to the presentation of the citations, verifying the accuracy of the citations, applying corrections and changes to the citations, and maintaining and updating the citations as the document of which they are a part is edited.
摘要翻译：根据本发明的方法，系统和制品根据引文出现的上下文和某些用户偏好动态地，交互地和实时地产生正确的引用。如将在下面更详细地描述的，用户输入用于引用的信息，并请求引用生成器程序生成正确的引用。引文生成器程序生成引用并将其插入到文档中。此外，引文生成器程序可以通过对引用的呈现应用风格规则来格式化引用，验证引用的准确性，对引用进行更正和改变，以及维护和更新作为其一部分的文档的引用。被编辑。

9. 发明授权

US07844899B2 Citation processing system with multiple rule set engine 有权
标题翻译：具有多个规则集引擎的引文处理系统
公开(公告)号：US07844899B2
公开(公告)日：2010-11-30
申请号：US11657281
申请日：2007-01-24
申请人： Michael L. Boucher
发明人： Michael L. Boucher
IPC分类号： G06F17/00
CPC分类号： G06F17/30728
摘要： A citation system parses, error checks, corrects, and transforms citations between citation systems. The system may determine the available citation systems, such as The Bluebook, The Chicago Manual of Style, or other citation systems available for selection. The system also determines a selected citation system from among the multiple citation systems. For example, the system may determine that a writer has selected The Bluebook citation system from among those available to the system. The system also determines an applicable rule set for the selected citation system, and applies to rule set to an input citation to obtain an output citation component.
摘要翻译：引文系统解析，错误检查，纠正和转换引文系统之间的引用。系统可以确定可用的引文系统，例如The Bluebook，The Chicago Manual of Style，或其他可供选择的引文系统。该系统还从多个引文系统中确定选定的引用系统。例如，系统可以确定作者已经从系统可用的那些中选择了蓝皮书引用系统。该系统还确定了所选引文系统的适用规则集，并将其应用于输入引用的规则集以获得输出引用组件。

10. 发明授权

US07558935B1 Method and system for optimizing memory allocation 有权
标题翻译：优化内存分配的方法和系统
公开(公告)号：US07558935B1
公开(公告)日：2009-07-07
申请号：US10838603
申请日：2004-05-04
申请人： Michael L. Boucher , Lawrence A. Crowl , Terrence C. Miller
发明人： Michael L. Boucher , Lawrence A. Crowl , Terrence C. Miller
IPC分类号： G06F12/02
CPC分类号： G06F12/023 , G06F8/4441
摘要： Methods, systems, and articles of manufacture consistent with the present invention optimize allocation of items to a stack memory instead of a heap memory. It is determined whether an item to be placed on the heap memory escapes from the scope of the item's allocator, and whether the item survives the item's allocator. The item is allocated to the stack memory responsive to the item not escaping from the scope of the item's allocator and not surviving the item's allocator.
摘要翻译：与本发明一致的方法，系统和制品将物品的分配优化到堆存储器而不是堆存储器。确定要放置在堆内存上的项是否从项目的分配器的范围中转义，以及项是否存在项目的分配器。该项目被分配给堆栈存储器，以响应于不从项目的分配器的范围逃脱的项目，并且不存在项目的分配器。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式