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

1. 发明申请

US20090193192A1 Method and Process for Expediting the Return of Line Exclusivity to a Given Processor Through Enhanced Inter-node Communications 有权
标题翻译：通过增强的节点间通信加速给定处理器的线路独占性返回的方法和过程
公开(公告)号：US20090193192A1
公开(公告)日：2009-07-30
申请号：US12021378
申请日：2008-01-29
申请人： Sebastian Burckhardt , Arthur J. O'Neill , Vesselina K. Papazova , Craig R. Walters
发明人： Sebastian Burckhardt , Arthur J. O'Neill , Vesselina K. Papazova , Craig R. Walters
IPC分类号： G06F12/08
CPC分类号： G06F12/0831 , G06F12/0813 , G06F2212/1016
摘要： Cache coherency latency is reduced through a method and apparatus that expedites the return of line exclusivity to a given processor in a multi-node data handling system through enhanced inter-node communications.
摘要翻译：通过一种通过增强的节点间通信在多节点数据处理系统中加速线路排他性返回到给定处理器的方法和装置来减少高速缓存一致等待时间。

2. 发明授权

US09009726B2 Deterministic sharing of data among concurrent tasks using pre-defined deterministic conflict resolution policies 有权
标题翻译：使用预定义的确定性冲突解决策略在并发任务之间确定性地共享数据
公开(公告)号：US09009726B2
公开(公告)日：2015-04-14
申请号：US12965070
申请日：2010-12-10
申请人： Sebastian Burckhardt , Daniel Johannes Pieter Leijen , Alexandro Baldassin
发明人： Sebastian Burckhardt , Daniel Johannes Pieter Leijen , Alexandro Baldassin
IPC分类号： G06F9/46 , G06F9/54 , G06F17/30 , G06F9/48
CPC分类号： G06F9/544 , G06F9/466 , G06F9/485 , G06F17/30168
摘要： A “Concurrent Sharing Model” provides a programming model based on revisions and isolation types for concurrent revisions of states, data, or variables shared between two or more concurrent tasks or programs. This model enables revisions of shared states, data, or variables to maintain determinacy despite nondeterministic scheduling between concurrent tasks or programs. More specifically, the Concurrent Sharing Model provides various techniques wherein shared states, data, or variables are conceptually replicated on forks, and only copied or written if necessary, then deterministically merged on joins such that concurrent tasks or programs can work with independent local copies of the shared states, data, or variables while ensuring automated conflict resolution. This model is applicable to a wide variety of system architectures, including applications that execute tasks on a CPU or GPU, applications that run, in full or in part, on multi-core processors without full shared-memory guarantees, and applications that run within cloud computing environments.
摘要翻译： “并发共享模型”提供了基于修订和隔离类型的编程模型，用于在两个或多个并发任务或程序之间共享的状态，数据或变量的并发修订。尽管在并发任务或程序之间进行了非确定性调度，但该模型可以修改共享状态，数据或变量来保持确定性。更具体地说，并发共享模型提供了各种技术，其中共享状态，数据或变量在概念上被复制到叉上，并且仅在必要时被复制或写入，然后确定地合并在联接上，使得并发任务或程序可以与独立的本地副本共享状态，数据或变量，同时确保自动解决冲突。该模型适用于各种系统架构，包括在CPU或GPU上执行任务的应用程序，全部或部分运行在不具有完全共享内存保证的多核处理器上的应用程序，以及运行在云计算环境。

3. 发明申请

