The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial
The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial
复制标题
并行过程的 Pomset 模型：统一时间和空间
DOI：
10.1007/3-540-15670-4_9
复制
发表时间：
1984
期刊：
影响因子：
--
通讯作者：
V. Pratt
中科院分区：
文献类型：
--
作者：
V. Pratt
我们的pomset模型的前身是Kahn的网络历史转换模型[Kah 74，KaM 77]，其中一个过程被视为从n-tnptes历史到历史的函数，其中历史是一个值序列。网络的每个连接或通道都与这样的历史相关联。卡恩的模型是功能性的而不是关系性的，只适合确定的过程。这样做的优点是可以简化最小不动点分析，缺点是排除了像合并过程这样的基本过程。Brock-Ackerman异常[BA 81]表明，在推广Kahn模型以处理不确定过程方面，需要更多的理论。Brock和Ackemaan展示了如何通过包含不同通道上事件之间的排序信息来扩展Kahn的模型。pomset模型是由本作者[Pra 82]介绍的。它的目的是作为一个理论框架的Brock-Ackcrman扩展卡恩的模型。然而，并发模型的主题在最近几年特别活跃，其不可避免的后果是任何给定的观点都会迅速老化。因此，本文描述了我们的原始模型，但从一个更当前的角度。
The progenitor of our pomset model is Kahn's history-transformer model of nets [Kah74, KaM77], in which a process is viewed as a function from n-tnptes of histories to histories, where a history is a sequence of values. Each connection or channel of the net is associated with such a history. Kahn's model, being functional rather than relational, only caters for determinate processes. This has the advantage of permitLing a straightforward least-fixed-point analysis, and the disadvantage of excluding such basic processes as the merge process. The Brock-Ackerman anomaly [BA81] demonstrates the need for something more th~ hi~ ories in extending Kahn's model to treat nondeterminate processes. Brock and Ackemaan show how to extend Kahn's model by inclusion of ordering information between events on different channels.The pomset model was introduced by the present author [Pra82]. It is intended as a theoretical framework for the Brock-Ackcrman extension of Kahn's model. However the topic of models of concurrency has been particularly active in recent yeai~, with the inevitable consequence that any given viewpoint ages rapidly. Thus the present paper'descdbes our original model but from a more current perspective.