The structure of the “THE”-multiprogramming system

@article{Dijkstra1968TheSO,
  title={The structure of the “THE”-multiprogramming system},
  author={Edsger W. Dijkstra},
  journal={Commun. ACM},
  year={1968},
  volume={11},
  pages={341-346}
}
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. 
Reasoning about locks and transactions in concurrent programs
TLDR
Novel techniques for reasoning about the dynamic and static semantics of concurrent programs that use locks and transactions to isolate accesses to shared memory are presented and guaranteed transactions are presented which are a safer alternative to locks and the privatisation/publication idioms for specific scenarios. Expand
SCOPE: Scalable Clustered Objects with Portable Events
TLDR
This thesis explores a user-level abstraction based on clustered objects which increases hardware utilization without requiring any customization of the underlying system, Scalable Clustered Objects with Portable Events or SCOPE. Expand
Managing the dynamism of the OSGi Service Platform in real-time Java applications
TLDR
This paper proposes to delay reconfigurations for after critical processing, according to Service Level Agreements established between service providers and consumers, as an extension to the iPOJO component model which freezes application's architecture and avoids introducing unpredictability caused by runtime adaptation during real-time applications' execution. Expand
Semaphores , Are They Really Like Traffic Signals ?
Semaphores are software mechanisms designed to synchronize processes. The name seems to recall a traffic signal but diversely from the original idea behind them, different implementations can beExpand
Practical Architectures for Survivable Systems and Networks: Phase-One Final Report
Abstract : This report summarizes the analysis of survivability-related requirements and their interdependence. It also identifies inadequacies in existing commercial systems and the absence ofExpand
Program graphs, an algebra, and their implication for programming
  • M. Paige
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1975
TLDR
A systematic methodology for partitioning a program graph (digraph) to highlight the relationships between program elements is introduced along with an attendant notation. Expand
A Control Structure for Parallel Processing
  • S. Shastry
  • Mathematics, Computer Science
  • Sagamore Computer Conference
  • 1974
TLDR
A control structure for the control of parallel processors such that at most one of the processors is engaged in its ‘critical section’ at any instant and if a processor wants to enter a critical section it is eventually allowed to do so. Expand
Node Interaction in 802.11 based networks with boolean interference
TLDR
Interaction between nodes in a more complex setting, where nodes may only hear parts of the network is discussed, using a Markov process that keeps track of the activity of nodes. Expand
Use of tabular expressions in the inspection of concurrent programs
TLDR
This paper aims to provide a chronology of the events leading up to and including the publication of this book and some of the key events that led to its publication. Expand
ESOPE : Une étape de la Recherche Française en Systèmes d'Exploitation (1968-1972)
Cet article retrace l’histoire d’Ésope, un projet de système d’exploitation en temps partagé, mené à l’IRIA entre 1968 et 1972. Il présente la place d’Ésope dans le contexte national et internationalExpand
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
The structure of the “the”-multiprogramming system
TLDR
A multiprogramming system is described in which all activities are divided over a number of sequential processes, in each of which one or more independent abstractions have been implemented. Expand
Additional information from: http://en.wikipedia.org/wiki/THE_(operating_sys tem) ● Pictures from
  • Additional information from: http://en.wikipedia.org/wiki/THE_(operating_sys tem) ● Pictures from
Animations for Operating Systems, Sixth Edition by William Stallings, available at http:// williamstallings.com/OS/Animation/Animations
  • Animations for Operating Systems, Sixth Edition by William Stallings, available at http:// williamstallings.com/OS/Animation/Animations