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

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

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

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

公开(公告)号：US20080256073A1

公开(公告)日：2008-10-16

申请号：US11786174

申请日：2007-04-11

申请人： David Detlefs ,  John Joseph Duffy ,  Michael M. Magruder ,  Goetz Graefe ,  Vinod K. Grover ,  Timothy Lawrence Harris

发明人： David Detlefs ,  John Joseph Duffy ,  Michael M. Magruder ,  Goetz Graefe ,  Vinod K. Grover ,  Timothy Lawrence Harris

IPC分类号： G06F17/30

CPC分类号： G06F9/528

摘要： Various technologies and techniques are disclosed that support buffered writes and enforced serialization order in a software transactional memory system. A buffered write process is provided that performs writes to shadow copies of objects and writes content back to the objects after validating a respective transaction during commit. When a write lock is first obtained for a particular transaction, a shadow copy is made of a particular object. Writes are performed to and reads from the shadow copy. After validating the particular transaction during commit, content is written from the shadow copy to the particular object. A transaction ordering process is provided that ensures that an order in which the transactions are committed matches an abstract serialization order of the transactions. Transactions are not allowed to commit until their ticket number matches a global number that tracks the next transaction that should commit.

摘要翻译： 公开了各种技术和技术，其支持软件事务存储器系统中的缓冲写入和强制序列化顺序。 提供缓冲的写入过程，其在对象的卷影副本执行写入，并且在提交期间验证相应的事务之后将内容写回到对象。 当一个特定的事务首次获得一个写锁定时，一个影子副本是由一个特定的对象组成的。 写入被执行并从卷影副本中读取。 在提交期间验证特定事务后，将内容从卷影副本写入特定对象。 提供了事务排序过程，其确保事务被提交的顺序与事务的抽象序列化顺序相匹配。 事务不允许提交，直到他们的机票号码跟踪跟踪下一个应该提交的事务的全局号码。

公开(公告)号：US07908255B2

公开(公告)日：2011-03-15

申请号：US11786174

申请日：2007-04-11

申请人： David Detlefs ,  John Joseph Duffy ,  Michael M Magruder ,  Goetz Graefe ,  Vinod K Grover ,  Timothy Lawrence Harris

发明人： David Detlefs ,  John Joseph Duffy ,  Michael M Magruder ,  Goetz Graefe ,  Vinod K Grover ,  Timothy Lawrence Harris

IPC分类号： G06F17/30

CPC分类号： G06F9/528

摘要： Various technologies and techniques are disclosed that support buffered writes and enforced serialization order in a software transactional memory system. A buffered write process is provided that performs writes to shadow copies of objects and writes content back to the objects after validating a respective transaction during commit. When a write lock is first obtained for a particular transaction, a shadow copy is made of a particular object. Writes are performed to and reads from the shadow copy. After validating the particular transaction during commit, content is written from the shadow copy to the particular object. A transaction ordering process is provided that ensures that an order in which the transactions are committed matches an abstract serialization order of the transactions. Transactions are not allowed to commit until their ticket number matches a global number that tracks the next transaction that should commit.

摘要翻译： 公开了各种技术和技术，其支持软件事务存储器系统中的缓冲写入和强制序列化顺序。 提供缓冲的写入过程，其在对象的卷影副本执行写入，并且在提交期间验证相应的事务之后将内容写回到对象。 当一个特定的事务首次获得一个写锁定时，一个影子副本是由一个特定的对象组成的。 写入被执行并从卷影副本中读取。 在提交期间验证特定事务后，将内容从卷影副本写入特定对象。 提供了事务排序过程，其确保事务被提交的顺序与事务的抽象序列化顺序相匹配。 事务不允许提交，直到他们的机票号码跟踪跟踪下一个应该提交的事务的全局号码。

公开(公告)号：US07711678B2

公开(公告)日：2010-05-04

申请号：US11601541

申请日：2006-11-17

申请人： Lingli Zhang ,  Vinod K. Grover ,  Michael M. Magruder ,  David Detlefs ,  John Joseph Duffy ,  Goetz Graefe

发明人： Lingli Zhang ,  Vinod K. Grover ,  Michael M. Magruder ,  David Detlefs ,  John Joseph Duffy ,  Goetz Graefe

IPC分类号： G06F17/30

CPC分类号： G06F9/466 ,  Y10S707/99933

