An overview is given of the incremental architecture for distributed systems (INCAS) multicomputer project, which is an attempt to develop a comprehensive methodology for the design and implementation of locally distr...
详细信息
An overview is given of the incremental architecture for distributed systems (INCAS) multicomputer project, which is an attempt to develop a comprehensive methodology for the design and implementation of locally distributed systems. A structuring concept for distributed operating systems has been created and integrated into the system implementation language LADY. The concurrent high-level programming language CSSA, based on the actor model, has been designed for implementing distributed applications. A substantial effort in the INCAS project is aimed at the development of a distributed test methodology. An experimental system has been implemented on a system of 10 MC68000 microcomputers. Preliminary experience with the methodology has been gained from a few prototype applications.
An overview is presented of a distributedprogramming language called Communicating Sequential Modules (CSM), intended to support distributed computing. The language is developed from Modula-2 and communicating seque...
详细信息
An overview is presented of a distributedprogramming language called Communicating Sequential Modules (CSM), intended to support distributed computing. The language is developed from Modula-2 and communicating sequential processes (CSP). From CSP, the language has inherited parallel commands, guarded commands, and communication commands, and from Modula-2, it has inherited most of the rest, including the important module concept. CSM has been implemented on the ZCZ distributed microcomputer system consisting of several LSI-11 microcomputers. Its language is easy to understand. The CSM compiler is composed of a modified Modula-2 compiler and a translator, which is written in Modula-2 with a size of about 2,100 lines. Examples tested show that CSM is an effective tool for distributing programming.
This paper presents an overview of GCP (Guarded Communicating Processes), a language for distributed applications programming, which has been defined deriving its control mechanisms from Hoare's CSP (with new comm...
详细信息
ISBN:
(纸本)9780897911542
This paper presents an overview of GCP (Guarded Communicating Processes), a language for distributed applications programming, which has been defined deriving its control mechanisms from Hoare's CSP (with new communication primitives and a new distributed termination convention) and embedding them in a fully defined concurrent programming language. Besides an easy retargetable compiler the GCP environment consists of a configurator/distributor to distribute and activate the processes constituting an application and of a run-time support.
暂无评论