公开(公告)号：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.

摘要翻译： 处理系统包括事务存储器，第一和第二资源管理器，以及具有包括具有副作用动作的原子事务的线程的并发程序的事务管理器。 第一个资源管理器配置为招募原子事务并管理与副作用相关的资源。 第二个资源管理器被配置为招募原子事务并管理事务存储器。 事务管理器耦合到第一和第二资源管理器，并且管理器被配置为从第一和第二资源管理器接收关于是否提交事务的投票。 副作用动作被推迟到交易提交或应用以及对副作用动作的补偿动作之后。

公开(公告)号：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.

摘要翻译： 处理系统包括事务存储器，第一和第二资源管理器，以及具有包括具有副作用动作的原子事务的线程的并发程序的事务管理器。 第一个资源管理器配置为招募原子事务并管理与副作用相关的资源。 第二个资源管理器被配置为招募原子事务并管理事务存储器。 事务管理器耦合到第一和第二资源管理器，并且管理器被配置为从第一和第二资源管理器接收关于是否提交事务的投票。 副作用动作被推迟到交易提交或应用以及对副作用动作的补偿动作之后。

公开(公告)号：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.

摘要翻译： 事务性存储器处理系统提供将编译器级的事务存储器概念集成到更高级别的传统事务处理系统中。 编译器级别的原子块可以指定为原子块事务，并包含原子性和隔离特征。 这个原子块事务中的操作包括资源管理器从资源库的招募。 存储库现在可以包括预编程的存储器资源管理器来管理事务存储器。 与传统的交易一样，提交协议可用于确定操作是否有效，并且可以在事务之外暴露出来。 然而，与传统交易不同，如果所有操作都未被验证，则交易不一定注定。 相反，内存冲突可能导致原子块事务的回滚和重新执行，这可以在必要时重复，直到内存资源管理器投票提交。

公开(公告)号：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.

摘要翻译： 事务性内存兼容类型属性与中间语言代码相关联，以指定例如中间语言代码必须在事务中运行，或者不能在事务中运行，或者可以在事务中运行。 自动生成属性，同时从注释的源代码生成中间语言代码。 默认规则也生成属性。 工具使用属性来静态或动态地检查中间语言代码和事务内存实现之间的不兼容性。

公开(公告)号：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.

摘要翻译： 事务性存储器处理系统提供将编译器级的事务存储器概念集成到更高级别的传统事务处理系统中。 编译器级别的原子块可以指定为原子块事务，并包含原子性和隔离特征。 这个原子块事务中的操作包括资源管理器从资源库的招募。 存储库现在可以包括预编程的存储器资源管理器来管理事务存储器。 与传统的交易一样，提交协议可用于确定操作是否有效，并且可以在事务之外暴露出来。 然而，与传统交易不同，如果所有操作都未被验证，则交易不一定注定。 相反，内存冲突可能导致原子块事务的回滚和重新执行，这可以在必要时重复，直到内存资源管理器投票提交。

公开(公告)号：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.

摘要翻译： 提供了提供私有化安全性的软件事务内存系统。 系统识别事务的完成可能因为私有化工件不会发生而加快的情况。 系统使用读写集合交集测试，事务变量，悲观锁或已声明的私有化事务来确定私有化工件是否可能发生。 如果事务不会发生私有化工件，则系统可能允许事务在一个或多个较早的事务之前完成。

公开(公告)号：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.

摘要翻译： 事务性内存兼容性类型属性与中间语言代码相关联，以指定例如中间语言代码必须在事务中运行，或者不能在事务中运行，或者可以在事务中运行。 自动生成属性，同时从注释的源代码生成中间语言代码。 默认规则也生成属性。 工具使用属性来静态或动态地检查中间语言代码和事务内存实现之间的不兼容性。

公开(公告)号：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.

摘要翻译： 在事务日志记录基础设施中提供安全模型，该基础架构被安排为构建在底层安全文件系统上的受保护子系统。 虚拟日志流所使用的基础文件系统中的文件受到保护，不受直接用户写入的影响，只能通过由机器范围的主体中介的受保护子系统进行写入，以便共享共享多个物理日志的虚拟日志文件 相互安全 日志文件句柄和用户和内核模式对象通过使用一致的安全语义的专用和虚拟日志的接口向日志客户端公开。 日志客户端与底层安全文件系统无关，只能操纵文件系统容器 - 通过归一化输入/输出操作来实现物理日志并用于虚拟化文件系统的抽象对象 - 通过使用受保护的主体代理的接口 子系统。

公开(公告)号：US20090044204A1

公开(公告)日：2009-02-12

申请号：US11890921

申请日：2007-08-08

申请人： Dana Groff ,  Jonathan Cargille ,  Surendra Verma ,  Andrew Herron ,  Dragos Sambotin ,  Christian Allred ,  William R. Tipton ,  Karthik Thirumalai

发明人： Dana Groff ,  Jonathan Cargille ,  Surendra Verma ,  Andrew Herron ,  Dragos Sambotin ,  Christian Allred ,  William R. Tipton ,  Karthik Thirumalai

IPC分类号： G06F9/44

CPC分类号： G06F9/54 ,  G06F9/466

摘要： A set of application programming interfaces (“APIs”) is provided that enables an application to perform operations on multiple system resources as a single logical unit of work through a transaction. The application can then commit or roll back the entire group of changes as a single unit in a coordinated manner. The APIs expose functions and methods that take a reference to a transaction context, such as a handle, name, or pointer, as one of their parameters so that the application can manipulate the resource as a transacted operation. The transaction is bound to all created handles so that all operations on the resource using those handles are also transacted. In an illustrative example, the set of APIs are transacted name-based WIN32 APIs that take a transaction handle. The transacted APIs expose transacted operations to the application for durable system resources in the OS kernel, including the NTFS file system (New Technology File System) and registry.

摘要翻译： 提供了一组应用程序编程接口（“API”），使得应用程序可以通过事务将多个系统资源作为单个逻辑工作单元执行操作。 然后，应用程序可以以协调的方式将整个更改组作为单个单元进行提交或回滚。 API公开了将事务上下文（例如句柄，名称或指针）引用为其参数之一的函数和方法，以便应用程序可以将该资源作为事务处理操作。 事务绑定到所有创建的句柄，以便使用这些句柄的资源上的所有操作也被处理。 在一个说明性的例子中，这组API是处理基于名称的WIN32 API，它采取事务处理。 事务处理的API将处理的操作暴露给OS应用程序中的持久系统资源，包括NTFS文件系统（新技术文件系统）和注册表。

公开(公告)号：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系统与实施垃圾收集的系统集成。