Abstract

A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been implemented. The hierarchical structure proved to be vital for the verification of the logical soundness of the design and the correctness of its implementation.

Keywords

Computer multitaskingComputer scienceCorrectnessSoundnessDistributed computingData structureProgramming languageParallel computingTheoretical computer science

Affiliated Institutions

Related Publications

Dryad

Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational "vertices" with communication "ch...

2007 2446 citations

Publication Info

Year
1983
Type
article
Volume
26
Issue
1
Pages
49-52
Citations
176
Access
Closed

External Links

Social Impact

Social media, news, blog, policy document mentions

Citation Metrics

176
OpenAlex

Cite This

Edsger W. Dijkstra (1983). The structure of “THE”-multiprogramming system. Communications of the ACM , 26 (1) , 49-52. https://doi.org/10.1145/357980.357999

Identifiers

DOI
10.1145/357980.357999