(Enter summary)
Abstract: The Synthesis operating system kernel combines several techniques
to provide high performance, including kernel code synthesis, fine-grain
scheduling, and optimistic synchronization. Kernel code synthesis reduces
the execution path for frequently used kernel calls. Optimistic synchronization
increases concurrency within the kernel. Their combination results
in significant performance improvement over traditional operating
system implementations. Using hardware and software emulating a SUN
3/160 ... (Update)
Context of citations to this paper: More
...Manual specialization. In a first step, operating systems specialization has been performed manually in experiments such as Synthesis [28, 21], and Synthetix [27] Manual specialization, however, tends to compromise other system properties such as maintainability and...
...optimistic synchronisation methods can employed. Such an approach has been found to work well in the Synthesis oper95 ating system [Massalin89]. As with access to immutable data, the details of the mechanism can be hidden with a surrogate object. 5.4.4 Timed Critical Sections...
Cited by: More
A Static Power Model for Architects - Butts, Sohi (2000)
(Correct)
A General Approach for Run-Time Specialization and its.. - Consel, al. (1995)
(Correct)
Aspect-Oriented Programming - Kiczales, Lamping, Mendhekar, Maeda, .. (1997)
(Correct)
Similar documents (at the sentence level):
5.5%: Synthesis: An Efficient Implementation of Fundamental Operating.. - Massalin (1992)
(Correct)
Active bibliography (related documents): More All
0.5: A Study of Dynamic Optimization Techniques: Lessons and.. - Pu, Walpole (1993)
(Correct)
0.3: Automatic Compiler-Inserted Prefetching for Pointer-Based.. - Luk, Mowry (1999)
(Correct)
0.3: Compiler-Based Prefetching for Recursive Data Structures - Luk (1996)
(Correct)
Similar documents based on text: More All
0.2: Frugality in Reasoning and the Role of Summary - Aisbett, Gibbon (1998)
(Correct)
0.1: A Lock-Free Multiprocessor OS Kernel - Massalin, Pu (1991)
(Correct)
0.1: Reimplementing the Synthesis Kernel on the Sony NeWS Workstation - Massalin (1992)
(Correct)
Related documents from co-citation: More All
16: Scheduler Activations: Effective Kernel Support for the User-Level Management of..
- Anderson, Bershad et al. - 1992
12: safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
12: Computing Systems (context) - Pu, Massalin et al. - 1988
BibTeX entry: (Update)
Henry Massalin and Calton Pu. Threads and input/output in the Synthesis kernel. In Proceedings of the 12th ACM Symposium on Operating Systems Principles, pages 191--201, 1989. http://citeseer.ist.psu.edu/massalin95threads.html More
@inproceedings{ massalin89threads,
author = "H. Massalin and C. Pu",
title = "Threads and input/output in the Synthesis kernel",
booktitle = "Proceedings of the 12th {ACM} Symposium on Operating Systems Principles ({SOSP})",
journal = "ACM Operating Systems Review, SIGOPS",
volume = "23",
number = "5",
pages = "191--201",
year = "1989",
url = "citeseer.ist.psu.edu/massalin95threads.html" }
Citations (may not include all citations):
98
Bach: an eternal golden braid (context) - Hofstadter, Escher - 1979
65
Computing Systems (context) - Pu, Massalin et al. - 1988
10
Hydra: The kernel of a multiprocessing operating system (context) - Wulf, Cohen et al. - 1974
6
Department of Computer Science (context) - Pu, Massalin et al.
4
Fine-grain scheduling (context) - Massalin, Pu - 1989
3
Fast fits (context) - Stephenson - 1983
2
SUN Microsystems Source License (context) - SUNOS, source - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://guir.cs.berkeley.edu/projects/osprelims/papers.html): More
The Design and Implementation of a Log-Structured File System - Rosenblum, Ousterhout (1991)
(Correct)
An Introduction to Programming with Threads - Birrell (1989)
(Correct)
Cooperative Caching: Using Remote Client Memory to.. - Dahlin, Anderson.. (1994)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC