Walter M. Carlson
Pages 131-132
Brian Randell
Pages 133-134
TENEX is a new time sharing system implemented on a DEC PDP-10 augmented by special paging hardware developed at BBN. This report specifies a set of goals which are important for any time sharing system. It describes how the
…
Daniel G. Bobrow, Jerry D. Burchfiel, Daniel L. Murphy, Raymond S. Tomlinson
Pages 135-143
The Venus Operating System is an experimental multiprogramming system which supports five or six concurrent users on a small computer. The system was produced to test the effect of machine architecture on complexity of software …
Barbara H. Liskov
Pages 144-149
An operating system which is organized as a small supervisor and a set of independent processes are described. The supervisor handles I/O with external devices—the file and directory system—schedules active processes and manages …
R. Stockton Gaines
Pages 150-156
Protection of computations and information is an important aspect of a computer utility. In a system which uses segmentation as a memory addressing scheme, protection can be achieved in part by associating concentric rings of …
Michael D. Schroeder, Jerome H. Saltzer
Pages 157-170
Formalization of a well-defined synchronization mechanism can be used to prove that concurrently running processes of a system communicate correctly. This is demonstrated for a system consisting of many sending processes which …
A. Nico Habermann
Pages 171-176
Five well-known scheduling policies for movable head disks are compared using the performance criteria of expected seek time (system oriented) and expected waiting time (individual I/O request oriented). Both analytical and simulation …
Toby J. Teorey, Tad B. Pinkerton
Pages 177-184
Both fixed and dynamic storage partitioning procedures are examined for use in multiprogramming systems. The storage requirement of programs is modeled as a stationary Gaussian process. Experiments justifying this model are described …
E. G. Coffman, Thomas A. Ryan
Pages 185-190
A program's working set
W(
t, T) at time
t is the set of distinct pages among the
T most recently referenced pages. Relations between the average working-set size, the missing-page rate, and the interreference-interval distribution …
Peter J. Denning, Stuart C. Schwartz
Pages 191-198
Page 203
