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

1. 发明申请

WO2007067390A3 OPTIMIZATION OF SOFTWARE TRANSACTIONAL MEMORY OPERATIONS 审中-公开
公开(公告)号：WO2007067390A3
公开(公告)日：2007-06-14
申请号：PCT/US2006/045526
申请日：2006-11-27
申请人： MICROSOFT CORPORATION , HARRIS, Timothy, Lawrence , PLESKO, Mark, Ronald , SHINNAR, Avraham, E. , TARDITI, David, Read, Jr.
发明人： HARRIS, Timothy, Lawrence , PLESKO, Mark, Ronald , SHINNAR, Avraham, E. , TARDITI, David, Read, Jr.
IPC分类号： G06F9/45
摘要： A software transactional memory system is described which performs optimizations on software transactional memory instructions to achieve efficient performance. Software transactional memory blocks are replaced by software transactional memory instructions, which are then further decomposed into decomposed software transactional memory instructions. The decomposed instructions allow a compiler with knowledge of the instruction semantics to perform optimizations which would be unavailable on traditional software transactional memory systems. High-level software transactional memory optimizations are performed such as code movement around procedure calls, addition of operations to provide strong atomicity, removal of unnecessary read-to-update upgrades, and removal of operations for newly-allocated objects.

2. 发明申请

WO2007067390A2 OPTIMIZATION OF SOFTWARE TRANSACTIONAL MEMORY OPERATIONS 审中-公开
标题翻译：软件交易记忆操作优化
公开(公告)号：WO2007067390A2
公开(公告)日：2007-06-14
申请号：PCT/US2006045526
申请日：2006-11-27
申请人： MICROSOFT CORP , HARRIS TIMOTHY LAWRENCE , PLESKO MARK RONALD , SHINNAR AVRAHAM E , TARDITI DAVID READ JR
发明人： HARRIS TIMOTHY LAWRENCE , PLESKO MARK RONALD , SHINNAR AVRAHAM E , TARDITI DAVID READ JR
IPC分类号： G06F9/45
CPC分类号： G06F9/466 , G06F8/443
摘要： A software transactional memory system is described which performs optimizations on software transactional memory instructions to achieve efficient performance. Software transactional memory blocks are replaced by software transactional memory instructions, which are then further decomposed into decomposed software transactional memory instructions. The decomposed instructions allow a compiler with knowledge of the instruction semantics to perform optimizations which would be unavailable on traditional software transactional memory systems. High-level software transactional memory optimizations are performed such as code movement around procedure calls, addition of operations to provide strong atomicity, removal of unnecessary read-to-update upgrades, and removal of operations for newly-allocated objects.
摘要翻译：描述了一种软件事务存储器系统，其执行对软件事务存储器指令的优化以实现有效的性能。软件事务性存储器块由软件事务存储器指令替代，然后将其进一步分解为分解的软件事务存储器指令。分解的指令允许具有指令语义的知识的编译器执行在传统的软件事务存储器系统上不可用的优化。执行高级软件事务内存优化，例如围绕过程调用的代码移动，添加提供强原子性的操作，删除不必要的读取到更新升级以及删除新分配的对象的操作。

3. 发明申请

WO2005006119A3 AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY OF PROGRAM COMPONENTS DURING THE PROCESS OF COMPILATION 审中-公开
标题翻译：用于在编译过程中表示和检查程序组件一致性的可扩展类型系统
公开(公告)号：WO2005006119A3
公开(公告)日：2005-12-29
申请号：PCT/US2004015964
申请日：2004-05-21
申请人： MICROSOFT CORP , PLESKO MARK RONALD , TARDITI DAVID READ JR
发明人： PLESKO MARK RONALD , TARDITI DAVID READ JR
IPC分类号： G06F20060101 , G06F9/45
CPC分类号： G06F8/437
摘要： A representation of types, type-checker, and compiler are provided for checking consistency in various forms of an intermediate language (500 of fig. 5). Type-checking a programming language in a compiler is accomplished by taking one or more rule sets as input to a type-checker (502), which selects one or more of the rule sets based upon any one, or combination of two or more, of numerous criteria. Among them are stage of compilation, source language, architecture, and level of typing present in the language being type-checked. The language is then type-checked (502) using the selected one or more rule sets. The rule sets can include one rule set corresponding to strong type-checking (508), one rule set corresponding to weak type-checking (506), and one rule set corresponding to representation type-checking (510). In the alternative, a compiler can be provided with a type-checker that constructs the one or more sets of rules at runtime from a larger set of rules based on any one, or combination of two or more of the previously mentioned criteria.
摘要翻译：提供了类型，类型检查器和编译器的表示，用于检查中间语言的各种形式的一致性（图5中的500）。通过将一个或多个规则集作为对类型检查器（502）的输入进行类型检查编译器中的编程语言，所述类型检查器基于任何一个或两个或更多个的组合来选择一个或多个规则集，的许多标准。其中包括编译阶段，源语言，架构以及正在类型检查语言中的打字级别。然后使用所选择的一个或多个规则集对该语言进行类型检查（502）。规则集可以包括对应于强类型检查（508）的一个规则集，对应于弱类型检查（506）的一个规则集，以及对应于表示类型检查（510）的一个规则集。在替代方案中，可以向编译器提供一种类型检查器，该类型检查器基于任何一种或两种或更多种先前提及的标准的组合，从较大的规则集合在运行时构建一组或多组规则。

4. 发明申请

WO2005006119A2 AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY OF PROGRAM COMPONENTS DURING THE PROCESS OF COMPILATION 审中-公开
标题翻译：用于在编译过程中表示和检查程序组件一致性的可扩展类型系统
公开(公告)号：WO2005006119A2
公开(公告)日：2005-01-20
申请号：PCT/US2004/015964
申请日：2004-05-21
申请人： MICROSOFT CORPORATION , PLESKO, Mark, Ronald , TARDITI, David, Read, Jr.
发明人： PLESKO, Mark, Ronald , TARDITI, David, Read, Jr.
IPC分类号： G06F
CPC分类号： G06F8/437
摘要： A representation of types, type-checker, and compiler are provided for checking consistency in various forms of an intermediate language. Type-checking a programming language in a compiler is accomplished by taking one or more rule sets as input to a type checker, which selects one or more of the rule sets based upon any one, or combination of two or more, of numerous criteria. Among them are stage of compilation, source language, architecture, and level of typing present in the language being type-checked. The language is then type-checked using the selected one or more rule sets. The rule sets can include one rule set corresponding to strong type-checking, one rule set corresponding to weak type-checking, and one rule set corresponding to representation type-checking. In the alternative, a compiler can be provided with a type-checker that constructs the one or more sets of rules at runtime from a larger set of rules based on any one, or combination of two or more, of the previously mentioned criteria.
摘要翻译：提供了类型，类型检查器和编译器的表示，用于检查中间语言的各种形式的一致性。通过采用一个或多个规则集作为类型检查器的输入来实现对编译器中的编程语言的类型检查，其基于许多标准中的任何一个或两个或更多个的组合来选择一个或多个规则集。其中包括编译阶段，源语言，架构以及正在类型检查语言中的打字级别。然后使用所选的一个或多个规则集对该语言进行类型检查。规则集可以包括对应于强类型检查的一个规则集，对应于弱类型检查的一个规则集，以及对应于表示类型检查的一个规则集。在替代方案中，编译器可以被提供有类型检查器，其在运行时根据前面提到的标准中的任何一个或两个或更多个的组合从更大的规则集合构造一个或多个规则集。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式