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

1. 发明申请

US20100191930A1 TRANSACTIONAL MEMORY COMPATIBILITY MANAGEMENT 有权
标题翻译：交易记忆兼容性管理
公开(公告)号：US20100191930A1
公开(公告)日：2010-07-29
申请号：US12359492
申请日：2009-01-26
申请人： Dana Groff , Yosseff Levanoni , Stephen Toub , Michael McKenzie Magruder , Weirong Zhu , Timothy Lawrence Harris , Christopher William Dern , John Joseph Duffy , David Detlefs , Martin Abadi , Sukhdeep Singh Sodhi , Lingli Zhang , Alexander Dadiomov , Vinod Grover
发明人： Dana Groff , Yosseff Levanoni , Stephen Toub , Michael McKenzie Magruder , Weirong Zhu , Timothy Lawrence Harris , Christopher William Dern , John Joseph Duffy , David Detlefs , Martin Abadi , Sukhdeep Singh Sodhi , Lingli Zhang , Alexander Dadiomov , Vinod Grover
IPC分类号： G06F12/00 , G06F9/44
CPC分类号： G06F8/44
摘要： Transactional memory compatibility type attributes are associated with intermediate language code to specify, for example, that intermediate language code must be run within a transaction, or must not be run within a transaction, or may be run within a transaction. Attributes are automatically produced while generating intermediate language code from annotated source code. Default rules also generate attributes. Tools use attributes to statically or dynamically check for incompatibility between intermediate language code and a transactional memory implementation.
摘要翻译：事务性内存兼容类型属性与中间语言代码相关联，以指定例如中间语言代码必须在事务中运行，或者不能在事务中运行，或者可以在事务中运行。自动生成属性，同时从注释的源代码生成中间语言代码。默认规则也生成属性。工具使用属性来静态或动态地检查中间语言代码和事务内存实现之间的不兼容性。

2. 发明授权

US08266604B2 Transactional memory compatibility management 有权
标题翻译：事务性内存兼容性管理
公开(公告)号：US08266604B2
公开(公告)日：2012-09-11
申请号：US12359492
申请日：2009-01-26
申请人： Dana Groff , Yosseff Levanoni , Stephen Toub , Michael McKenzie Magruder , Weirong Zhu , Timothy Lawrence Harris , Christopher William Dern , John Joseph Duffy , David Detlefs , Martin Abadi , Sukhdeep Singh Sodhi , Lingli Zhang , Alexander Dadiomov , Vinod Grover
发明人： Dana Groff , Yosseff Levanoni , Stephen Toub , Michael McKenzie Magruder , Weirong Zhu , Timothy Lawrence Harris , Christopher William Dern , John Joseph Duffy , David Detlefs , Martin Abadi , Sukhdeep Singh Sodhi , Lingli Zhang , Alexander Dadiomov , Vinod Grover
IPC分类号： G06F12/00 , G06F9/44
CPC分类号： G06F8/44
摘要： Transactional memory compatibility type attributes are associated with intermediate language code to specify, for example, that intermediate language code must be run within a transaction, or must not be run within a transaction, or may be run within a transaction. Attributes are automatically produced while generating intermediate language code from annotated source code. Default rules also generate attributes. Tools use attributes to statically or dynamically check for incompatibility between intermediate language code and a transactional memory implementation.
摘要翻译：事务性内存兼容性类型属性与中间语言代码相关联，以指定例如中间语言代码必须在事务中运行，或者不能在事务中运行，或者可以在事务中运行。自动生成属性，同时从注释的源代码生成中间语言代码。默认规则也生成属性。工具使用属性来静态或动态地检查中间语言代码和事务内存实现之间的不兼容性。

3. 发明申请

US20100228929A1 EXPEDITED COMPLETION OF A TRANSACTION IN STM 审中-公开
标题翻译：在STM中进行交易的预期完成
公开(公告)号：US20100228929A1
公开(公告)日：2010-09-09
申请号：US12400209
申请日：2009-03-09
申请人： David L. Detlefs , Yosseff Levanoni , Weirong Zhu , Dana Groff , Alexander Dadiomov
发明人： David L. Detlefs , Yosseff Levanoni , Weirong Zhu , Dana Groff , Alexander Dadiomov
IPC分类号： G06F12/02
CPC分类号： G06F9/467
摘要： A software transactional memory system is provided that provides privatization safety. The system identifies situations where the completion of a transaction may be expedited because a privatization artifact will not occur. The system determines whether a privatization artifact may occur using a read and write set intersection test, transactional variables, pessimistic locks, or declared privatizing transactions. If a privatization artifact will not occur for a transaction, then the system may allow the transaction to complete prior to one or more earlier transactions.
摘要翻译：提供了提供私有化安全性的软件事务内存系统。系统识别事务的完成可能因为私有化工件不会发生而加快的情况。系统使用读写集合交集测试，事务变量，悲观锁或已声明的私有化事务来确定私有化工件是否可能发生。如果事务不会发生私有化工件，则系统可能允许事务在一个或多个较早的事务之前完成。

