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

11. 发明申请

US20070136365A1 Reducing unnecessary software transactional memory operations on newly-allocated data 有权
标题翻译：减少对新分配的数据的不必要的软件事务内存操作
公开(公告)号：US20070136365A1
公开(公告)日：2007-06-14
申请号：US11389598
申请日：2006-03-23
申请人： David Tarditi , Mark Plesko
发明人： David Tarditi , Mark Plesko
IPC分类号： G06F17/00
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.
摘要翻译：描述了一种软件事务存储系统，其利用分解的软件事务存储器指令以及运行时优化来实现有效的性能。分解的指令允许具有指令语义的知识的编译器执行在传统的软件事务存储器系统上不可用的优化。此外，执行高级软件事务内存优化，例如围绕过程调用的代码移动，添加提供强原子性的操作，去除不必要的读取到更新升级以及删除新分配的对象的操作。在执行期间，对象的多用标题字进行扩展，以提供每个对象的内务管理，以及快速快照，用于说明对象的更改。此外，软件事务内存日志的条目在执行期间使用关联表进行过滤，从而防止对日志的不必要的写入。最后，具有软件事务内存系统知识的垃圾收集器在垃圾收集期间压缩了软件事务内存日志。

12. 发明申请

US20070094673A1 Configuration of Isolated Extensions and Device Drivers 有权
标题翻译：隔离扩展和设备驱动程序的配置
公开(公告)号：US20070094673A1
公开(公告)日：2007-04-26
申请号：US11428096
申请日：2006-06-30
申请人： Galen Hunt , James Larus , Manuel Fanndrich , Orion Hodson , Steven Levi , Bjarne Steensgaard , David Tarditi , Michael Spear , Michael Carbin
发明人： Galen Hunt , James Larus , Manuel Fanndrich , Orion Hodson , Steven Levi , Bjarne Steensgaard , David Tarditi , Michael Spear , Michael Carbin
IPC分类号： G06F9/46
CPC分类号： G06F9/4411
摘要： Described herein are one or more implementations for describing and/or addressing the configuration requirements of applications, extensions, device drivers, and other components of a software system.
摘要翻译：这里描述了用于描述和/或解决应用程序，扩展，设备驱动程序和软件系统的其他组件的配置要求的一个或多个实现。

13. 发明申请

US20050022161A1 Description language for an extensible compiler and tools infrastructure 有权
标题翻译：可扩展编译器和工具基础架构的描述语言
公开(公告)号：US20050022161A1
公开(公告)日：2005-01-27
申请号：US10626251
申请日：2003-07-23
申请人： Julian Burger , David Tarditi , Charles Mitchell , Andrew Ayers , Vinod Grover
发明人： Julian Burger , David Tarditi , Charles Mitchell , Andrew Ayers , Vinod Grover
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/70 , G06F9/4488
摘要： Methods and systems are described herein for extending configuration dependent extensible software programs. Classes of a core extensible software program may be extended by adding a configuration dependent extension. The extensions may be added statically prior to compiling the core version of a software program or dynamically at runtime. The declaration of extensible core classes may include an extensibility attribute with an indication of whether the class is statically extensible or dynamically extensible. An object description language is also described herein for appropriately declaring configuration dependent extensible classes. Also, a pre-processor is described herein for processing the object description language to generate a source code representation of the extensible class declarations and their extensions. The source code representation may then be used to generate the extended version of the core software program.
摘要翻译：本文描述了用于扩展配置依赖的可扩展软件程序的方法和系统。可以通过添加配置依赖扩展来扩展核心可扩展软件程序的类。扩展可以在编译软件程序的核心版本之前静态地添加，或者在运行时动态添加。可扩展核心类的声明可以包括可扩展性属性，指示该类是静态可扩展还是可动态扩展。本文还描述了适当地声明配置依赖的可扩展类的对象描述语言。而且，本文描述了一种用于处理对象描述语言以生成可扩展类声明及其扩展的源代码表示的预处理器。然后可以使用源代码表示来生成核心软件程序的扩展版本。

14. 发明申请

US20050015673A1 Type system for representing and checking consistency of heterogeneous program components during the process of compilation 失效
标题翻译：在编译过程中键入系统以表示和检查异构程序组件的一致性
公开(公告)号：US20050015673A1
公开(公告)日：2005-01-20
申请号：US10607591
申请日：2003-06-27
申请人： Mark Plesko , David Tarditi
发明人： Mark Plesko , David Tarditi
IPC分类号： G06F9/44 , H02H3/05
CPC分类号： G06F8/20 , G06F8/437
摘要： A representation of types, type-checker, method and compiler are provided for checking consistency in various forms of an intermediate language. Specifically, the typed intermediate language is suitable for use in representing programs written in multiple (heterogeneous) source languages including typed and untyped languages, loosely and strongly typed languages, and languages with and without garbage collection. An unknown type representation indicates that an element of the intermediate language is associated with an unknown type. A method of type-checking a code segment written in a programming language is provided using a rule set that contains rules for type-checking an unknown type. The unknown type allows for selectively retaining type information as the compilation process continues and allows multiple programming languages to be type-checked by the same type system.
摘要翻译：提供了类型，类型检查器，方法和编译器的表示，用于检查各种形式的中间语言的一致性。具体来说，类型化的中间语言适用于表示以多种（异构）源语言编写的程序，包括类型和非类型语言，松散和强类型语言，以及有和无垃圾回收的语言。未知类型表示表示中间语言的元素与未知类型相关联。使用包含用于对未知类型进行类型检查的规则的规则集来提供对用编程语言编写的代码段进行类型检查的方法。未知类型允许在编译过程继续时选择性地保留类型信息，并允许通过相同类型系统对多种编程语言进行类型检查。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式