会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明申请
    • Type checker for a typed intermediate representation of object-oriented languages
    • 类型检查器用于面向对象语言的类型中间表示
    • US20060212847A1
    • 2006-09-21
    • US11084374
    • 2005-03-18
    • David TarditiJuan Chen
    • David TarditiJuan Chen
    • G06F9/44
    • G06F8/437
    • Described herein are methods and systems for applying typing rules for type checking typed intermediate representations of computer program whose source code was written in an object-oriented language. The typing rules are decidable in part because the typed intermediate representation retains class name-based information related to classes from the source code representation. The class name-based information includes information related to class hierarchies, which in part can be used to express sub-classing. Typing rules are applied to parts of the intermediate representation that are typed based on class name-based types and the corresponding structure-based record types. Thus, some typing rules are described herein that are based on sub-classing bounds of type variables. The typing rules include rules related to method calls including type arguments, coercions, existential type operations such as, open and pack.
    • 这里描述的是用于为源代码以面向对象语言编写的计算机程序的类型检查型中间表示应用打字规则的方法和系统。 打字规则是可以解决的,部分原因是类型化的中间表示形式保留了与源代码表示类相关的基于类名的信息。 基于类名的信息包括与类层次相关的信息,其部分可以用于表示子类。 键入规则适用于基于类名称类型和相应的基于结构的记录类型键入的中间表示的部分。 因此,这里描述了基于类型变量的子类的边界的一些打字规则。 打字规则包括与方法调用相关的规则,包括类型参数,强制,存在类型操作,如open和pack。
    • 4. 发明申请
    • Removal of unnecessary read-to-update upgrades in software transactional memory
    • 删除软件事务内存中不必要的读取到更新升级
    • US20070136290A1
    • 2007-06-14
    • US11389299
    • 2006-03-23
    • Avraham ShinnarTimothy HarrisDavid TarditiMark Plesko
    • Avraham ShinnarTimothy HarrisDavid TarditiMark Plesko
    • G06F17/30
    • G06F9/30047G06F8/443G06F8/4435G06F8/4441G06F9/3004G06F9/30181G06F9/3802G06F9/45525G06F9/466G06F9/467G06F12/0253G06F12/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.
    • 描述了一种软件事务存储系统,其利用分解的软件事务存储器指令以及运行时优化来实现有效的性能。 分解的指令允许具有指令语义的知识的编译器执行在传统的软件事务存储器系统上不可用的优化。 此外,执行高级软件事务内存优化,例如围绕过程调用的代码移动,添加提供强原子性的操作,去除不必要的读取到更新升级以及删除新分配的对象的操作。 在执行期间,对象的多用标题字进行扩展,以提供每个对象的内务管理,以及快速快照,用于说明对象的更改。 此外,软件事务内存日志的条目在执行期间使用关联表进行过滤,从而防止对日志的不必要的写入。 最后,具有软件事务内存系统知识的垃圾收集器在垃圾收集期间压缩了软件事务内存日志。
    • 5. 发明申请
    • AN EXTENSIBLE TYPE SYSTEM FOR REPRESENTING AND CHECKING CONSISTENCY OF PROGRAM COMPONENTS DURING THE PROCESS OF COMPILATION
    • 用于在编译过程中表示和检查程序组件一致性的可扩展类型系统
    • US20060242628A1
    • 2006-10-26
    • US11427657
    • 2006-06-29
    • Mark PleskoDavid Tarditi
    • Mark PleskoDavid Tarditi
    • G06F9/44
    • 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.
    • 提供了类型,类型检查器和编译器的表示,用于检查中间语言的各种形式的一致性。 通过将一个或多个规则集作为输入来检查编译器中的编程语言来实现类型检查器,该类型检查器基于许多标准中的任何一个或两个或更多个的组合来选择一个或多个规则集 。 其中包括编译阶段,源语言,架构以及正在类型检查语言中的打字级别。 然后使用所选的一个或多个规则集对该语言进行类型检查。 规则集可以包括对应于强类型检查的一个规则集,对应于弱类型检查的一个规则集,以及对应于表示类型检查的一个规则集。 在替代方案中,可以向编译器提供类型检查器,该类型检查器基于上述标准中的任何一个或两个或更多个的组合从更大的规则集合在运行时构建一组或多组规则。
    • 7. 发明申请
    • Compiler support for optimizing decomposed software transactional memory operations
    • 编译器支持优化分解的软件事务内存操作
    • US20070169030A1
    • 2007-07-19
    • US11389451
    • 2006-03-23
    • David TarditiTimothy HarrisMark PleskoAvraham Shinnar
    • David TarditiTimothy HarrisMark PleskoAvraham Shinnar
    • G06F9/45
    • G06F9/466G06F8/443
    • 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.
    • 描述了一种软件事务存储系统,其利用分解的软件事务存储器指令以及运行时优化来实现有效的性能。 分解的指令允许具有指令语义的知识的编译器执行在传统的软件事务存储器系统上不可用的优化。 此外,执行高级软件事务内存优化,例如围绕过程调用的代码移动,添加提供强原子性的操作,去除不必要的读取到更新升级以及删除新分配的对象的操作。 在执行期间,对象的多用标题字进行扩展,以提供每个对象的内务管理,以及快速快照,用于说明对象的更改。 此外,软件事务内存日志的条目在执行期间使用关联表进行过滤,从而防止对日志的不必要的写入。 最后,具有软件事务内存系统知识的垃圾收集器在垃圾收集期间压缩了软件事务内存日志。