A process-oriented architecture for complex system modelling
A process-oriented architecture for complex system modelling
复制标题
用于复杂系统建模的面向过程的架构
DOI：
10.1002/cpe.1433
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Ritson C
中科院分区：
文献类型：
--
作者：
Ritson C
提出了一种用于复杂系统建模的细粒度大规模并行和面向过程的体系结构。我们认为模型中的并发性通过直接反映自然世界的过程来简化其设计和构造。该架构基于 CSP，并通过 pi 演算的进程移动性机制进行了扩展；使用 occam-pi 语言提供实现。描述了一个案例研究，对血管内的血小板（可能是人造的）进行建模。该模型的目的是设计紧急行为：响应血管壁伤口的血小板凝结和止血。构建了三维模型以及可视化和交互机制。其表现力和效率很大程度上依赖于 occam-pi 的动态和移动能力。制定了大型复杂系统模型设计的一般原则。所描述的案例研究涉及数百万个参与不断变化的通信拓扑的进程。它在设计上没有死锁、活锁、竞争危险和饥饿，采用了我们已经证明安全定理的一小组同步模式。编译后的 occam-π 代码自动有效地利用共享内存多处理器系统中的所有内核。它们也可以直接通过标准集群架构进行分发。版权所有 © 2007 CG Ritson 和 PH Welch。
A fine‐grained massively parallel and process‐oriented architecture for the modelling of complex systems is presented. We propose that the concurrency in the model simplifies its design and construction by directly reflecting the processes in the natural world. The architecture is based on CSP, extended with mechanisms for process mobility from the pi‐calculus; implementations are presented using the occam‐pi language. A case study, modelling platelets (possibly artificial) within a blood vessel, is described. The aim for this model is to engineer emergent behaviour: the clotting of platelets in response to a wound in the blood vessel wall and the staunching of blood loss. A three‐dimensional model is constructed, along with mechanisms for visualization and interaction. Its expressiveness and efficiency relies strongly on the dynamic and mobile capabilities of occam‐pi. General principles for the design of large and complex system models are drawn. The described case study runs to millions of processes engaged in ever‐changing communication topologies. It is free from deadlock, livelock, race hazards and starvationby design, employing a small set of synchronization patterns for which we have proven safety theorems. Compiled occam‐π codes automatically and efficiently exploit all cores in a shared‐memory multiprocessor system. They are also straightforward to distribute over standard cluster architectures. Copyright © 2007 CG Ritson & PH Welch.