Henry Massalin  Home/Search
Context Related
Links: ACM | columbia.edu/report...cucs03992.ps.gz columbia.edu/~libra...cucs03992.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: columbia.edu (more) From: columbia.edu/~library/1992 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This dissertation shows that operating systems can provide fundamental services an order of magnitude more efficiently than traditional implementations. It describes the implementation of a new operating system kernel, Synthesis, that achieves this level of performance. The Synthesis kernel combines several new techniques to provide high performance without sacrificing the expressive power or security of the system. The new ideas include: ffl Run-time code synthesis --- a systematic way of... (Update)
Context of citations to this paper: More
.... time code generation (RTCG) for performance improvement was by Calton Pu and Henry Massalin in the Synthesis kernel [124, 125, 122, 106, 107, 105, 123, 104, 108]. The Synthesis kernel used RTCG to optimize frequently used kernel routines queues, buffers, context switchers,...
.... as use of adaptive languages [Palsberg, 95] meta object protocols [Kiczales, 91] run time modification through partial evaluation [Massalin, 92] and object framework support [Banerji, 93a] can all be applied to various degrees. There are a few caveats, however, which are...
Cited by: More
Optimizing ML with Run-Time Code Generation - Detex Paper Wc (Correct)
Evaluation of a Zero-Copy Protocol Implementation - Karl-Andre Skevik Thomas (2001) (Correct)
A Lock-Free Approach to Object Sharing in Real-Time Systems - Ramamurthy (1997) (Correct)
Active bibliography (related documents): More All
1.3: The Synthesis Kernel - Pu, Massalin, Ioannidis (1988) (Correct)
0.6: Reimplementing the Synthesis Kernel on the Sony NeWS Workstation - Massalin (1992) (Correct)
0.3: The Exokernel Operating System Architecture - Engler (1998) (Correct)
Similar documents based on text: More All
0.1: Practical Considerations for Non-Blocking Concurrent Objects - Bershad (1993) (Correct)
0.1: DCAS-Based Concurrent Deques - Agesen, Detlefs, Flood, Garthwaite.. (2000) (Correct)
0.1: Fast Convolution with Packed Lookup Tables - Wolberg, Massalin (1994) (Correct)
Related documents from co-citation: More All
13: retargetable dynamic code generation system (context) - Engler, Proebsting et al. - 1994
12: Lightweight run-time code generation - Leone, Lee - 1994
11: The BSD packet filter: A new architecture for userlevel packet capture - McCanne - 1993
BibTeX entry: (Update)
Henry Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services. PhD thesis, Department of Computer Science, Columbia University, 1992. http://citeseer.ist.psu.edu/massalin92synthesi.html More
@phdthesis{ massalin92synthesis,
author = "H. Massalin",
title = "Synthesis: {An} Efficient Implementation of Fundamental Operating System Services",
year = "1992",
url = "citeseer.ist.psu.edu/massalin92synthesi.html" }
Citations (may not include all citations):444 Mach: A New Kernel Foundation for Unix Development (context) - Accetta, Baron et al. - 1986 DBLP
304 Scheduler Activations: Effective Kernel Support for the User.. - Anderson, Bershad et al. - 1991 DBLP
181 ACM Transactions on Programming Languages and Systems (context) - Herlihy - 1991
176 Why Aren't Operating Systems Getting Faster as Fast as Hardw.. - Ousterhout - 1990
173 The Unix Time-Sharing System - Ritchie, Thompson - 1974 ACM DBLP
167 Dimensions of Object-Based Language Design (context) - Wegner - 1987 ACM DBLP
152 Operating System Support for Database Management (context) - Stonebraker - 1981 ACM DBLP
148 Object Structure in the Emerald System (context) - Black, Hutchinson et al. - 1986 ACM DBLP
115 First-Class User-Level Threads - Marsh, Scott et al. - 1991 ACM
102 Scheduling Support for Concurrency and Parallelism in the Ma.. - Black - 1990 ACM DBLP
100 Using Continuations to Implement Thread Management and Commu.. - Draves, Bershad et al. - 1991 ACM DBLP
98 Mix: A Self-Applicable Partial Evaluator for Experiments in .. (context) - Jones, Sestoft et al. - 1989 DBLP
74 Threads and Input/Output in the Synthesis Kernel - Massalin, Pu - 1989 DBLP
74 Misconceptions About Real-Time Computing: A Serious Problem .. (context) - Stankovic - 1988
49 The Portable Common Runtime Approach to Interoperability (context) - Weiser, Demers et al. - 1989 ACM DBLP
42 Comparison of Hardware and Software Cache Coherence Schemes - Adve, Adve et al. - 1991 ACM DBLP
39 An Introduction to Operating Systems (context) - Deitel - 1989
34 A Case for Runtime Code Generation (context) - Keppel, Eggers et al. - 1991
30 Evaluating the Performance of Software Cache Coherence (context) - Owicki, Agarwal - 1989 ACM DBLP
29 SunOS Reference Manual (context) - Incorporated, Avenue et al. - 1988
27 An Open Environment for Building Parallel Programming System.. (context) - Bershad, Lazowska et al. - 1988 DBLP
17 The Synthesis Kernel - Pu, Massalin et al. - 1988 DBLP
10 Hydra: The Kernel of a Multiprocessing Operating System (context) - Wulf, Cohen et al. - 1974
10 An Experiment Using Registers for Fast Message-Based Interpr.. (context) - Cheriton - 1984 ACM DBLP
9 Probabilistic Clock Synchronization (context) - Christian - 1988 DBLP
6 BSD as Examples of the Unix System (context) - Quarterman, Silberschatz et al. - 1985
6 The Evolution of Unix System Performance (context) - Feder - 1984
3 A Priority Ceiling Protocol for Multiple-Instance Resources (context) - Chen, Lin - 1991
2 The Cooper Union for the Advancement of Science and Art (context) - Arleth, multiuser et al. - 1984
2 The Cooper Union for the Advancement of Science and Art (context) - Massalin, Multitasking et al. - 1984
1 Technical Report CSTR (context) - Pike, Presotto et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.columbia.edu.html): More
Interfacing Oz with the PCTE OMS - Lee, Kaiser (1996) (Correct)
An Architecture for WWW-based Hypercode Environments - Kaiser, Dossick, Jiang, Yang (1996) (Correct)
Incremental Process Support for Code Reengineering: An .. - Kaiser, Heineman.. (1996) (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