US20120265742A1 EVENTUALLY CONSISTENT STORAGE AND TRANSACTIONS 有权
标题翻译：事件一致存储和交易
公开(公告)号：US20120265742A1
公开(公告)日：2012-10-18
申请号：US13530661
申请日：2012-06-22
申请人： Sebastian Burckhardt , Daniel Johannes Pieter Leijen , Manuel A. Fahndrich , Benjamin Paul Wood
发明人： Sebastian Burckhardt , Daniel Johannes Pieter Leijen , Manuel A. Fahndrich , Benjamin Paul Wood
IPC分类号： G06F17/30
CPC分类号： G06F9/466 , G06F17/30212 , G06F17/30371 , G06F17/30575 , Y10S707/99938 , Y10S707/99954
摘要： An “Eventually Consistent Sharing Model” provides various techniques for using “revision diagrams” to determine both arbitration and visibility of changes or updates to shared data (e.g., data, databases, lists, etc.) without requiring a causally consistent partial order for visibility, and without requiring change or update timestamps for arbitration. In particular, the Eventually Consistent Sharing Model provides fork-join automata based on revision diagrams to track the forking and joining of data versions, thereby tracking updates made to replicas of that data by one or more sources. “Cloud types” are used to define a structure of the shared data that enables fully automatic conflict resolution when updating the shared data. These concepts enable mobile devices (or other computing devices that may periodically go “offline”) to share structured data in cloud-based environments in a manner that provides local data replicas for offline operation while guaranteeing eventually consistent convergence of the data replicas.
摘要翻译：最终一致的共享模型提供了各种使用修订图的技术来确定对共享数据（例如数据，数据库，列表等）的更改或更新的仲裁和可见性，而不需要因果一致的可见度的部分顺序，并且不需要更改或更新仲裁时间戳。特别地，最终一致共享模型基于修订图提供叉连接自动机，以跟踪数据版本的分支和加入，从而跟踪由一个或多个源对该数据的副本的更新。云类型用于定义共享数据的结构，可在更新共享数据时实现全自动冲突解决。这些概念使移动设备（或其他可能定期脱机的计算设备）能够以提供本地数据副本进行脱机操作的方式在基于云的环境中共享结构化数据，同时保证数据副本最终保持一致的收敛。

4. 发明申请

US20090328045A1 TECHNIQUE FOR FINDING RELAXED MEMORY MODEL VULNERABILITIES 有权
标题翻译：寻找放松的内存模式的难题的技术
公开(公告)号：US20090328045A1
公开(公告)日：2009-12-31
申请号：US12147079
申请日：2008-06-26
申请人： Sebastian Burckhardt , Madanlal Musuvathi
发明人： Sebastian Burckhardt , Madanlal Musuvathi
IPC分类号： G06F12/00 , G06F9/46
CPC分类号： G06F9/3842 , G06F9/3834 , G06F9/3851
摘要： A system and method capable of finding relaxed memory-model vulnerabilities in a computer program caused by running on a machine having a relaxed memory model. A relaxed memory model vulnerability in a computer program includes the presence of program executions that are not sequentially consistent. In one embodiment, non-sequentially consistent executions are detected by exploring sequentially consistent executions.
摘要翻译：一种能够在具有放松的存储器模型的机器上运行导致计算机程序中轻松的存储器模型漏洞的系统和方法。计算机程序中轻松的内存模型漏洞包括不顺序一致的程序执行的存在。在一个实施例中，通过探索依次一致的执行来检测非顺序一致的执行。

5. 发明授权

US09436502B2 Eventually consistent storage and transactions in cloud based environment 有权
标题翻译：最终在云环境中存储和交易一致
公开(公告)号：US09436502B2
公开(公告)日：2016-09-06
申请号：US13530661
申请日：2012-06-22
申请人： Sebastian Burckhardt , Daniel Johannes Pieter Leijen , Manuel A. Fahndrich , Benjamin Paul Wood
发明人： Sebastian Burckhardt , Daniel Johannes Pieter Leijen , Manuel A. Fahndrich , Benjamin Paul Wood
IPC分类号： G06F9/46 , G06F17/30
CPC分类号： G06F9/466 , G06F17/30212 , G06F17/30371 , G06F17/30575 , Y10S707/99938 , Y10S707/99954
摘要： An “Eventually Consistent Sharing Model” provides various techniques for using “revision diagrams” to determine both arbitration and visibility of changes or updates to shared data (e.g., data, databases, lists, etc.) without requiring a causally consistent partial order for visibility, and without requiring change or update timestamps for arbitration. In particular, the Eventually Consistent Sharing Model provides fork-join automata based on revision diagrams to track the forking and joining of data versions, thereby tracking updates made to replicas of that data by one or more sources. “Cloud types” are used to define a structure of the shared data that enables fully automatic conflict resolution when updating the shared data. These concepts enable mobile devices (or other computing devices that may periodically go “offline”) to share structured data in cloud-based environments in a manner that provides local data replicas for offline operation while guaranteeing eventually consistent convergence of the data replicas.
摘要翻译： “最终一致共享模型”提供了各种使用“修订图”来确定对共享数据（例如数据，数据库，列表等）进行更改或更新的仲裁和可见性的各种技术，而不需要因果关系一致的部分可见度，而不需要更改或更新仲裁的时间戳。特别地，最终一致共享模型基于修订图提供叉连接自动机，以跟踪数据版本的分支和加入，从而跟踪由一个或多个源对该数据的副本的更新。 “云类型”用于定义共享数据的结构，以便在更新共享数据时实现全自动冲突解决。这些概念使移动设备（或其他可能定期“离线”的计算设备）能够以提供本地数据副本进行脱机操作的方式在基于云的环境中共享结构化数据，同时保证数据副本最终保持一致的收敛。

