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

1. 发明授权

US08806495B2 Lightweight transactional memory for data parallel programming 有权
标题翻译：用于数据并行编程的轻量级事务存储器
公开(公告)号：US08806495B2
公开(公告)日：2014-08-12
申请号：US11824311
申请日：2007-06-29
申请人： James R. Larus , Timothy Lawrence Harris , Virendra Jayant Marathe
发明人： James R. Larus , Timothy Lawrence Harris , Virendra Jayant Marathe
IPC分类号： G06F9/46
CPC分类号： G06F9/466 , G06F9/4812 , G06F9/485 , G06F9/52 , G06F2209/481
摘要： Described is a technology by which alternative use for transactional memory is provided, namely implementing atomic work items that are run asynchronously from their creation in a thread. Described are mechanisms by which threads control the work items that they have created. Atomic work items are scheduled on worker threads managed by the language's runtime system. Atomic work items can use retry to express condition synchronization, providing a general mechanism for controlling when and in what order they are executed. Work items may be grouped, with coordination managed among the grouped work items. Also described by way of example is a highly-parallel implementation of a Chaff satisfiability solver, comprising an example of an important group of applications, including theorem provers and constraint optimization systems.
摘要翻译：描述了一种通过其提供事务性存储器的替代使用的技术，即实现从线程中的创建异步运行的原子工作项。描述了线程控制他们创建的工作项的机制。原子工作项目被安排在由语言运行时系统管理的工作线程上。原子工作项可以使用重试来表达条件同步，提供一种通用机制来控制它们执行的时间和顺序。工作项目可以分组，在分组的工作项目之间进行协调管理。还通过示例的方式描述了Chaff可满足性求解器的高度并行实现，其包括重要的应用组的示例，包括定理验证器和约束优化系统。

2. 发明申请

US20080120455A1 Lightweight transactional memory for data parallel programming 有权
标题翻译：用于数据并行编程的轻量级事务存储器
公开(公告)号：US20080120455A1
公开(公告)日：2008-05-22
申请号：US11824311
申请日：2007-06-29
申请人： James R. Larus , Timothy Lawrence Harris , Virendra Jayant Marathe
发明人： James R. Larus , Timothy Lawrence Harris , Virendra Jayant Marathe
IPC分类号： G06F13/00 , G06F12/00 , G06F13/28
CPC分类号： G06F9/466 , G06F9/4812 , G06F9/485 , G06F9/52 , G06F2209/481
摘要： Described is a technology by which alternative use for transactional memory is provided, namely implementing atomic work items that are run asynchronously from their creation in a thread. Described are mechanisms by which threads control the work items that they have created. Atomic work items are scheduled on worker threads managed by the language's runtime system. Atomic work items can use retry to express condition synchronization, providing a general mechanism for controlling when and in what order they are executed. Work items may be grouped, with coordination managed among the grouped work items. Also described by way of example is a highly-parallel implementation of a Chaff satisfiability solver, comprising an example of an important group of applications, including theorem provers and constraint optimization systems.
摘要翻译：描述了一种通过其提供事务性存储器的替代使用的技术，即实现从线程中的创建异步运行的原子工作项。描述了线程控制他们创建的工作项的机制。原子工作项目被安排在由语言运行时系统管理的工作线程上。原子工作项可以使用重试来表达条件同步，提供一种通用机制来控制它们执行的时间和顺序。工作项目可以分组，在分组的工作项目之间进行协调管理。还通过示例的方式描述了Chaff可满足性求解器的高度并行实现，其包括重要的应用组的示例，包括定理验证器和约束优化系统。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式