Michael B. Jones, M. Frans Kaashoek
Proceedings of the Fourth Symposium on Operating Systems Design and Implementation
OSDI, 2000.

@proceedings{OSDI-2000,
	address       = "San Diego, California, USA",
	editor        = "Michael B. Jones and M. Frans Kaashoek",
	ee            = "https://www.usenix.org/publications/proceedings/?f[0]=im_group_audience%3A286",
	isbn          = "1-880446-16-2",
	publisher     = "{USENIX Association}",
	title         = "{Proceedings of the Fourth Symposium on Operating Systems Design and Implementation}",
	year          = 2000,
}

Contents (24 items)

3 ×#named
2 ×#distributed
2 ×#internet
2 ×#multi
2 ×#network
2 ×#performance
2 ×#scalability
2 ×#scheduling
2 ×#using

OSDI-2000-EnglerCCH #compilation #using

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (DRE, BC, AC, SH), pp. 1–16.

OSDI-2000-MerillonRCMM #hardware #named #programming

Devil: An IDL for Hardware Programming (FM, LR, CC, RM, GM), pp. 17–30.

OSDI-2000-BrownM #memory management #physics #using

Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently (ADB, TCM), pp. 31–44.

OSDI-2000-ChandraAGS #algorithm #cpu #multi #scheduling #symmetry

Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors (AC, MA, PG, PJS), pp. 45–58.

OSDI-2000-CorbalanML

Performance-Driven Processor Allocation (JC, XM, JL), pp. 59–73.

OSDI-2000-GrunwaldLFMN #policy #scheduling

Policies for Dynamic Clock Scheduling (DG, PL, KIF, CBMI, MN), pp. 73–86.

OSDI-2000-LumbSGNR #towards

Towards Higher Disk Head Utilization: Extracting “Free” Bandwidth from Busy Disk Drives (CRL, JS, GRG, DN, ER), pp. 87–102.

OSDI-2000-MeterG #latency

Latency Management in Storage Systems (RVM, MG), pp. 103–118.

OSDI-2000-KimCKNMCK

A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References (JMK, JC, JK, SHN, SLM, YC, CSK), pp. 119–134.

OSDI-2000-MaheshwariVS #database #how

How to Build a Trusted Database System on Untrusted Storage (UM, RV, WS), pp. 135–150.

OSDI-2000-HowellK

End-to-End Authorization (JH, DK), pp. 151–164.

OSDI-2000-StrunkGSSG #self

Self-Securing Storage: Protecting Data in Compromised Systems (JDS, GRG, MLS, CANS, GRG), pp. 165–180.

OSDI-2000-FuKM #distributed #file system #performance

Fast and Secure Distributed Read-Only File System (KF, MFK, DM), pp. 181–196.

OSDI-2000-JannottiGJKO #multi #named #network #reliability

Overcast: Reliable Multicasting with an Overlay Network (JJ, DKG, KLJ, MFK, JOJ), pp. 197–212.

OSDI-2000-AndersenBCSB #adaptation #internet

System Support for Bandwidth Management and Content Adaptation in Internet Applications (DGA, DB, DC, SS, HB), pp. 213–226.

OSDI-2000-GriffinSGN #operating system

Operating System Management of MEMS-based Storage Devices (JLG, SWS, GRG, DN), pp. 227–242.

OSDI-2000-YuGCWLKA #array #capacity #performance

Trading Capacity for Performance in a Disk Array (XY, BG, YC, RYW, KL, AK, TEA), pp. 243–258.

OSDI-2000-AndersonCV #network #scalability

Interposed Request Routing for Scalable Network Storage (DCA, JSC, AV), pp. 259–272.

OSDI-2000-CastroL #fault tolerance

Proactive Recovery in a Byzantine-Fault-Tolerant System (MC, BL), pp. 273–288.

OSDI-2000-LowellCC

Exploring Failure Transparency and the Limits of Generic Recovery (DEL, SC, PMC), pp. 289–304.

OSDI-2000-YuV #consistency #design #evaluation

Design and Evaluation of a Continuous Consistency Model for Replicated Services (HY, AV), pp. 305–318.

OSDI-2000-GribbleBHC #data type #distributed #internet #scalability

Scalable, Distributed Data Structures for Internet Service Construction (SDG, EAB, JMH, DEC), pp. 319–332.

OSDI-2000-BackHL #java #process #resource management

Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java (GB, WCH, JL), pp. 333–346.

OSDI-2000-ReidFSLE #component #composition #named

Knit: Component Composition for Systems Software (AR, MF, LS, JL, EE), pp. 347–360.