专利快速检索-快速检索全球专利，免费商用专利数据库-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.
摘要翻译：提供了类型，类型检查器和编译器的表示，用于检查中间语言的各种形式的一致性。通过采用一个或多个规则集作为类型检查器的输入来实现对编译器中的编程语言的类型检查，其基于许多标准中的任何一个或两个或更多个的组合来选择一个或多个规则集。其中包括编译阶段，源语言，架构以及正在类型检查语言中的打字级别。然后使用所选的一个或多个规则集对该语言进行类型检查。规则集可以包括对应于强类型检查的一个规则集，对应于弱类型检查的一个规则集，以及对应于表示类型检查的一个规则集。在替代方案中，编译器可以被提供有类型检查器，其在运行时根据前面提到的标准中的任何一个或两个或更多个的组合从更大的规则集合构造一个或多个规则集。

5. 发明授权

US07607126B2 System and method for external override of annotations 有权
标题翻译：注释的外部覆盖的系统和方法
公开(公告)号：US07607126B2
公开(公告)日：2009-10-20
申请号：US11134714
申请日：2005-05-20
申请人： David Read
发明人： David Read
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/656
摘要： A deployable application component can be configured via external annotation overrides at runtime without having to restart the component. An annotation/manifest can be populated to the corresponding application component at build time. The application component can then be configured and changes can be saved as annotation override into an external descriptor in XML format at deploy time. Such external descriptor can then be distributed, parsed, and validated at runtime to configure/update the deployed application component upon receiving notification of deployment changes.
摘要翻译：可以在运行时通过外部注释覆盖来配置可部署的应用程序组件，而无需重新启动组件。注释/清单可以在构建时填充到相应的应用程序组件。然后可以配置应用程序组件，并且可以在部署时将更改作为注释覆盖保存为XML格式的外部描述符。然后可以在运行时分配，解析和验证此外部描述符，以便在接收到部署更改的通知后配置/更新部署的应用程序组件。

6. 发明申请

US20070134797A1 Hydrogen peroxide and peracetic acid indicators and methods 失效
公开(公告)号：US20070134797A1
公开(公告)日：2007-06-14
申请号：US11655022
申请日：2007-01-18
申请人： David Read
发明人： David Read
IPC分类号： G01N31/00
CPC分类号： G01N31/226 , A61L2/28 , Y10T436/206664
摘要： The present invention provides a hydrogen peroxide indicator and a peracetic acid indicator that include a substrate on which is disposed an indicator composition that includes at least one of a select group of colorants and a transition metal salt. As a result of exposure to hydrogen peroxide and/or peracetic acid, the colorants change color, and even become colorless, thereby providing an indication of the presence of hydrogen peroxide and/or peracetic acid.

7. 发明授权

US07861237B2 Reducing unnecessary software transactional memory operations on newly-allocated data 有权
标题翻译：减少对新分配的数据的不必要的软件事务内存操作
公开(公告)号：US07861237B2
公开(公告)日：2010-12-28
申请号：US11389598
申请日：2006-03-23
申请人： David Read Tarditi, Jr. , Mark Ronald Plesko
发明人： David Read Tarditi, Jr. , Mark Ronald Plesko
IPC分类号： G06F9/45
CPC分类号： G06F9/30047 , G06F8/443 , G06F8/4435 , G06F8/4441 , G06F9/3004 , G06F9/30181 , G06F9/3802 , G06F9/45525 , G06F9/466 , G06F9/467 , G06F12/0253 , G06F12/0802
摘要： A software transactional memory system is described which utilizes decomposed software transactional memory instructions as well as runtime optimizations to achieve efficient performance. 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. Additionally, 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. During execution, multi-use header words for objects are extended to provide for per-object housekeeping, as well as fast snapshots which illustrate changes to objects. Additionally, entries to software transactional memory logs are filtered using an associative table during execution, preventing needless writes to the logs. Finally a garbage collector with knowledge of the software transactional memory system compacts software transactional memory logs during garbage collection.
摘要翻译：描述了一种软件事务存储系统，其利用分解的软件事务存储器指令以及运行时优化来实现有效的性能。分解的指令允许具有指令语义的知识的编译器执行在传统的软件事务存储器系统上不可用的优化。此外，执行高级软件事务内存优化，例如围绕过程调用的代码移动，添加提供强原子性的操作，去除不必要的读取到更新升级以及删除新分配的对象的操作。在执行期间，对象的多用标题字进行扩展，以提供每个对象的内务管理，以及快速快照，用于说明对象的更改。此外，软件事务内存日志的条目在执行期间使用关联表进行过滤，从而防止对日志的不必要的写入。最后，具有软件事务内存系统知识的垃圾收集器在垃圾收集期间压缩了软件事务内存日志。

8. 发明授权

