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

1. 发明授权

US08117605B2 Method and apparatus for improving transactional memory interactions by tracking object visibility 有权
标题翻译：通过跟踪对象可视性来改善事务记忆交互的方法和装置
公开(公告)号：US08117605B2
公开(公告)日：2012-02-14
申请号：US11311506
申请日：2005-12-19
申请人： Yosef Lev , Jan-Willem Maessen , Mark S. Moir
发明人： Yosef Lev , Jan-Willem Maessen , Mark S. Moir
IPC分类号： G06F9/45
CPC分类号： G06F9/466
摘要： In a multi-threaded computer system that uses transactional memory, object fields accessed by only one thread are accessed by regular non-transactional read and write operations. When an object may be visible to more than one thread, access by non-transactional code is prevented and all accesses to the fields of that object are performed using transactional code. In one embodiment, the current visibility of an object is stored in the object itself. This stored visibility can be checked at runtime by code that accesses the object fields or code can be generated to check the visibility prior to access during compilation.
摘要翻译：在使用事务内存的多线程计算机系统中，只有一个线程访问的对象字段通过常规的非事务性读写操作进行访问。当一个对象可能对多个线程可见时，将阻止非事务代码的访问，并使用事务代码执行对该对象的字段的所有访问。在一个实施例中，对象的当前可视性被存储在对象本身中。可以在运行时通过访问对象字段的代码检查存储的可见性，或者可以生成代码以在编译期间访问之前检查可见性。

2. 发明授权

US07516366B2 System and method for executing nested atomic blocks using split hardware transactions 有权
标题翻译：使用分割硬件事务执行嵌套原子块的系统和方法
公开(公告)号：US07516366B2
公开(公告)日：2009-04-07
申请号：US11840439
申请日：2007-08-17
申请人： Yosef Lev , Jan-Willem Maessen
发明人： Yosef Lev , Jan-Willem Maessen
IPC分类号： G06F11/00
CPC分类号： G06F9/466 , G06F11/1405
摘要： Split hardware transaction techniques may support execution of serial and parallel nesting of code within an atomic block to an arbitrary nesting depth. An atomic block including child code sequences nested within a parent code sequence may be executed using separate hardware transactions for each child, but the execution of the parent code sequence, the child code sequences, and other code within the atomic block may appear to have been executed as a single transaction. If a child transaction fails, it may be retried without retrying the parent code sequence or other child code sequences. Before a child transaction is executed, a determination of memory consistency may be made. If a memory inconsistency is detected, the child transaction may be retried or control may be returned to its parent. Memory inconsistencies between parallel child transactions may be resolved by serializing their execution before retrying at least one of them.
摘要翻译：分割硬件事务技术可以支持将原子块内的代码的串行和并行嵌套执行到任意的嵌套深度。包含嵌套在父代码序列中的子代码序列的原子块可以使用针对每个子代的单独的硬件事务执行，但是原子块中的父代码序列，子代码序列和其他代码的执行可能看起来已经被作为单个事务执行。如果子事务失败，则可以重试该子事务而不重试父代码序列或其他子代码序列。在执行子事务之前，可以确定内存一致性。如果检测到内存不一致，则可能会重试子进程，或者可以将控制权返回给其父进程。并行子事务之间的内存不一致可以通过在重新执行其中的至少一个之前对其执行进行序列化来解决。

3. 发明申请

US20070150509A1 Method and apparatus for improving transactional memory interactions by tracking object visibility 有权
标题翻译：通过跟踪对象可视性来改善事务记忆交互的方法和装置
公开(公告)号：US20070150509A1
公开(公告)日：2007-06-28
申请号：US11311506
申请日：2005-12-19
申请人： Yosef Lev , Jan-Willem Maessen , Mark Moir
发明人： Yosef Lev , Jan-Willem Maessen , Mark Moir
IPC分类号： G06F17/00
CPC分类号： G06F9/466
摘要： In a multi-threaded computer system that uses transactional memory, object fields accessed by only one thread are accessed by regular non-transactional read and write operations. When an object may be visible to more than one thread, access by non-transactional code is prevented and all accesses to the fields of that object are performed using transactional code. In one embodiment, the current visibility of an object is stored in the object itself. This stored visibility can be checked at runtime by code that accesses the object fields or code can be generated to check the visibility prior to access during compilation.
摘要翻译：在使用事务内存的多线程计算机系统中，只有一个线程访问的对象字段通过常规的非事务性读写操作进行访问。当一个对象可能对多个线程可见时，将阻止非事务代码的访问，并使用事务代码执行对该对象的字段的所有访问。在一个实施例中，对象的当前可视性被存储在对象本身中。可以在运行时通过访问对象字段的代码检查存储的可见性，或者可以生成代码以在编译期间访问之前检查可见性。

