We present the design of a small but efficient computer system, a software simulator with a graphical user interface, and supporting software designed to integrate the educational experience of students taking courses in Computer Organization and Architecture, Operating Systems, and Compiler Design. We demonstrate the essential links among these three areas of Computer Science, and discuss how ...

Introduction In the business management theory of constraints, throughput is the rate at which a system achieves its purpose. For a hospital the purpose or “aim of the system”, as W. Edward Deming refers to it, is to deliver quality patient care as efficiently as possible. Unfortunately, the fragmentation of a hospital’s activities across departmental operational silos propagates waste, comprom...

Applications must be able to synchronize accesses to operating system resources in order to ensure correctness in the face of concurrency and system failures. System transactions allow the programmer to specify updates to heterogeneous system resources with the OS guaranteeing atomicity, consistency, isolation, and durability (ACID). System transactions efficiently and cleanly solve persistent ...

The following contains a description of the principles and techniques used in a modular operating system being implemented at the National Physical Laboratory. The computer being used is a KDF9 with 32K words of core store and a disc file. The system provides a time-sharing and file handling capacity as well as the usual services to users.

Many modern systems, including web servers, database engines, and operating system kernels, are using language-based protection mechanisms to provide the safety and integrity traditionally supplied by hardware. As these language-based systems become used in more demanding situations, they are faced with the same problems that traditional operating systems have solved—namely shared resource mana...

This paper gives an overview of educational operating system called COLIBROS. It is small, object oriented, library operating system, based on micro-kernel concepts, supporting high level concurrency and synchronization primitives. In fact, COLIBROS is simplified operating system kernel accompanied with hardware emulation layer that emulates keyboard, monitor, disk and interrupt mechanism. A co...

A confined program is one which is unable to leak information to an unauthorized party or modify unauthorized resources. Confinement is an essential feature of any secure component-based system. This paper presents a proof of correctness of the EROS operating system architecture with respect to confinement. We give a formal statement of the requirements, construct a model of the architecture’s ...