Asynchronous and deterministic objects
Asynchronous and deterministic objects
复制标题
异步和确定性对象
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Bernard P. Serpette
中科院分区：
文献类型：
--
作者：
D. Caromel;L. Henrio;Bernard P. Serpette
本文旨在在并发过程中提供汇合和确定性属性，更具体地说是在面向对象的系统的范式中。这样的结果应允许一个人以确定性方式进行平行和分布式应用程序，即使它们是在本地或广域网络上分发的。为此，提出了一个对象积分。它的关键特征是与未来的异步通信，并在每个过程中进行顺序执行。虽然以前的大多数作品仅在特定程序或程序模式上显示汇合属性，但此处介绍了汇合的一般条件。实践进一步展示了典型示例的确定性行为。
This paper aims at providing confluence and determinism properties in concurrent processes, more specifically within the paradigm of object-oriented systems. Such results should allow one to program parallel and distributed applications that behave in a deterministic manner, even if they are distributed over local or wide area networks. For that purpose, an object calculus is proposed. Its key characteristics are asynchronous communications with futures, and sequential execution within each process.While most of previous works exhibit confluence properties only on specific programs -- or patterns of programs, a general condition for confluence is presented here. It is further put in practice to show the deterministic behavior of a typical example.