A multiprocessor description language

Authors:
William T. Overman;Stephen D. Crocker;Vittal Kini
Affiliations:
USC/Information Sciences Institute, Marina del Rey, California;USC/Information Sciences Institute, Marina del Rey, California;USC/Information Sciences Institute, Marina del Rey, California
Venue:
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Year:
1981

Citing 3
Cited 0

Abstraction mechanisms in CLU

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
A note on reliable full-duplex transmission over half-duplex links

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

A language for describing multiprocessor systems is presented. The language, called MPDL, provides a flexible and unambiguous model of concurrency and allows for hierarchical construction of concurrent systems. MPDL encourages the user to encapsulate interprocess synchronization and communication in a special component called a connector. This encapsulation helps facilitate multilevel modeling and abstraction of communication protocols. A simulator for the language has been implemented and is running at ISI. This paper describes MPDL and evaluates the language in terms of two examples.