4. 发明申请

US20110314244A1 COMPOSITION OF LOCKS IN SOFTWARE TRANSACTIONAL MEMORY 有权
标题翻译：软件交易记忆中的锁定组成
公开(公告)号：US20110314244A1
公开(公告)日：2011-12-22
申请号：US12819499
申请日：2010-06-21
申请人： Sukhdeep S. Sodhi , Yosseff Levanoni , David L. Detlefs , Lingli Zhang , Weirong Zhu , Dana Groff , Michael M. Magruder , Charles David Callahan, II
发明人： Sukhdeep S. Sodhi , Yosseff Levanoni , David L. Detlefs , Lingli Zhang , Weirong Zhu , Dana Groff , Michael M. Magruder , Charles David Callahan, II
IPC分类号： G06F12/02 , G06F12/14
CPC分类号： G06F9/467 , G06F9/528
摘要： A software transactional memory (STM) system allows the composition of traditional lock based synchronization with transactions in STM code. The STM system acquires each traditional lock the first time that a corresponding traditional lock acquire is encountered inside a transaction and defers all traditional lock releases until a top level transaction in a transaction nest commits or aborts. The STM system maintains state information associated with traditional lock operations in transactions and uses the state information to eliminate deferred traditional lock operations that are redundant. The STM system integrates with systems that implement garbage collection.
摘要翻译：软件事务存储器（STM）系统允许以STM代码的事务组合传统的基于锁的同步。 STM系统首次在交易中遇到相应的传统锁获取时，获取每个传统锁，并延迟所有传统的锁定版本，直到事务嵌套中的顶级事务提交或中止。 STM系统维护与事务中的传统锁定操作相关联的状态信息，并使用状态信息来消除冗余的延迟传统锁定操作。 STM系统与实施垃圾收集的系统集成。

5. 发明授权

US08719515B2 Composition of locks in software transactional memory 有权
标题翻译：软件交易记忆中锁的组成
公开(公告)号：US08719515B2
公开(公告)日：2014-05-06
申请号：US12819499
申请日：2010-06-21
申请人： Sukhdeep S. Sodhi , Yosseff Levanoni , David L. Detlefs , Lingli Zhang , Weirong Zhu , Dana Groff , Michael M. Magruder , Charles David Callahan, II
发明人： Sukhdeep S. Sodhi , Yosseff Levanoni , David L. Detlefs , Lingli Zhang , Weirong Zhu , Dana Groff , Michael M. Magruder , Charles David Callahan, II
IPC分类号： G06F13/00
CPC分类号： G06F9/467 , G06F9/528
摘要： A software transactional memory (STM) system allows the composition of traditional lock based synchronization with transactions in STM code. The STM system acquires each traditional lock the first time that a corresponding traditional lock acquire is encountered inside a transaction and defers all traditional lock releases until a top level transaction in a transaction nest commits or aborts. The STM system maintains state information associated with traditional lock operations in transactions and uses the state information to eliminate deferred traditional lock operations that are redundant. The STM system integrates with systems that implement garbage collection.
摘要翻译：软件事务存储器（STM）系统允许以STM代码的事务组合传统的基于锁的同步。 STM系统首次在交易中遇到相应的传统锁获取时，获取每个传统锁，并延迟所有传统的锁定版本，直到事务嵌套中的顶级事务提交或中止。 STM系统维护与事务中的传统锁定操作相关的状态信息，并使用状态信息来消除冗余的延迟传统锁定操作。 STM系统与实施垃圾收集的系统集成。

6. 发明申请