6. 发明授权

US08392891B2 Technique for finding relaxed memory model vulnerabilities 有权
标题翻译：找到轻松的内存模型漏洞的技术
公开(公告)号：US08392891B2
公开(公告)日：2013-03-05
申请号：US12147079
申请日：2008-06-26
申请人： Sebastian Burckhardt , Madanlal Musuvathi
发明人： Sebastian Burckhardt , Madanlal Musuvathi
IPC分类号： G06F9/46
CPC分类号： G06F9/3842 , G06F9/3834 , G06F9/3851
摘要： A system and method capable of finding relaxed memory-model vulnerabilities in a computer program caused by running on a machine having a relaxed memory model. A relaxed memory model vulnerability in a computer program includes the presence of program executions that are not sequentially consistent. In one embodiment, non-sequentially consistent executions are detected by exploring sequentially consistent executions.
摘要翻译：一种能够在具有放松的存储器模型的机器上运行导致计算机程序中轻松的存储器模型漏洞的系统和方法。计算机程序中轻松的内存模型漏洞包括不顺序一致的程序执行的存在。在一个实施例中，通过探索依次一致的执行来检测非顺序一致的执行。

7. 发明申请

US20120151495A1 SHARING DATA AMONG CONCURRENT TASKS 有权
标题翻译：在同期任务中共享数据
公开(公告)号：US20120151495A1
公开(公告)日：2012-06-14
申请号：US12965070
申请日：2010-12-10
申请人： Sebastian Burckhardt , Daniel Johannes Pieter Leijen , Alexandro Baldassin
发明人： Sebastian Burckhardt , Daniel Johannes Pieter Leijen , Alexandro Baldassin
IPC分类号： G06F9/46
CPC分类号： G06F9/544 , G06F9/466 , G06F9/485 , G06F17/30168
摘要： A “Concurrent Sharing Model” provides a programming model based on revisions and isolation types for concurrent revisions of states, data, or variables shared between two or more concurrent tasks or programs. This model enables revisions of shared states, data, or variables to maintain determinacy despite nondeterministic scheduling between concurrent tasks or programs. More specifically, the Concurrent Sharing Model provides various techniques wherein shared states, data, or variables are conceptually replicated on forks, and only copied or written if necessary, then deterministically merged on joins such that concurrent tasks or programs can work with independent local copies of the shared states, data, or variables while ensuring automated conflict resolution. This model is applicable to a wide variety of system architectures, including applications that execute tasks on a CPU or GPU, applications that run, in full or in part, on multi-core processors without full shared-memory guarantees, and applications that run within cloud computing environments.
摘要翻译： “并发共享模型”提供了基于修订和隔离类型的编程模型，用于在两个或多个并发任务或程序之间共享的状态，数据或变量的并发修订。尽管在并发任务或程序之间进行了非确定性调度，但该模型可以修改共享状态，数据或变量来保持确定性。更具体地说，并发共享模型提供了各种技术，其中共享状态，数据或变量在概念上被复制到叉上，并且仅在必要时被复制或写入，然后确定地合并在联接上，使得并发任务或程序可以与独立的本地副本共享状态，数据或变量，同时确保自动解决冲突。该模型适用于各种系统架构，包括在CPU或GPU上执行任务的应用程序，全部或部分运行在不具有完全共享内存保证的多核处理器上的应用程序，以及运行在云计算环境。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式