摘要： Various technologies and techniques are disclosed for applying ordering to transactions in a software transactional memory system. A software transactional memory system is provided with a feature to allow a pre-determined commit order to be specified for a plurality of transactions. The pre-determined commit order is used at runtime to aid in determining an order in which to commit the transactions in the software transactional memory system. A contention management process is invoked when a conflict occurs between a first transaction and a second transaction. The pre-determined commit order is used in the contention management process to aid in determining whether the first transaction or the second transaction should win the conflict and be allowed to proceed.

摘要翻译： 公开了各种技术和技术，用于对软件事务存储器系统中的事务应用排序。 提供了软件事务存储器系统的特征，以允许为多个事务指定预定的提交顺序。 在运行时使用预定的提交订单来帮助确定在软件事务存储器系统中提交事务的顺序。 当在第一事务和第二事务之间发生冲突时，调用争用管理进程。 在竞争管理过程中使用预先确定的提交订单以帮助确定第一交易或第二交易是否应该赢得冲突并被允许继续进行。

公开(公告)号：US20080120300A1

公开(公告)日：2008-05-22

申请号：US11820556

申请日：2007-06-20

申请人： David Detlefs ,  John Joseph Duffy ,  Goetz Graefe ,  Vinod K. Grover ,  Michael M. Magruder ,  Lingli Zhang

发明人： David Detlefs ,  John Joseph Duffy ,  Goetz Graefe ,  Vinod K. Grover ,  Michael M. Magruder ,  Lingli Zhang

IPC分类号： G06F17/30

CPC分类号： G06F9/3842

摘要： Various technologies and techniques are disclosed for handling exceptions in sequential statements that are executed in parallel. A transactional memory system is provided with a contention manager. The contention manager is responsible for managing exceptions that occur within statements that were designed to be executed in an original sequential order, and that were transformed into ordered transactions for speculative execution in parallel. The contention manager ensures that any exceptions that are thrown from one or more speculatively executed blocks while the statements are being executed speculatively in parallel are handled in the original sequential order.

摘要翻译： 公开了用于处理并行执行的顺序语句中的异常的各种技术和技术。 交易内存系统与竞争管理器一起提供。 竞争管理器负责管理在原始顺序中被设计为执行的语句中发生的异常，并且被并行转换为有序事务以进行投机执行。 争用管理器确保在以并行方式推测性地执行语句时从一个或多个推测执行的块抛出的任何异常以原始顺序的顺序进行处理。

公开(公告)号：US07860847B2

公开(公告)日：2010-12-28

申请号：US11820556

申请日：2007-06-20

申请人： David Detlefs ,  John Joseph Duffy ,  Goetz Graefe ,  Vinod K. Grover ,  Michael M. Magruder ,  Lingli Zhang

发明人： David Detlefs ,  John Joseph Duffy ,  Goetz Graefe ,  Vinod K. Grover ,  Michael M. Magruder ,  Lingli Zhang

IPC分类号： G06F17/30

CPC分类号： G06F9/3842

摘要： Various technologies and techniques are disclosed for handling exceptions in sequential statements that are executed in parallel. A transactional memory system is provided with a contention manager. The contention manager is responsible for managing exceptions that occur within statements that were designed to be executed in an original sequential order, and that were transformed into ordered transactions for speculative execution in parallel. The contention manager ensures that any exceptions that are thrown from one or more speculatively executed blocks while the statements are being executed speculatively in parallel are handled in the original sequential order.

摘要翻译： 公开了用于处理并行执行的顺序语句中的异常的各种技术和技术。 交易内存系统与竞争管理器一起提供。 竞争管理器负责管理在原始顺序中被设计为执行的语句中发生的异常，并且被并行转换为有序事务以进行投机执行。 争用管理器确保在以并行方式推测性地执行语句时从一个或多个推测执行的块抛出的任何异常以原始顺序的顺序进行处理。

公开(公告)号：US20080120484A1

公开(公告)日：2008-05-22

申请号：US11601541

申请日：2006-11-17

申请人： Lingli Zhang ,  Vinod K. Grover ,  Michael M. Magruder ,  David Detlefs ,  John Joseph Duffy ,  Goetz Graefe

发明人： Lingli Zhang ,  Vinod K. Grover ,  Michael M. Magruder ,  David Detlefs ,  John Joseph Duffy ,  Goetz Graefe