US20100100689A1 TRANSACTION PROCESSING IN TRANSACTIONAL MEMORY 有权
标题翻译：交易记录中的交易处理
公开(公告)号：US20100100689A1
公开(公告)日：2010-04-22
申请号：US12353905
申请日：2009-01-14
申请人： Alexander Dadiomov , Dana Groff , Yosseff Levanoni , James E. Johnson
发明人： Alexander Dadiomov , Dana Groff , Yosseff Levanoni , James E. Johnson
IPC分类号： G06F12/00
CPC分类号： G06F9/466
摘要： A transactional memory processing system provides for the integration of transactional memory concepts at the compiler-level into a higher-level traditional transaction processing system. Atomic blocks at the compiler-level can be specified as atomic block transactions and include the features of atomicity and isolation. Actions within this atomic block transaction include the enlistment of resource managers from a repository. The repository can now include a pre-programmed memory resource manager to manage the transactional memory. As in traditional transactions, a commit protocol can be used to determine if the actions are valid and can be exposed outside of the transaction. Unlike traditional transactions, however, the transaction is not necessarily doomed if all of the actions are not validated. Rather, memory conflicts can cause a rollback and re-execution of the atomic block transaction, which can be repeated as long as necessary, until the memory resource manger votes to commit.
摘要翻译：事务性存储器处理系统提供将编译器级的事务存储器概念集成到更高级别的传统事务处理系统中。编译器级别的原子块可以指定为原子块事务，并包含原子性和隔离特征。这个原子块事务中的操作包括资源管理器从资源库的招募。存储库现在可以包括预编程的存储器资源管理器来管理事务存储器。与传统的交易一样，提交协议可用于确定操作是否有效，并且可以在事务之外暴露出来。然而，与传统交易不同，如果所有操作都未被验证，则交易不一定注定。相反，内存冲突可能导致原子块事务的回滚和重新执行，这可以在必要时重复，直到内存资源管理器投票提交。

7. 发明授权

US08166481B2 Transaction processing in transactional memory 有权
标题翻译：交易记忆中的事务处理
公开(公告)号：US08166481B2
公开(公告)日：2012-04-24
申请号：US12353905
申请日：2009-01-14
申请人： Alexander Dadiomov , Dana Groff , Yosseff Levanoni , James E. Johnson
发明人： Alexander Dadiomov , Dana Groff , Yosseff Levanoni , James E. Johnson
IPC分类号： G06F9/46 , G06F7/00 , G06F12/00
CPC分类号： G06F9/466
摘要： A transactional memory processing system provides for the integration of transactional memory concepts at the compiler-level into a higher-level traditional transaction processing system. Atomic blocks at the compiler-level can be specified as atomic block transactions and include the features of atomicity and isolation. Actions within this atomic block transaction include the enlistment of resource managers from a repository. The repository can now include a pre-programmed memory resource manager to manage the transactional memory. As in traditional transactions, a commit protocol can be used to determine if the actions are valid and can be exposed outside of the transaction. Unlike traditional transactions, however, the transaction is not necessarily doomed if all of the actions are not validated. Rather, memory conflicts can cause a rollback and re-execution of the atomic block transaction, which can be repeated as long as necessary, until the memory resource manger votes to commit.
摘要翻译：事务性存储器处理系统提供将编译器级的事务存储器概念集成到更高级别的传统事务处理系统中。编译器级别的原子块可以指定为原子块事务，并包含原子性和隔离特征。这个原子块事务中的操作包括资源管理器从资源库的招募。存储库现在可以包括预编程的存储器资源管理器来管理事务存储器。与传统的交易一样，提交协议可用于确定操作是否有效，并且可以在事务之外暴露出来。然而，与传统交易不同，如果所有操作都未被验证，则交易不一定注定。相反，内存冲突可能导致原子块事务的回滚和重新执行，这可以在必要时重复，直到内存资源管理器投票提交。

8. 发明授权

US08001548B2 Transaction processing for side-effecting actions in transactional memory 有权
标题翻译：交易记忆中副作用的事务处理
公开(公告)号：US08001548B2
公开(公告)日：2011-08-16
申请号：US12254745
申请日：2008-10-20
申请人： Dana Groff , Alexander Dadiomov , Yossi Levanoni
发明人： Dana Groff , Alexander Dadiomov , Yossi Levanoni
IPC分类号： G06F9/46 , G06F7/00 , G06F12/00
CPC分类号： G06F9/466
摘要： A processing system includes a transactional memory, first and second resource managers, and a transaction manager for a concurrent program having a thread including an atomic transaction having a side-effecting action. The first resource manager is configured to enlist in the atomic transaction and manage a resource related to the side effecting action. The second resource manager is configured to enlist in the atomic transaction and manage the transaction memory. The transaction manager is coupled to the first and second resource managers and manager is configured to receive a vote from the first and second resource managers as to whether to commit the transaction. The side-effecting action is postponed until after the transaction commits or applied along with a compensating action to the side-effecting action.
摘要翻译：处理系统包括事务存储器，第一和第二资源管理器，以及具有包括具有副作用动作的原子事务的线程的并发程序的事务管理器。第一个资源管理器配置为招募原子事务并管理与副作用相关的资源。第二个资源管理器被配置为招募原子事务并管理事务存储器。事务管理器耦合到第一和第二资源管理器，并且管理器被配置为从第一和第二资源管理器接收关于是否提交事务的投票。副作用动作被推迟到交易提交或应用以及对副作用动作的补偿动作之后。

