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

1. 发明申请

US20140007054A1 METHODS AND SYSTEMS TO IDENTIFY AND REPRODUCE CONCURRENCY VIOLATIONS IN MULTI-THREADED PROGRAMS USING EXPRESSIONS 有权
标题翻译：使用表达法识别并复制多个程序中的同时违反的方法和系统
公开(公告)号：US20140007054A1
公开(公告)日：2014-01-02
申请号：US13535334
申请日：2012-06-27
申请人： Youfeng Wu , Justin E. Gottschlich , Gilles Pokam , Shiliang Hu , Ali-Reza Adl-Tabatabai , Cristiano L. Pereira
发明人： Youfeng Wu , Justin E. Gottschlich , Gilles Pokam , Shiliang Hu , Ali-Reza Adl-Tabatabai , Cristiano L. Pereira
IPC分类号： G06F11/36
CPC分类号： G06F11/3688 , G06F8/70 , G06F11/36 , G06F11/3632
摘要： Methods and systems to identify and reproduce concurrency bugs in multi-threaded programs are disclosed. An example method disclosed herein includes defining a data type. The data type includes a first predicate associated with a first thread of a multi-threaded program that is associated with a first condition, a second predicate that is associated with a second thread of the multi-threaded program, the second predicate being associated with a second condition, and an expression that defines a relationship between the first predicate and the second predicate. The relationship, when satisfied, causes the concurrency bug to be detected. A concurrency bug detector conforming to the data type is used to detect the concurrency bug in the multi-threaded program.
摘要翻译：公开了在多线程程序中识别和再现并发错误的方法和系统。本文公开的示例性方法包括定义数据类型。数据类型包括与第一条件相关联的多线程程序的第一线程相关联的第一谓词，与多线程程序的第二线程相关联的第二谓词，第二谓词与第一谓词相关联第二个条件和一个定义第一个谓词和第二个谓词之间的关系的表达式。这种关系在满足时会导致并发错误被检测到。符合数据类型的并发错误检测器用于检测多线程程序中的并发错误。

2. 发明授权

US09135139B2 Methods and systems to identify and reproduce concurrency violations in multi-threaded programs using expressions 有权
标题翻译：使用表达式在多线程程序中识别和再现并发违规的方法和系统
公开(公告)号：US09135139B2
公开(公告)日：2015-09-15
申请号：US13535334
申请日：2012-06-27
申请人： Youfeng Wu , Justin E. Gottschlich , Gilles Pokam , Shiliang Hu , Ali-Reza Adl-Tabatabai , Cristiano L. Pereira
发明人： Youfeng Wu , Justin E. Gottschlich , Gilles Pokam , Shiliang Hu , Ali-Reza Adl-Tabatabai , Cristiano L. Pereira
IPC分类号： G06F7/38 , G06F9/00 , G06F9/44 , G06F11/00 , G06F9/45 , G06F3/00 , G06F9/46 , G06F13/00 , G06F11/36
CPC分类号： G06F11/3688 , G06F8/70 , G06F11/36 , G06F11/3632
摘要： Methods and systems to identify and reproduce concurrency bugs in multi-threaded programs are disclosed. An example method disclosed herein includes defining a data type. The data type includes a first predicate associated with a first thread of a multi-threaded program that is associated with a first condition, a second predicate that is associated with a second thread of the multi-threaded program, the second predicate being associated with a second condition, and an expression that defines a relationship between the first predicate and the second predicate. The relationship, when satisfied, causes the concurrency bug to be detected. A concurrency bug detector conforming to the data type is used to detect the concurrency bug in the multi-threaded program.
摘要翻译：公开了在多线程程序中识别和再现并发错误的方法和系统。本文公开的示例性方法包括定义数据类型。数据类型包括与第一条件相关联的多线程程序的第一线程相关联的第一谓词，与多线程程序的第二线程相关联的第二谓词，第二谓词与第一谓词相关联第二个条件和一个定义第一个谓词和第二个谓词之间的关系的表达式。这种关系在满足时会导致并发错误被检测到。符合数据类型的并发错误检测器用于检测多线程程序中的并发错误。

3. 发明授权

