Modularization and hierarchy in a family of operating systems
Communications of the ACM
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
The System Language for Project SUE
Proceedings of the SIGPLAN symposium on Languages for system implementation
Report on the programming language Euclid
ACM SIGPLAN Notices
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
We take the view that operating systems should not be written in assembly language. Alternatives are machine oriented high-level languages and “safe” languages in the style of Concurrent Pascal and MODULA. A serious drawback of the Concurrent Pascal approach is the fact that those very language features that pertain to operating systems must be implemented separately, using some other language. A technique is presented which solves this problem. This technique is based on user-defined trap handling. It is exhibited by demonstrating how virtual memory systems can be constructed using Concurrent Pascal and how process management can be moved from the kernel to the Concurrent Pascal program. We demonstrate that a fundamental solution of the difficulties with Concurrent Pascal, MODULA, and similar languages cannot be found in going back to classical implementation languages, but in designing languages that are not rich with special features, but powerful with respect to extension and shrinkage.