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

1. 发明申请

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

2. 发明申请

US20060101420A1 Programming language support for integrating undo and exception handling 有权
公开(公告)号：US20060101420A1
公开(公告)日：2006-05-11
申请号：US10985353
申请日：2004-11-11
申请人： Avraham Shinnar , David Tarditi , Bjarne Steensgaard
发明人： Avraham Shinnar , David Tarditi , Bjarne Steensgaard
IPC分类号： G06F9/44
CPC分类号： G06F8/51 , G06F8/31
摘要： Existing methods for returning program state to a previous state are often too heavy weight. Often these methods attempt to guarantee a series of properties to a programmer across a distributed environment or multiple threads. Instead, a program state reversion mechanism provides a light weight and efficient runtime solution for general purpose programming languages. For example, a series of program statements (e.g., methods, instructions, etc.) are indicated by a programmer in a state reversion language construct, such as a TryAll block. If an exception is thrown anywhere from within the TryAll block, the program is reverted to the pre-TryAll block state.

3. 发明申请

US20090193492A1 METHOD FOR INFORMATION TRACKING IN MULTIPLE INTERDEPENDENT DIMENSIONS 失效
标题翻译：用于多个相互关联的尺寸信息跟踪的方法
公开(公告)号：US20090193492A1
公开(公告)日：2009-07-30
申请号：US12020530
申请日：2008-01-26
申请人： ANINDYA BANERJEE , MARCO PISTOIA , AVRAHAM SHINNAR
发明人： ANINDYA BANERJEE , MARCO PISTOIA , AVRAHAM SHINNAR
IPC分类号： H04L9/00
CPC分类号： G06F21/6218 , G06F2221/2113
摘要： A method for information flow tracking is provided using, for example, a functional programming language based on lambda calculus, λI. The method provides a unified information-tracking framework that supports multiple, interdependent dimensions of information. An expressive policy-specification system is separated from the underlying information-flow tracking mechanism. Arbitrary domain-specific policies are supported that can be developed and enforced independent of information flow tracking. Information-flow metadata is treated as a first-class entity, and information flow is correctly tracked on the metadata itself. Classes of information flow polices are defined using multiple dimensions that are application to both information flow data and to the information flows themselves. These classes of polices accurately model more realistic security policies, based on partial trust relations. Therefore, multiple interdependent dimensions of information are simultaneously tracked and enforced within the framework of the information flow tracking system.
摘要翻译：使用例如基于lambda演算的函数式编程语言（lambda）来提供用于信息流跟踪的方法。该方法提供统一的信息跟踪框架，可以支持信息的多个相互依赖的维度。一个表达性的政策规范系统与基础的信息流跟踪机制分开。支持任意域特定策略，可独立于信息流跟踪开发和实施。信息流元数据被视为第一类实体，信息流在元数据本身上被正确跟踪。使用多个维度来定义信息流策略的类别，这些维度应用于信息流数据和信息流本身。这些政策类别基于部分信任关系准确地模拟了更为现实的安全策略。因此，在信息流跟踪系统的框架内，信息的多个相互依存的维度被同时跟踪和执行。

4. 发明申请

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

5. 发明授权

US08695056B2 Method for information tracking in multiple interdependent dimensions 失效
标题翻译：在多个相互依赖的维度上进行信息跟踪的方法
公开(公告)号：US08695056B2
公开(公告)日：2014-04-08
申请号：US12020530
申请日：2008-01-26
申请人： Anindya Banerjee , Marco Pistoia , Avraham Shinnar
发明人： Anindya Banerjee , Marco Pistoia , Avraham Shinnar
IPC分类号： G06F17/00
CPC分类号： G06F21/6218 , G06F2221/2113
摘要： A method for information flow tracking is provided using, for example, a functional programming language based on lambda calculus, λI. The method provides a unified information-tracking framework that supports multiple, interdependent dimensions of information. An expressive policy-specification system is separated from the underlying information-flow tracking mechanism. Arbitrary domain-specific policies are supported that can be developed and enforced independent of information flow tracking. Information-flow metadata is treated as a first-class entity, and information flow is correctly tracked on the metadata itself. Classes of information flow polices are defined using multiple dimensions that are application to both information flow data and to the information flows themselves. These classes of polices accurately model more realistic security policies, based on partial trust relations. Therefore, multiple interdependent dimensions of information are simultaneously tracked and enforced within the framework of the information flow tracking system.
摘要翻译：使用例如基于λ演算的功能编程语言λI来提供用于信息流跟踪的方法。该方法提供统一的信息跟踪框架，可以支持信息的多个相互依赖的维度。一个表达性的政策规范系统与基础的信息流跟踪机制分开。支持任意域特定策略，可独立于信息流跟踪开发和实施。信息流元数据被视为第一类实体，信息流在元数据本身上被正确跟踪。使用多个维度来定义信息流策略的类别，这些维度应用于信息流数据和信息流本身。这些政策类别基于部分信任关系准确地模拟了更为现实的安全策略。因此，在信息流跟踪系统的框架内，信息的多个相互依存的维度被同时跟踪和执行。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式