4. 发明申请

US20090031310A1 System and Method for Executing Nested Atomic Blocks Using Split Hardware Transactions 有权
标题翻译：使用拆分硬件事务执行嵌套原子块的系统和方法
公开(公告)号：US20090031310A1
公开(公告)日：2009-01-29
申请号：US11840439
申请日：2007-08-17
申请人： Yosef Lev , Jan-Willem Maessen
发明人： Yosef Lev , Jan-Willem Maessen
IPC分类号： G06F9/46
CPC分类号： G06F9/466 , G06F11/1405
摘要： Split hardware transaction techniques may support execution of serial and parallel nesting of code within an atomic block to an arbitrary nesting depth. An atomic block including child code sequences nested within a parent code sequence may be executed using separate hardware transactions for each child, but the execution of the parent code sequence, the child code sequences, and other code within the atomic block may appear to have been executed as a single transaction. If a child transaction fails, it may be retried without retrying the parent code sequence or other child code sequences. Before a child transaction is executed, a determination of memory consistency may be made. If a memory inconsistency is detected, the child transaction may be retried or control may be returned to its parent. Memory inconsistencies between parallel child transactions may be resolved by serializing their execution before retrying at least one of them.
摘要翻译：分割硬件事务技术可以支持将原子块内的代码的串行和并行嵌套执行到任意的嵌套深度。包含嵌套在父代码序列中的子代码序列的原子块可以使用针对每个子代的单独的硬件事务执行，但是原子块中的父代码序列，子代码序列和其他代码的执行可能看起来已经被作为单个事务执行。如果子事务失败，则可以重试该子事务而不重试父代码序列或其他子代码序列。在执行子事务之前，可以确定内存一致性。如果检测到内存不一致，则可能会重试子进程，或者可以将控制权返回给其父进程。并行子事务之间的内存不一致可以通过在重新执行其中的至少一个之前对其执行进行序列化来解决。

5. 发明授权

US08473950B2 Parallel nested transactions 有权
标题翻译：并行嵌套事务
公开(公告)号：US08473950B2
公开(公告)日：2013-06-25
申请号：US12490287
申请日：2009-06-23
申请人： Christine H. Flood , Victor M. Luchangco , Jan-Willem Maessen
发明人： Christine H. Flood , Victor M. Luchangco , Jan-Willem Maessen
IPC分类号： G06F9/46 , G06F17/00
CPC分类号： G06F9/466
摘要： A system for managing transactions, including a first reference cell associated with a starting value for a first variable, a first thread having an outer atomic transaction including a first instruction to write a first value to the first variable, a second thread, executing in parallel with the first thread, having an inner atomic transaction including a second instruction to write a second value to the first variable, where the inner atomic transaction is nested within the outer atomic transaction, a first value node created by the outer atomic transaction and storing the first value in response to execution of the first instruction, and a second value node created by the inner atomic transaction, storing the second value in response to execution of the second instruction, and having a previous node pointer referencing the first value node.
摘要翻译：一种用于管理事务的系统，包括与第一变量的起始值相关联的第一参考单元，具有包含向第一变量写入第一值的第一指令的外部原子事务的第一线程，并行执行的第二线程具有第一线程，具有包含向第一变量写入第二值的第二指令的内部原子事务，其中内部原子事务嵌套在外部原子事务内，由外部原子事务创建的第一个值节点并存储响应于第一指令的执行的第一值和由内部原子事务创建的第二值节点，响应于第二指令的执行存储第二值，并且具有引用第一值节点的先前节点指针。

6. 发明授权