US09117021B2 Methods and apparatus to manage concurrent predicate expressions 有权
标题翻译：管理并发谓词表达式的方法和设备
公开(公告)号：US09117021B2
公开(公告)日：2015-08-25
申请号：US13827121
申请日：2013-03-14
申请人： Justin E. Gottschlich , Cristiano Ligieri Pereira , Gilles Pokam , Youfeng Wu
发明人： Justin E. Gottschlich , Cristiano Ligieri Pereira , Gilles Pokam , Youfeng Wu
IPC分类号： G06F11/36
CPC分类号： G06F9/52 , G06F11/3632
摘要： Methods, apparatus, systems and articles of manufacture are disclosed to manage concurrent predicate expressions. An example method discloses inserting a first condition hook into a first thread, the first condition hook associated with a first condition, inserting a second condition hook into a second thread, the second condition hook associated with a second condition, preventing the second thread from executing until the first condition is satisfied, and identifying a concurrency violation when the second condition is satisfied.
摘要翻译：公开了方法，装置，系统和制品以管理并发谓词表达。一种示例性方法公开了将第一条件钩插入到第一线程中，与第一条件相关联的第一条件钩，将第二条件钩插入到第二线程中，与第二条件相关联的第二条件钩，防止第二线程执行直到满足第一条件，并且当满足第二条件时识别并发冲突。

4. 发明申请

US20140282423A1 METHODS AND APPARATUS TO MANAGE CONCURRENT PREDICATE EXPRESSIONS 有权
标题翻译：管理相似预测表达的方法和设备
公开(公告)号：US20140282423A1
公开(公告)日：2014-09-18
申请号：US13827121
申请日：2013-03-14
申请人： Justin E. Gottschlich , Cristiano Ligieri Pereira , Gilles Pokam , Youfeng Wu
发明人： Justin E. Gottschlich , Cristiano Ligieri Pereira , Gilles Pokam , Youfeng Wu
IPC分类号： G06F11/36
CPC分类号： G06F9/52 , G06F11/3632
摘要： Methods, apparatus, systems and articles of manufacture are disclosed to manage concurrent predicate expressions. An example method discloses inserting a first condition hook into a first thread, the first condition hook associated with a first condition, inserting a second condition hook into a second thread, the second condition hook associated with a second condition, preventing the second thread from executing until the first condition is satisfied, and identifying a concurrency violation when the second condition is satisfied.
摘要翻译：公开了方法，装置，系统和制品以管理并发谓词表达。一种示例性方法公开了将第一条件钩插入到第一线程中，与第一条件相关联的第一条件钩，将第二条件钩插入到第二线程中，与第二条件相关联的第二条件钩，防止第二线程执行直到满足第一条件，并且当满足第二条件时识别并发冲突。

5. 发明申请

US20150277968A1 SOFTWARE REPLAYER FOR TRANSACTIONAL MEMORY PROGRAMS 有权
标题翻译：用于实时存储器程序的软件更新程序
公开(公告)号：US20150277968A1
公开(公告)日：2015-10-01
申请号：US14226312
申请日：2014-03-26
申请人： Justin E. Gottschlich , Gilles A. Pokam , Shiliang Hu , Rolf Kassa , Youfeng Wu , Irina Calciu
发明人： Justin E. Gottschlich , Gilles A. Pokam , Shiliang Hu , Rolf Kassa , Youfeng Wu , Irina Calciu
IPC分类号： G06F9/46 , G06F11/36 , G11C7/10
CPC分类号： G06F9/467 , G06F11/34 , G06F11/362 , G06F11/3648
摘要： A system is disclosed that includes a processor and a dynamic random access memory (DRAM). The processor includes a hybrid transactional memory (HyTM) that includes hardware transactional memory (HTM), and a program debugger to replay a program that includes an HTM instruction and that has been executed has been executed using the HyTM. The program debugger includes a software emulator that is to replay the HTM instruction by emulation of the HTM. Other embodiments are disclosed and claimed.
摘要翻译：公开了一种包括处理器和动态随机存取存储器（DRAM）的系统。处理器包括包括硬件事务存储器（HTM）的混合事务处理存储器（HyTM），并且使用HyTM执行用于重放包括HTM指令并已被执行的程序的程序调试器。程序调试器包括一个软件仿真器，通过仿真HTM来重播HTM指令。公开和要求保护其他实施例。

6. 发明授权

