(Enter summary)
Abstract: The Synthesis kernel [21, 22, 23, 27, 28] showed that dynamic code generation, software feedback, and fine-grain modular kernel organization are useful implementation techniques for improving the performance of operating system kernels. In addition, and perhaps more importantly, we discovered that there are strong interactions between the techniques. Hence, a careful and systematic combination of the techniques can be very powerful even though each one by itself may have serious limitations. By ... (Update)
Cited by: More
Implementing Multi-stage Languages Using ASTs, Gensym.. - Calcagno, Taha, Huang, ..
(Correct)
Non-Blocking Synchronization and Object-Oriented Operating System .. - Ananian
(Correct)
Objects to the Rescue! or httpd: the next generation operating .. - Black, Walpole (1995)
(Correct)
Similar documents (at the sentence level):
6.8%: A Retrospective Study of the Synthesis Kernel - Calton Pu
(Correct)
Active bibliography (related documents): More All
0.9: Microlanguages for Operating System Specialization - Pu (1997)
(Correct)
0.5: Partial Evaluation: Principles and Perspectives - Consel, Danvy (1993)
(Correct)
0.5: Threads and Input/Output in the Synthesis Kernel - Massalin, Pu (1995)
(Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.1: Incremental Partial Evaluation: The Key to High.. - Consel, Pu, Walpole (1993)
(Correct)
0.0: A Software Feedback Toolkit and its Application in Adaptive.. - Cen (1997)
(Correct)
0.0: Feedback-based Dynamic Proportion Allocation for Disk I/O - Revel, McNamee, Pu.. (1999)
(Correct)
Related documents from co-citation: More All
11: Multi-stage programming with explicit annotations
- Taha, Sheard - 1997
10: A general approach for run-time specialization and its application to C
- Consel, Noel - 1996
9: A temporal-logic approach to binding-time analysis
- Davies - 1995
BibTeX entry: (Update)
Calton Pu and Jonathan Walpole. A study of dynamic optimization techniques: Lessons and directions in kernel design. Technical Report OGI-CSE-93-007, Oregon Graduate Institute of Science and Technology, 1993. http://citeseer.ist.psu.edu/pu93study.html More
@techreport{ pu93:study,
author = {Calton Pu and Jonathan Walpole},
title = {A Study of Dynamic Optimization Techniques: Lessons
and Directions in Kernel Design},
institution = {Oregon Graduate Institute of Science and Technology},
year = 1993,
number = {OGI-CSE-93-007},
address = {Portland, OR},
month = apr,
url = {citeseer.ist.psu.edu/pu93study.html},
url = {http://citeseer.nj.nec.com/pu93study.html} }
Citations (may not include all citations):
444
Mach: A new kernel foundation for Unix development (context) - Accetta, Baron et al. - 1986
223
A binary feedback scheme for congestion avoidance in compute..
- Ramakrishnan, Jain - 1990
206
Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
164
distributed system (context) - Cheriton - 1988
120
Overview of the chorus distributed operating system
- Rozier, Abrossimov et al. - 1992
92
IEEE Transactions on Software Engineering (context) - Black, Hutchinson et al. - 1987
75
ACM Transactions on Computer Systems (context) - O'Malley, Peterson et al. - 1992
74
Threads and input/output in the Synthesis kernel
- Massalin, Pu - 1989
74
Transactional memory: Architectural support for lock-free da..
- Herlihy, Moss - 1993
65
Binding time analysis for higher order untyped functional la.. (context) - Consel - 1990
65
Computing Systems (context) - Pu, Massalin et al. - 1988
39
Microkernel operating system architecture and mach (context) - Black, Golub et al. - 1992
34
An architecture for an open compiler
- Lamping, Kiczales et al. - 1992
31
Department of Computer Science (context) - Matthews, tcp et al. - 1991
29
A reflective architecture for an object-oriented distributed..
- Yokote, Teraoka et al. - 1989
24
software trade-offs for bitmap graphics on the blit (context) - Pike, Locanthi et al. - 1985
10
Incremental partial evaluation: The key to high performance
- Consel, Pu et al. - 1993
9
and distributed systems (context) - Dave, Sefika et al. - 1992
8
Quaject composition in the Synthesis kernel
- Pu, Massalin - 1991
7
Basic concepts for the support of distributed systems: the C.. (context) - Zimmermann, Banino et al. - 1981
6
Efficient Implementation of Fundamental Operating System Ser.. (context) - Massalin - 1992
4
Adaptive scheduling algorithms that satisfy average response.. (context) - Georgiadis, Nikolaou - 1989
4
Practical examples of reificationand reflection in c (context) - Madany, Kougiouris et al. - 1992
4
A model for persistent shared memory addressing in distribut..
- Amaral, Lea et al. - 1992
3
Reimplementing the Synthesis kernel (context) - Massalin, Pu - 1992
3
A second-generation micro-kernel based unix: Lessons in perf.. (context) - Guillemont, Lipkis et al. - 1991
2
SUN Microsystems Source License (context) - SUNOS, source - 1988
2
Oregon Graduate Institute of Science and Technology (context) - Consel, Schism' et al. - 1992
2
Computing Systems (context) - Campbell, Islam et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/cse.ogi.edu.html): More
A Meta-theory for Structured Presentations in the COC - Shulman (1997)
(Correct)
Learning in Compositional Hierarchies: Inducing the Structure of.. - Utans (1994)
(Correct)
When-clauses, Adverbs of quantification, and Focus - Johnston
(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