US07530051B1 Method and apparatus for dimensional analysis encoded in metatypes and generics 有权
标题翻译：以元模式和仿制药编码的尺寸分析方法和装置
公开(公告)号：US07530051B1
公开(公告)日：2009-05-05
申请号：US11034636
申请日：2005-01-13
申请人： Eric E. Allen , David R. Chase , Victor M. Luchangco , Jan-Willem Maessen , Guy L. Steele
发明人： Eric E. Allen , David R. Chase , Victor M. Luchangco , Jan-Willem Maessen , Guy L. Steele
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/10 , G06F8/24 , G06F8/437
摘要： In general, in one aspect, the invention relates to a method for integrating dimensional analysis in a program comprising defining a specific dimension class within the program, wherein the specific dimension class is an instance of the dimension meta-class, defining an instantiation of a unit class within the program, wherein the instantiation of the unit class comprises the specific dimension class as a type parameter associated with the instantiation of the unit class, defining a method within the program using the instantiation of the unit class and the specific dimension class, and compiling the program to generate an executable code corresponding to the program, wherein the program is written in an object-oriented language.
摘要翻译：一般来说，一方面，本发明涉及一种用于在程序中整合维度分析的方法，包括在程序内定义特定维度类别，其中特定维度类是维度元类的实例，定义一个单元类的实例化，其中单元类的实例化将特定维类作为与单元类的实例相关联的类型参数，使用单元类和特定尺寸类的实例来定义程序中的方法，以及编译所述程序以生成与所述程序相对应的可执行代码，其中所述程序以面向对象语言编写。

7. 发明授权

US08813091B2 Distribution data structures for locality-guided work stealing 有权
标题翻译：地方指导工作窃取的分布数据结构
公开(公告)号：US08813091B2
公开(公告)日：2014-08-19
申请号：US12185619
申请日：2008-08-04
申请人： Jan-Willem Maessen , Jaão P. Dias
发明人： Jan-Willem Maessen , Jaão P. Dias
IPC分类号： G06F9/455 , G06F9/46
CPC分类号： G06F9/5066
摘要： A data structure, the distribution, may be provided to track the desired and/or actual location of computations and data that range over a multidimensional rectangular index space in a parallel computing system. Examples of such iteration spaces include multidimensional arrays and counted loop nests. These distribution data structures may be used in conjunction with locality-guided work stealing and may provide a structured way to track load balancing decisions so they can be reproduced in related computations, thus maintaining locality of reference. They may allow computations to be tied to array layout, and may allow iteration over subspaces of an index space in a manner consistent with the layout of the space itself. Distributions may provide a mechanism to describe computations in a manner that is oblivious to precise machine size or structure. Programming language constructs and/or library functions may support the implementation and use of these distribution data structures.
摘要翻译：可以提供数据结构，分布，以跟踪在并行计算系统中的多维矩形索引空间范围的计算和数据的期望和/或实际位置。这种迭代空间的示例包括多维数组和计数循环嵌套。这些分发数据结构可以与局部性指导的工作窃取结合使用，并且可以提供结构化的方式来跟踪负载平衡决策，使得它们可以在相关计算中再现，从而保持参考的位置。它们可以允许将计算结合到阵列布局，并且可以以与空间本身的布局一致的方式允许对索引空间的子空间进行迭代。分布可以提供一种以不精确的机器尺寸或结构来描述计算的机制。编程语言结构和/或库函数可以支持这些分发数据结构的实现和使用。

8. 发明申请

