A Strict occam Design Tool
A Strict occam Design Tool
复制标题
严格的occam设计工具
DOI：
10.1007/978-1-4471-1504-5_5
复制
发表时间：
1996
影响因子：
11.2
通讯作者：
P. Welch
中科院分区：
文献类型：
--
作者：
D. Beckett;P. Welch
本文介绍了一种用于构建多进程系统的图形设计工具，该工具能确保系统无死锁、活锁和饥饿现象。该工具严格针对基于CSP/occam同步消息传递模型的实现，包括用Occam语言本身编程的系统、C语言的各种并行扩展（最初是为Transputer开发的）、SuperPascal以及MPI的一个子集。该工具实现了多种设计范式的混合，其同步特性表现良好且易于分析，只允许构建安全的进程网络。该工具的Occam绑定针对直接源自该语言的“线程不安全”设计提供了进一步的保障。本文给出了这项工作的背景、设计工具的方法以及一个使用示例。
This paper presents a graphical design tool for the construction of multiprocess systems that are guaranteed free from deadlock, livelock and starvation. The tool is strictly targeted to implementations based upon the CSP/occam synchronised message passing model, which includes systems programmed in Occam itself, various parallel extensions to C (originally developed for the transputer), SuperPascal and a subset of MPI. The tool implements a mix of design paradigms whose synchronisation properties are well-behaved and easy to analyse, allowing only safe process networks to be built. The Occam binding of the tool provides further guarantees against ‘thread-unsafe’ designs that are derived directly from the language. This paper gives the background to the work1, the design tool methodology and an example of its use.