US08060482B2 Efficient and consistent software transactional memory 有权
标题翻译：高效一致的软件事务内存
公开(公告)号：US08060482B2
公开(公告)日：2011-11-15
申请号：US11648012
申请日：2006-12-28
申请人： Cheng Wang , Youfeng Wu , Wei-Yu Chen , Bratin Saha , Ali-Reza Adl-Tabatabai
发明人： Cheng Wang , Youfeng Wu , Wei-Yu Chen , Bratin Saha , Ali-Reza Adl-Tabatabai
IPC分类号： G06F7/00 , G06F17/00 , G06F17/30
CPC分类号： G06F8/458 , G06F9/3004 , G06F9/30087 , G06F9/3834 , G06F9/3859 , G06F9/3863 , G06F9/467
摘要： A method and apparatus for efficient and consistent validation/conflict detection in a Software Transactional Memory (STM) system is herein described. A version check barrier is inserted after a load to compare versions of loaded values before and after the load. In addition, a global timestamp (GTS) is utilized to track a latest committed transaction. Each transaction is associated with a local timestamp (LTS) initialized to the GTS value at the start of a transaction. As a transaction commits it updates the GTS to a new value and sets versions of modified locations to the new value. Pending transactions compare versions determined in read barriers to their LTS. If the version is greater than their LTS indicating another transaction has committed after the pending transaction started and initialized the LTS, then the pending transaction validates its read set to maintain efficient and consistent transactional execution.
摘要翻译：这里描述了用于在软件事务存储器（STM）系统中有效且一致的验证/冲突检测的方法和装置。在加载之后插入版本检查障碍，以便在加载之前和之后比较加载值的版本。此外，使用全局时间戳（GTS）来跟踪最近提交的事务。每个事务与在事务开始时初始化为GTS值的本地时间戳（LTS）相关联。作为事务提交，将GTS更新为新值，并将修改的位置的版本设置为新值。待处理的交易将比较其在LTS阅读障碍中确定的版本。如果版本大于其LTS，指示在挂起事务启动并初始化LTS之后另一个事务已经提交，则挂起的事务会验证其读取集合以保持有效且一致的事务执行。

7. 发明授权

US08132158B2 Mechanism for software transactional memory commit/abort in unmanaged runtime environment 有权
标题翻译：在非托管运行时环境中软件事务内存提交/中止的机制
公开(公告)号：US08132158B2
公开(公告)日：2012-03-06
申请号：US11648005
申请日：2006-12-28
申请人： Cheng Wang , Youfeng Wu , Bratin Saha , Ali-Reza Adl-Tabatabai
发明人： Cheng Wang , Youfeng Wu , Bratin Saha , Ali-Reza Adl-Tabatabai
IPC分类号： G06F9/44
CPC分类号： G06F9/3004 , G06F9/30087 , G06F9/3842 , G06F9/3863 , G06F9/466
摘要： A method and apparatus for ensuring integrity of transaction exit functions is herein described. Dead local data in a transaction is prevented from overwriting local variables associated with a transaction exit function. In a write-buffering Software Transactional Memory (STM) system, a commit function is associated with a private stack to store local variables to ensure write-back of local dead data in a write-buffer does not corrupt the commit function. Similarly, in a roll-back STM, an abort function is associated with a private stack to store local variables to ensure the roll-back of a program stack with local dead data from a write log does not corrupt the abort function. Alternatively, one stack may be used for the transaction including a first function and an exit function. Here, local dead variables are detected and prevented from overwriting local variables of the exit function.
摘要翻译：这里描述了用于确保交易退出功能的完整性的方法和装置。防止事务中的死地方数据覆盖与事务退出功能相关联的局部变量。在写缓冲软件事务内存（STM）系统中，提交函数与专用堆栈相关联，以存储局部变量，以确保写缓冲区中的本地死数据的写回不会损坏提交函数。类似地，在回滚STM中，中止功能与专用堆栈相关联以存储局部变量，以确保来自写入日志的本地死亡数据的程序堆栈的回滚不会破坏中止功能。或者，可以将一个堆栈用于包括第一功能和退出功能的交易。这里，检测并防止局部死变量覆盖退出函数的局部变量。

8. 发明申请

US20120016853A1 EFFICIENT AND CONSISTENT SOFTWARE TRANSACTIONAL MEMORY 有权
标题翻译：有效和一致的软件交易记忆
公开(公告)号：US20120016853A1
公开(公告)日：2012-01-19
申请号：US13246678
申请日：2011-09-27
申请人： Cheng Wang , Youfeng Wu , Wei-Yu Chen , Bratin Saha , Ali Reza Adl-Tabatabai
发明人： Cheng Wang , Youfeng Wu , Wei-Yu Chen , Bratin Saha , Ali Reza Adl-Tabatabai
IPC分类号： G06F7/00
CPC分类号： G06F8/458 , G06F9/3004 , G06F9/30087 , G06F9/3834 , G06F9/3859 , G06F9/3863 , G06F9/467
摘要： A method and apparatus for efficient and consistent validation/conflict detection in a Software Transactional Memory (STM) system is herein described. A version check barrier is inserted after a load to compare versions of loaded values before and after the load. In addition, a global timestamp (GTS) is utilized to track a latest committed transaction. Each transaction is associated with a local timestamp (LTS) initialized to the GTS value at the start of a transaction. As a transaction commits it updates the GTS to a new value and sets versions of modified locations to the new value. Pending transactions compare versions determined in read barriers to their LTS. If the version is greater than their LTS indicating another transaction has committed after the pending transaction started and initialized the LTS, then the pending transaction validates its read set to maintain efficient and consistent transactional execution.
摘要翻译：这里描述了用于在软件事务存储器（STM）系统中有效且一致的验证/冲突检测的方法和装置。在加载之后插入版本检查障碍，以便在加载之前和之后比较加载值的版本。此外，使用全局时间戳（GTS）来跟踪最近提交的事务。每个事务与在事务开始时初始化为GTS值的本地时间戳（LTS）相关联。作为事务提交，将GTS更新为新值，并将修改的位置的版本设置为新值。待处理的交易将比较其在LTS阅读障碍中确定的版本。如果版本大于其LTS，指示在挂起事务启动并初始化LTS之后另一个事务已经提交，则挂起的事务会验证其读取集合以保持有效且一致的事务执行。