US20100031267A1 Distribution Data Structures for Locality-Guided Work Stealing 有权
标题翻译：分布数据结构的局部引导工作窃取
公开(公告)号：US20100031267A1
公开(公告)日：2010-02-04
申请号：US12185619
申请日：2008-08-04
申请人： Jan-Willem Maessen , Joao P. Dias
发明人： Jan-Willem Maessen , Joao P. Dias
IPC分类号： G06F9/50
CPC分类号： G06F9/5066
摘要： A data structure, the distribution, may be provided to track the desired and/or actual location of computations and data that range over a multidimensional rectangular index space in a parallel computing system. Examples of such iteration spaces include multidimensional arrays and counted loop nests. These distribution data structures may be used in conjunction with locality-guided work stealing and may provide a structured way to track load balancing decisions so they can be reproduced in related computations, thus maintaining locality of reference. They may allow computations to be tied to array layout, and may allow iteration over subspaces of an index space in a manner consistent with the layout of the space itself. Distributions may provide a mechanism to describe computations in a manner that is oblivious to precise machine size or structure. Programming language constructs and/or library functions may support the implementation and use of these distribution data structures.
摘要翻译：可以提供数据结构，分布，以跟踪在并行计算系统中的多维矩形索引空间范围的计算和数据的期望和/或实际位置。这种迭代空间的示例包括多维数组和计数循环嵌套。这些分布数据结构可以与局部性引导的工作窃取结合使用，并且可以提供结构化的方式来跟踪负载平衡决策，使得它们可以在相关计算中再现，从而保持参考的局部性。它们可以允许将计算结合到阵列布局，并且可以以与空间本身的布局一致的方式允许对索引空间的子空间进行迭代。分布可以提供一种以不精确的机器尺寸或结构来描述计算的机制。编程语言结构和/或库函数可以支持这些分发数据结构的实现和使用。

9. 发明授权

US07287131B1 Method and apparatus for implementing a fully dynamic lock-free hash table 有权
标题翻译：用于实现完全动态无锁哈希表的方法和装置
公开(公告)号：US07287131B1
公开(公告)日：2007-10-23
申请号：US10674942
申请日：2003-09-29
申请人： Paul A. Martin , Victor Luchangco , Jan-Willem Maessen
发明人： Paul A. Martin , Victor Luchangco , Jan-Willem Maessen
IPC分类号： G06F17/30
CPC分类号： G06F17/30949 , Y10S707/99942
摘要： One embodiment of the present invention provides a system that implements a hash table that is fully dynamic and lock-free. During a lookup in the hash table the system first uses a hash key to lookup a bucket pointer in a bucket array. Next, the system follows the bucket pointer to a data node within a linked list that contains all of the data nodes in the hash table, wherein the linked list contains only data nodes and at most a constant number of dummy nodes. The system then searches from the data node through the linked list to locate a node that matches the hash key, if one exists.
摘要翻译：本发明的一个实施例提供一种实现完全动态和无锁定的散列表的系统。在哈希表查找期间，系统首先使用散列键来查询桶数组中的桶指针。接下来，系统跟随桶指针到包含哈希表中的所有数据节点的链表中的数据节点，其中链表仅包含数据节点，并且最多只包含恒定数量的虚节点。然后，系统通过链表从数据节点搜索，以定位与散列键匹配的节点（如果存在）。

10. 发明申请

US20100325630A1 PARALLEL NESTED TRANSACTIONS 有权
标题翻译：并行交易
公开(公告)号：US20100325630A1
公开(公告)日：2010-12-23
申请号：US12490287
申请日：2009-06-23
申请人： Christine H. Flood , Victor M. Luchangco , Jan-Willem Maessen
发明人： Christine H. Flood , Victor M. Luchangco , Jan-Willem Maessen
IPC分类号： G06F9/46
CPC分类号： G06F9/466
摘要： A system for managing transactions, including a first reference cell associated with a starting value for a first variable, a first thread having an outer atomic transaction including a first instruction to write a first value to the first variable, a second thread, executing in parallel with the first thread, having an inner atomic transaction including a second instruction to write a second value to the first variable, where the inner atomic transaction is nested within the outer atomic transaction, a first value node created by the outer atomic transaction and storing the first value in response to execution of the first instruction, and a second value node created by the inner atomic transaction, storing the second value in response to execution of the second instruction, and having a previous node pointer referencing the first value node.
摘要翻译：一种用于管理事务的系统，包括与第一变量的起始值相关联的第一参考单元，具有包含向第一变量写入第一值的第一指令的外部原子事务的第一线程，并行执行的第二线程具有第一线程，具有包含向第一变量写入第二值的第二指令的内部原子事务，其中内部原子事务嵌套在外部原子事务内，由外部原子事务创建的第一个值节点并存储响应于第一指令的执行的第一值和由内部原子事务创建的第二值节点，响应于第二指令的执行存储第二值，并且具有引用第一值节点的先前节点指针。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式