US07810085B2 Removal of unnecessary read-to-update upgrades in software transactional memory 有权
标题翻译：删除软件事务内存中不必要的读取到更新升级
公开(公告)号：US07810085B2
公开(公告)日：2010-10-05
申请号：US11389299
申请日：2006-03-23
申请人： Avraham E. Shinnar , Timothy Lawrence Harris , David Read Tarditi, Jr. , Mark Ronald Plesko
发明人： Avraham E. Shinnar , Timothy Lawrence Harris , David Read Tarditi, Jr. , Mark Ronald Plesko
IPC分类号： G06F9/45
CPC分类号： G06F9/30047 , G06F8/443 , G06F8/4435 , G06F8/4441 , G06F9/3004 , G06F9/30181 , G06F9/3802 , G06F9/45525 , G06F9/466 , G06F9/467 , G06F12/0253 , G06F12/0802
摘要： A software transactional memory system is described which utilizes decomposed software transactional memory instructions as well as runtime optimizations to achieve efficient performance. 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. Additionally, 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. During execution, multi-use header words for objects are extended to provide for per-object housekeeping, as well as fast snapshots which illustrate changes to objects. Additionally, entries to software transactional memory logs are filtered using an associative table during execution, preventing needless writes to the logs. Finally a garbage collector with knowledge of the software transactional memory system compacts software transactional memory logs during garbage collection.
摘要翻译：描述了一种软件事务存储系统，其利用分解的软件事务存储器指令以及运行时优化来实现有效的性能。分解的指令允许具有指令语义的知识的编译器执行在传统的软件事务存储器系统上不可用的优化。此外，执行高级软件事务内存优化，例如围绕过程调用的代码移动，添加提供强原子性的操作，去除不必要的读取到更新升级以及删除新分配的对象的操作。在执行期间，对象的多用标题字进行扩展，以提供每个对象的内务管理，以及快速快照，用于说明对象的更改。此外，软件事务内存日志的条目在执行期间使用关联表进行过滤，从而防止对日志的不必要的写入。最后，具有软件事务内存系统知识的垃圾收集器在垃圾收集期间压缩了软件事务内存日志。

9. 发明授权

US07733347B2 Automated construction of shader programs 有权
标题翻译：着色程序的自动构建
公开(公告)号：US07733347B2
公开(公告)日：2010-06-08
申请号：US11255751
申请日：2005-10-21
申请人： David Read Tarditi, Jr. , Vivian Sewelson
发明人： David Read Tarditi, Jr. , Vivian Sewelson
IPC分类号： G06F15/80
CPC分类号： G06T15/005 , G06F8/45 , G06F9/45508
摘要： Although GPUs have been harnessed to solve non-graphics problems, these solutions are not widespread because GPUs remain difficult to program. Instead, an interpreter simplifies the task of programming a GPU by providing language constructs such as a set of data types and operations that are more familiar to non-graphics programmers. The interpreter maps these familiar language constructs to the more difficult graphics programming resources such as DirectX®, OpenGL®, Cg®, and/or HLSL®.
摘要翻译：虽然GPU已经被利用来解决非图形问题，但是这些解决方案并不普及，因为GPU仍然难以编程。相反，解释器通过提供诸如一组数据类型和非图形程序员更熟悉的操作之类的语言结构来简化对GPU编程的任务。解释器将这些熟悉的语言结构映射到更加困难的图形编程资源，如DirectX®，OpenGL®，Cg®和/或HLSL®。

10. 发明授权

US07512938B2 Typed intermediate representation for object-oriented languages 有权
标题翻译：面向对象语言的类型化中间表示
公开(公告)号：US07512938B2
公开(公告)日：2009-03-31
申请号：US11084476
申请日：2005-03-18
申请人： David Read Tarditi, Jr. , Juan Chen
发明人： David Read Tarditi, Jr. , Juan Chen
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： Described herein are typed intermediate representations of object-oriented source code that preserve notions of class names, as well as add structure-based information related to classes in the source code. Types in the intermediate representation are divided into corresponding class name-based types and associated structure-based record types. The structure-based record type comprises a layout of objects that are instances of the corresponding class name-based types, where the object comprises one or more data fields and one or more virtual method members. Dynamic types can be abstracted in the form of existential types with sub-classing bounded quantifications. This makes type checking decidable. Existential types bind type variables with sub-classing bounds to represent dynamic types of objects. The layout of those objects can be approximated by structure-based record types. The types of virtual methods in the approximation record types include type variables that represent the dynamic types of those objects to guarantee safety.
摘要翻译：这里描述的是面向对象的源代码的类型化中间表示，其保存类名的概念，以及添加与源代码中的类相关的基于结构的信息。中间表示中的类型分为相应的基于类名的类型和相关的基于结构的记录类型。基于结构的记录类型包括作为相应类名称类型的实例的对象的布局，其中对象包括一个或多个数据字段和一个或多个虚拟方法成员。动态类型可以以具有子类有界量化的存在类型的形式进行抽象。这使得类型检查可以确定。存在类型使用子类绑定绑定类型变量来表示对象的动态类型。这些对象的布局可以通过基于结构的记录类型近似。近似记录类型中的虚拟方法的类型包括表示这些对象的动态类型以确保安全性的类型变量。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式