IPC分类号： G06F12/00

CPC分类号： G06F9/466 ,  Y10S707/99933

摘要： Various technologies and techniques are disclosed for applying ordering to transactions in a software transactional memory system. A software transactional memory system is provided with a feature to allow a pre-determined commit order to be specified for a plurality of transactions. The pre-determined commit order is used at runtime to aid in determining an order in which to commit the transactions in the software transactional memory system. A contention management process is invoked when a conflict occurs between a first transaction and a second transaction. The pre-determined commit order is used in the contention management process to aid in determining whether the first transaction or the second transaction should win the conflict and be allowed to proceed.

摘要翻译： 公开了各种技术和技术，用于对软件事务存储器系统中的事务应用排序。 提供了软件事务存储器系统的特征，以允许为多个事务指定预定的提交顺序。 在运行时使用预定的提交订单来帮助确定在软件事务存储器系统中提交事务的顺序。 当在第一事务和第二事务之间发生冲突时，调用争用管理进程。 在竞争管理过程中使用预先确定的提交订单以帮助确定第一交易或第二交易是否应该赢得冲突并被允许继续进行。

公开(公告)号：US08146085B2

公开(公告)日：2012-03-27

申请号：US11821647

申请日：2007-06-25

申请人： John Joseph Duffy ,  David Callahan ,  David Detlefs ,  Vance Morrison ,  Brian Grunkemeyer ,  Eric Dean Tribble

发明人： John Joseph Duffy ,  David Callahan ,  David Detlefs ,  Vance Morrison ,  Brian Grunkemeyer ,  Eric Dean Tribble

IPC分类号： G06F9/46 ,  G06F7/38

CPC分类号： G06F11/36 ,  G06F9/4812 ,  G06F2209/481

摘要： Various technologies and techniques are disclosed for providing concurrent exception handling. Exceptions that occur in concurrent workers are caught. The caught exceptions are then forwarded from the concurrent workers to a coordination worker. The caught exceptions are finally aggregated into an aggregation structure, such as an aggregate exception object. This aggregation structure is rethrown and the individual caught exceptions may then be handled at a proper time.

摘要翻译： 公开了用于提供并发异常处理的各种技术和技术。 遇到并发工作人员的异常情况。 然后将捕获的异常从并发工作人员转发给协调工作人员。 捕获的异常最终聚合到聚合结构中，例如聚合异常对象。 该聚合结构被重新抛出，然后可以在适当的时间处理个别捕获的异常。

公开(公告)号：US07650371B2

公开(公告)日：2010-01-19

申请号：US11639021

申请日：2006-12-14

申请人： John Joseph Duffy ,  David Detlefs ,  Michael M. Magruder

发明人： John Joseph Duffy ,  David Detlefs ,  Michael M. Magruder

IPC分类号： G06F7/00

CPC分类号： G06F17/30607 ,  G06F8/24 ,  G06F12/0253

摘要： Various technologies and techniques are disclosed for providing a software transactional memory system that supports allocation and use of finalizable objects inside transactions. By supporting such finalizable object usage inside a software transactional memory system, correct behavior is maintained when a garbage collector must determine when a particular one or more of the objects are eligible for finalization. A to-be-finalized set is provided for a transaction. An object is placed into the to-be-finalized set for the transaction whenever a finalizable object is allocated within the transaction. A finalize indicator is set for each object in the to-be-finalized set at an appropriate time to indicate that the objects are eligible for finalization. For example, if the transaction is ready to commit and the transaction is an open transaction, then the to-be-finalized set is traversed and a finalize indicator is set for each object to indicate they are eligible for finalization.

摘要翻译： 公开了各种技术和技术，用于提供支持交易内部可完成对象的分配和使用的软件事务性存储器系统。 通过在软件事务内存系统中支持这种可终止的对象使用，当垃圾收集器必须确定何时特定的一个或多个对象有资格进行最终确定时，将维持正确的行为。 为交易提供一个即将完成的集合。 每当在事务中分配一个可终结的对象时，一个对象被放置到事务处理的集合中。 在适当的时间为待确定的集合中的每个对象设置一个最终化指标，以指示对象有资格进行最终确定。 例如，如果事务准备好提交并且事务是开放事务，则将遍历待定的集合，并为每个对象设置一个终结指示符，以指示它们有资格进行最终确定。