9. 发明申请

US20100100885A1 TRANSACTION PROCESSING FOR SIDE-EFFECTING ACTIONS IN TRANSACTIONAL MEMORY 有权
标题翻译：交易处理在交易记忆中的影响行动
公开(公告)号：US20100100885A1
公开(公告)日：2010-04-22
申请号：US12254745
申请日：2008-10-20
申请人： Dana Groff , Alexander Dadiomov , Yossi Levanoni
发明人： Dana Groff , Alexander Dadiomov , Yossi Levanoni
IPC分类号： G06F9/50
CPC分类号： G06F9/466
摘要： A processing system includes a transactional memory, first and second resource managers, and a transaction manager for a concurrent program having a thread including an atomic transaction having a side-effecting action. The first resource manager is configured to enlist in the atomic transaction and manage a resource related to the side effecting action. The second resource manager is configured to enlist in the atomic transaction and manage the transaction memory. The transaction manager is coupled to the first and second resource managers and manager is configured to receive a vote from the first and second resource managers as to whether to commit the transaction. The side-effecting action is postponed until after the transaction commits or applied along with a compensating action to the side-effecting action.
摘要翻译：处理系统包括事务存储器，第一和第二资源管理器，以及具有包括具有副作用动作的原子事务的线程的并发程序的事务管理器。第一个资源管理器配置为招募原子事务并管理与副作用相关的资源。第二个资源管理器被配置为招募原子事务并管理事务存储器。事务管理器耦合到第一和第二资源管理器，并且管理器被配置为从第一和第二资源管理器接收关于是否提交事务的投票。副作用动作被推迟到交易提交或应用以及对副作用动作的补偿动作之后。

10. 发明授权

US08321667B2 Security model for common multiplexed transactional logs 有权
标题翻译：常用复用事务日志的安全模型
公开(公告)号：US08321667B2
公开(公告)日：2012-11-27
申请号：US11711990
申请日：2007-02-28
申请人： Dexter P. Bradshaw , William R. Tipton , Dana Groff , Zoheb Lester Alexander Vacheri
发明人： Dexter P. Bradshaw , William R. Tipton , Dana Groff , Zoheb Lester Alexander Vacheri
IPC分类号： H04L29/06 , G06F17/00
CPC分类号： G06F21/6218 , G06F9/455
摘要： A security model is provided in a transactional logging infrastructure that is arranged as a protected subsystem built on an underlying secure file system. Files in the underlying file system used by virtual log streams are protected from direct user writes, and are written-to only through the protected subsystem that is brokered by a machine-wide principal so that virtual log files sharing the same multiplexed physical log are kept secure from each other. Log file handles and user- and kernel-mode objects are exposed to log clients through interfaces using consistent security semantics for both dedicated and virtual logs. Log clients are agnostic of the underlying secure file system and can only manipulate file system containers—abstract objects that implement the physical log and used to virtualize the file system by normalizing input/output operations—by using the interfaces brokered by the principal in the protected subsystem.
摘要翻译：在事务日志记录基础设施中提供安全模型，该基础架构被安排为构建在底层安全文件系统上的受保护子系统。虚拟日志流所使用的基础文件系统中的文件受到保护，不受直接用户写入的影响，只能通过由机器范围的主体中介的受保护子系统进行写入，以便共享共享多个物理日志的虚拟日志文件相互安全日志文件句柄和用户和内核模式对象通过使用一致的安全语义的专用和虚拟日志的接口向日志客户端公开。日志客户端与底层安全文件系统无关，只能操纵文件系统容器 - 通过归一化输入/输出操作来实现物理日志并用于虚拟化文件系统的抽象对象 - 通过使用受保护的主体代理的接口子系统。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式