Transforming Policies into Mechanisms with Infokernel

Transforming Policies into Mechanisms with Infokernel (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Andrea 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

Venue:	In Proceedings of the nineteenth ACM symposium on Operating systems principles
Citations:	39 - 9 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Transforming Policies into Mechanisms with Infokernel	INFERENCE
AUTHOR NAME	Andrea C. Arpaci-dusseau	user correction - Legacy Corrections
AUTHOR AFFIL	ABSTRACT; Department of Computer Sciences, University of Wisconsin- Madison	user correction - Legacy Corrections
AUTHOR NAME	Remzi H. Arpaci-dusseau	user correction - Legacy Corrections
AUTHOR AFFIL	ABSTRACT; Department of Computer Sciences, University of Wisconsin- Madison	user correction - Legacy Corrections
AUTHOR NAME	Nathan C. Burnett	user correction - Legacy Corrections
AUTHOR AFFIL	ABSTRACT; Department of Computer Sciences, University of Wisconsin- Madison	user correction - Legacy Corrections
AUTHOR NAME	Timothy E. Denehy	user correction - Legacy Corrections
AUTHOR AFFIL	ABSTRACT; Department of Computer Sciences, University of Wisconsin- Madison	user correction - Legacy Corrections
AUTHOR NAME	Thomas J. Engle	user correction - Legacy Corrections
AUTHOR AFFIL	ABSTRACT; Department of Computer Sciences, University of Wisconsin- Madison	user correction - Legacy Corrections
AUTHOR NAME	Haryadi S. Gunawi	user correction - Legacy Corrections
AUTHOR AFFIL	ABSTRACT; Department of Computer Sciences, University of Wisconsin- Madison	user correction - Legacy Corrections
AUTHOR NAME	James A. Nugent	user correction - Legacy Corrections
AUTHOR AFFIL	ABSTRACT; Department of Computer Sciences, University of Wisconsin- Madison	user correction - Legacy Corrections
AUTHOR NAME	Florentina I. Popovici	user correction - Legacy Corrections
AUTHOR AFFIL	ABSTRACT; Department of Computer Sciences, University of Wisconsin- Madison	user correction - Legacy Corrections
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 inf okernel exposes key pieces of inf rmation about its algorithms and internal state; thus, its def ault policies become mechanisms, which can be controlledf rom user-level We have implemented two prototype inf okernels based on the Linux 2 4 and NetBSD 1 5 kernels, called inf Linux and inf BSD, respectively The inf okernels export key abstractions as well as basic inf ormation primitives Using inf oLinux, we have implemented f ur case studies showing that policies within Linux can be manipulated outsideof the kernel Specifically, we show that the def ault file cache replacement algorithm, file layout policy, disk scheduling algorithm, and TCP congestion control algorithm can each be turned into base mechanisms For each case study, we havef ound that inf okernel abstractions can be implemented with little code and that the overhead and accuracyof synthesizing policies at user-level is acceptable Categories a n Subject Descriptors: D.4.7 [Operatin g Systems]: Organ inE in and Desi2 Ge n ral Terms: Desi9 , Experi51 tati1 , Performance Keywords: Poli) , MechaniE) Informatir 1.	user correction - Legacy Corrections
YEAR	2003	INFERENCE
VENUE	In Proceedings of the nineteenth ACM symposium on Operating systems principles	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	90--105	INFERENCE
CITATIONS	53 found	ParsCit 1.0