Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Reflections on an operating system design
Communications of the ACM
Communications of the ACM
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
The architecture of concurrent programs
The architecture of concurrent programs
The Cambridge CAP computer and its protection system
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Process synchronization by counter variables
ACM SIGOPS Operating Systems Review
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
PROGRAM STRUCTURE IN A MULTI-ACCESS COMPUTER
PROGRAM STRUCTURE IN A MULTI-ACCESS COMPUTER
Implications of a virtual memory mechanism for implementing protection in a family of operating systems
Report on the programming language Euclid
ACM SIGPLAN Notices
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
| Hi-index | 0.00 |
A computer system designed to support operating system facilities is formally specified. With the proposed technology, an operating system in the conventional sense of the word becomes superfluous. Instead, the facilities supported by e.g. a general-purpose operating system may be implemented as applications of the proposed computer system. This is made possible by the ability of the proposed system to support data abstraction rather than procedural abstraction as supported by conventional systems. The design is revolutionary in the integration of "processing" and "filing", as supported by the conventional systems "process" and "file" concepts. This is achieved by supporting a single system object, the "domain", which is an extension of the domain concept known in a number of systems. The capability concept will enable domains to reference each other in a network-like structure.A rationale for the use of data abstraction in operating systems can be found in [Madsen 79b].