-
公开(公告)号:US20090204969A1
公开(公告)日:2009-08-13
申请号:US12029130
申请日:2008-02-11
Applicant: Martin Abadi , Andrew D. Birrell , Timothy L. Harris , Michael A. Isard , Johnson Ta-Chung Hsieh
Inventor: Martin Abadi , Andrew D. Birrell , Timothy L. Harris , Michael A. Isard , Johnson Ta-Chung Hsieh
IPC: G06F9/46
CPC classification number: G06F9/466
Abstract: Strong semantics are provided to programs that are correctly synchronized in their use of transactions by using dynamic separation of objects that are accessed in transactions from those accessed outside transactions. At run-time, operations are performed to identify transitions between these protected and unprotected modes of access. Dynamic separation permits a range of hardware-based and software-based implementations which allow non-conflicting transactions to execute and commit in parallel. A run-time checking tool, analogous to a data-race detector, may be provided to test dynamic separation of transacted data and non-transacted data. Dynamic separation may be used in an asynchronous I/O library.
Abstract translation: 通过使用在访问外部事务处理的事务中访问的对象的动态分离,为使用事务中正确同步的程序提供了强大的语义。 在运行时,执行操作以识别这些受保护和不受保护的访问模式之间的转换。 动态分离允许一系列基于硬件和基于软件的实现,允许非冲突事务并行执行和提交。 可以提供类似于数据竞争检测器的运行时检查工具来测试事务数据和非事务数据的动态分离。 动态分离可用于异步I / O库。
-
公开(公告)号:US20080079724A1
公开(公告)日:2008-04-03
申请号:US11537529
申请日:2006-09-29
Applicant: Michael A. Isard , Andrew D. Birrell , Yuan Yu
Inventor: Michael A. Isard , Andrew D. Birrell , Yuan Yu
IPC: G06T11/20
CPC classification number: G06T11/206
Abstract: A general purpose high-performance distributed execution engine can be used by developers to deploy large-scale distributed applications. To allow developers to easily make use of the distributed execution engine, a graph building language is proposed that enables developers to efficiently create graphs (e.g., direct acyclic graphs) that describe the subprograms to be executed and the flow of data between them. A job manager (or other appropriate entity) reads the description of the graph created with the graph building language, builds the graph based on that description, and intelligently distributes the subprograms according to the graph so that system resources are used efficiently. In one embodiment, the graph building language (and, thus, the description of the graph) includes syntax for replication, pointwise connect, cross connect and merge.
Abstract translation: 开发人员可以使用通用的高性能分布式执行引擎来部署大型分布式应用程序。 为了允许开发人员轻松利用分布式执行引擎,提出了一种图形构建语言,使开发人员能够有效地创建描述要执行的子程序和它们之间的数据流的图形(例如,直接非循环图)。 作业管理器(或其他适当的实体)读取使用图形构建语言创建的图形的描述,根据该描述构建图形,并根据图形智能地分配子程序,以便有效地使用系统资源。 在一个实施例中,图形构建语言(以及因此,图形的描述)包括用于复制,点连接,交叉连接和合并的语法。
-