Andrea a C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Nathan C. Burnett, Timothy E. Denehy, Thomas J. Engle, Haryadi S. Gunawi, James A. Nugent, Florentina I. Popovici  @ NUS Home/Search
Context Related
| wisc.edu/wind/Publ...sp03infokernel.ps Cached: PS.gz PS PDF Image Update Help From: wisc.edu/wind/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe an evolutionary path that allows operating systems to be used in a more flexible and appropriate manner by higher-level services. An infokernel exposes key pieces of information about its algorithms and internal state; thus, its default policies become mechanisms, which can be controlled from user-level. We have implemented two prototype infokernels based on the Linux 2.4 and NetBSD 1.5 kernels, called infoLinux and infoBSD, respectively. The infokernels export key abstractions as... (Update)
Cited by: More
Unifier: Unifying Cache Management and Communication.. - Wu, Wyckoff, Panda, Ross (2004) (Correct)
Trace-Based Analyses and Optimizations for Network Storage Servers - Ellard (2004) (Correct)
Active bibliography (related documents): More All
0.5: Real-Time Scheduling of Tertiary Storage - Lijding (2003) (Correct)
0.5: Measuring Packet Reordering - Bellardo, Savage (2002) (Correct)
0.4: Preemptive RAID Scheduling - Zoran Dimitrijevi Zoran (Correct)
Similar documents based on text: More All
1.9: Transforming Policies into Mechanisms with Infokernel - Arpaci-Dusseau.. (2003) (Correct)
0.4: Deconstructing Storage Arrays - Timothy Denehy John (2004) (Correct)
0.2: Bridging the Information Gap in Storage Protocol Stacks - Denehy, Arpaci-Dusseau.. (2002) (Correct)
Related documents from co-citation: More All
3: Information and control in gray-box systems - Arpaci-Dusseau, Arpaci-Dusseau - 2001
3: Supporting Efficient Noncontiguous Access in PVFS over InfiniBand - Wu, Wyckoff et al. - 2003
2: Exokernel: an operating system architecture for application-specif ic resource m.. - Engler, Kaashoek et al. - 1995
BibTeX entry: (Update)
Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Nathan C. Burnett, Timothy E. Denehy, Thomas J. Engle, Haryadi S. Gunawi, James A. Nugent, and Florentina I. Popovici, "Transforming Policies into Mechanisms with Infokernel," in Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), pages 90--105, October 2003. http://citeseer.comp.nus.edu.sg/688111.html More
@misc{ arpaci-dusseau03transforming,
author = "A. Arpaci-Dusseau and R. Arpaci-Dusseau and N. Burnett and T. Denehy and
T. Engle and H. Gunawi and J. Nugent and F. Popovici",
title = "Transforming Policies into Mechanisms with Infokernel",
text = "Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Nathan C. Burnett, Timothy
E. Denehy, Thomas J. Engle, Haryadi S. Gunawi, James A. Nugent, and Florentina
I. Popovici, Transforming Policies into Mechanisms with Infokernel, in Proceedings
of the ACM Symposium on Operating Systems Principles (SOSP), pages 90--105,
October 2003.",
year = "2003",
url = "citeseer.comp.nus.edu.sg/688111.html" }
Citations (may not include all citations):1330 Congestion avoidance and control - Jacobson - 1988
447 Exokernel: An Operating System Architecture for ApplicationL.. - Engler, Kaashoek et al. - 1995
400 Safety and Performance in the SPIN Operating System (context) - Bershad, Savage et al. - 1995
304 TCP Vegas: New Techniques for Congestion Detection and Avoid.. - Brakmo, O'Malley et al. - 1994
175 Dealing With Disaster: Surviving Misbehaved Kernel Extension.. - Seltzer, Endo et al. - 1996
158 Improving the Start-up Behavior of a Congestion Control Shem.. - Hoe - 1996
152 Operating System Support for Database Management (context) - Stonebraker - 1981
119 Application Performance and Flexibility on Exokernel Systems - Kaashoek, Engler et al. - 1997
117 An Integrated Experimental Environment for Distributed Syste.. - White, Lepreau et al. - 2002
112 ACM Transactions on Computer Systems (context) - McKusick, Joy et al. - 1984
109 Disk Scheduling Revisited - Seltzer, Chen et al. - 1990
105 The Duality of Memory and Communication in the Implementatio.. - Young, Tevanian et al. - 1987
99 Hints for Computer System Design - Lampson - 1983
95 Implementation and Performance of Application-Controlled Fil.. - Cao, Felten et al. - 1994
87 Disk Scheduling Algorithms Based on Rotational Position (context) - Jacobson, Wilkes - 1991
78 Cello: A Disk Scheduling Framework for Next-generation Opera.. - Shenoy, Vin - 1998
64 The Structure of the THE Multiprogramming System (context) - Dijkstra - 1968
51 Towards Higher Disk Head Utilization: Extracting - Lumb, Schindler et al. - 2000
46 Automated Disk Drive Characterization - Schindler, Ganger - 1999
44 cient Software-Based Fault Isolation (context) - Wahbe, Lucco et al. - 1993
43 On micro-kernel construction - Liedtke - 1995
42 RFC 793: Transmission Control Protocol (context) - Postel - 1981
39 Fine-Grained Dynamic Instrumentation of Commodity Operating .. - Tamches, Miller - 1999
34 Open Implementation Design Guidelines - Kiczales, Lamping et al. - 1997
33 kernel and its performance for diskless workstations (context) - Cheriton, Zwaenepoel - 1983
31 Improving the Performance of LogStructured File Systems with.. (context) - Matthews, Roselli et al. - 1997
27 Hewlett Packard Laboratories (context) - Ruemmler, Wilkes et al. - 1991
26 Freeblock Scheduling Outside of Disk Firmware - Lumb, Schindler et al. - 2002
26 Filesystems for Network-Attached Secure Disks - Gibson, Nagle et al. - 1997
25 Tcp-nice: A mechanism for background transfers - Venkataramani, Kokku et al. - 2002
24 Information and Control in Gray-Box Systems (context) - Arpaci-Dusseau, Arpaci-Dusseau - 2001
18 Smart Filesystems (context) - Staelin, Garcia-Mollina - 1991
16 A Framework for Evaluating Storage System Security - Riedel, Kallahalla et al. - 2002
14 Page Replacement Algorithm For Database Disk Bu#ering (context) - O'Neil, O'Neil et al. - 1993
13 Anticipatory scheduling: A disk scheduling framework to over.. - Iyer, Druschel - 2001
13 ACM Transactions on Computer Systems (context) - Akyurek, Salem et al. - 1995
12 Masking the Overhead of Protocol Layering (context) - van Renesse - 1996
10 A Low-Overhead High Performance Bu#er Management Replacement.. (context) - Johnson, Shasha - 1994
10 Alpine: A User-Level Infrastructure for Network Protocol Dev.. - Ely, Savage et al. - 2001
10 er Management Strategies for Relational Database Systems (context) - Chou, DeWitt et al. - 1985
9 The Need for Customizable Operating Systems - Kiczales, Lamping et al. - 1993
9 Extensible Kernels are Leading OS Research Astray - Druschel, Pai et al. - 1997
8 Policymechanism separation Hydra (context) - Corwin, Wulf et al. - 1975
3 Fast Consistency Checking for the Solaris File System (context) - Peacock, Kamaraju et al. - 1998
3 GILK: A dynamic instrumentation tool for the Linux Kernel - Pearce, Kelly et al. - 2002
3 Scheduling with the Disk Mimic (context) - Popovici, Arpaci-Dusseau et al. - 2003
3 EELRU: Simple and E#ective Adaptive Page Replacement (context) - Smaragdakis, Kaplan et al. - 1999
3 Controlling your PLACE in the File System with Gray-box Tech.. (context) - Nugent, Arpaci-Dusseau et al. - 2003
2 RFC 3042: Enhancing TCP's Loss Recovery Using Limited Transm.. (context) - Allman, Balakrishnan et al. - 2000
2 Latency Management in Storage Systems - Van Meter, Gao - 2000
1 A TCP Vegas Implementation for Linux (context) - Cardwell, Bak - 2003
1 Kernel Support for Faster Web Proxies (context) - Rosu, Rosu - 2003
1 Exploiting Gray-Box Knowledge of Bu#erCache Contents (context) - Burnett, Bent et al. - 2002
Documents on the same site (http://www.cs.wisc.edu/wind/Publications/): More
Storage-Aware Caching: Revisiting Caching For.. - Forney.. (2002) (Correct)
Semantically-Smart Disk Systems - Sivathanu, Prabhakaran, Popovici.. (2002) (Correct)
Evolving RPC for Active Storage - Sivathanu, Arpaci-Dusseau.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.