The Synthesis kernel (1988)
Cached
Download Links
- [www.usenix.org.]
- [cse.ogi.edu]
- [www.cs.berkeley.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | Computing, Springer Verlag (Heidelberg, FRG and NewYork NY, USA)-Verlag Systems |
| Citations: | 95 - 17 self |
BibTeX
@ARTICLE{Pu88thesynthesis,
author = {Calton Pu and Henry Massalin and John Ioannidis},
title = {The Synthesis kernel},
journal = {Computing, Springer Verlag (Heidelberg, FRG and NewYork NY, USA)-Verlag Systems},
year = {1988}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ABSTRACT: The Synthesis distributed operating system combines efficient kernel calls with a highlevel, orthogonal interface. The key concept is the use ofa code synthesizer in the kernel to generate specialized (thus short and fast) kernel routines for specifrc situations. We have three methods of synthesizing code: Factoring Invariants to bypass redundant computations; Collapsing Layers to eliminate unnecessary procedure calls and context switches; and Executable Data Structures to shorten data structure traversal time. Applying these methods, the kernel call synthesized to read /dev/mem takes about l5 microseconds on a 6g020 machine. A simple model of computation called a synthetic machine supports parallel and distributed
