See this document in CiteSeerX!

Threads and Input/Output in the Synthesis Kernel (1995)  (Make Corrections)  (74 citations)
Henry Massalin, Calton Pu
ACM Operating Systems Review, SIGOPS



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
berkeley.edu/projects...synthesis.ps.gz
berkeley.edu/~brewer/c...massalinpu.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  berkeley.edu/projects/os...papers (more)
From:  cornell.edu/cs614sp98...Readings
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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