9. 发明申请

US20080162885A1 Mechanism for software transactional memory commit/abort in unmanaged runtime environment 有权
标题翻译：在非托管运行时环境中软件事务内存提交/中止的机制
公开(公告)号：US20080162885A1
公开(公告)日：2008-07-03
申请号：US11648005
申请日：2006-12-28
申请人： Cheng Wang , Youfeng Wu , Bratin Saha , Ali-Reza Adl-Tabatabai
发明人： Cheng Wang , Youfeng Wu , Bratin Saha , Ali-Reza Adl-Tabatabai
IPC分类号： G06F9/30
CPC分类号： G06F9/3004 , G06F9/30087 , G06F9/3842 , G06F9/3863 , G06F9/466
摘要： A method and apparatus for ensuring integrity of transaction exit functions is herein described. Dead local data in a transaction is prevented from overwriting local variables associated with a transaction exit function. In a write-buffering Software Transactional Memory (STM) system, a commit function is associated with a private stack to store local variables to ensure write-back of local dead data in a write-buffer does not corrupt the commit function. Similarly, in a roll-back STM, an abort function is associated with a private stack to store local variables to ensure the roll-back of a program stack with local dead data from a write log does not corrupt the abort function. Alternatively, one stack may be used for the transaction including a first function and an exit function. Here, local dead variables are detected and prevented from overwriting local variables of the exit function.
摘要翻译：这里描述了用于确保交易退出功能的完整性的方法和装置。防止事务中的死地方数据覆盖与事务退出功能相关联的局部变量。在写缓冲软件事务内存（STM）系统中，提交函数与专用堆栈相关联，以存储局部变量，以确保写缓冲区中的本地死数据的写回不会损坏提交函数。类似地，在回滚STM中，中止功能与专用堆栈相关联以存储局部变量，以确保来自写入日志的本地死亡数据的程序堆栈的回滚不会破坏中止功能。或者，可以将一个堆栈用于包括第一功能和退出功能的交易。这里，检测并防止局部死变量覆盖退出函数的局部变量。

10. 发明授权

US09519467B2 Efficient and consistent software transactional memory 有权
标题翻译：高效一致的软件事务内存
公开(公告)号：US09519467B2
公开(公告)日：2016-12-13
申请号：US13246678
申请日：2011-09-27
申请人： Cheng Wang , Youfeng Wu , Wei-Yu Chen , Bratin Saha , Ali Reza Adl-Tabatabai
发明人： Cheng Wang , Youfeng Wu , Wei-Yu Chen , Bratin Saha , Ali Reza Adl-Tabatabai
IPC分类号： G06F7/00 , G06F17/30 , G06F9/45 , G06F9/46 , G06F9/30
CPC分类号： G06F8/458 , G06F9/3004 , G06F9/30087 , G06F9/3834 , G06F9/3859 , G06F9/3863 , G06F9/467
摘要： A method and apparatus for efficient and consistent validation/conflict detection in a Software Transactional Memory (STM) system is herein described. A version check barrier is inserted after a load to compare versions of loaded values before and after the load. In addition, a global timestamp (GTS) is utilized to track a latest committed transaction. Each transaction is associated with a local timestamp (LTS) initialized to the GTS value at the start of a transaction. As a transaction commits it updates the GTS to a new value and sets versions of modified locations to the new value. Pending transactions compare versions determined in read barriers to their LTS. If the version is greater than their LTS indicating another transaction has committed after the pending transaction started and initialized the LTS, then the pending transaction validates its read set to maintain efficient and consistent transactional execution.
摘要翻译：这里描述了用于在软件事务存储器（STM）系统中有效且一致的验证/冲突检测的方法和装置。在加载之后插入版本检查障碍，以便在加载之前和之后比较加载值的版本。此外，使用全局时间戳（GTS）来跟踪最近提交的事务。每个事务与在事务开始时初始化为GTS值的本地时间戳（LTS）相关联。作为事务提交，将GTS更新为新值，并将修改的位置的版本设置为新值。待处理的交易将比较其在LTS阅读障碍中确定的版本。如果版本大于其LTS，指示在挂起事务启动并初始化LTS之后另一个事务已经提交，则挂起的事务会验证其读取集合以保持有效且一致的事务执行。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式