The Community for Technology Leaders
Hot Topics in Operating Systems, Workshop on (1997)
Cape Cod, MA
May 5, 1997 to May 6, 1997
ISBN: 0-8186-7834-8
TABLE OF CONTENTS
Implementation: Session Leader: Peter Druschel

The Failure of Personalities to Generalize (Abstract)

B. Fleisch , Dept. of Comput. Sci., California Univ., Riverside, CA, USA
pp. 8

The Flux OS Toolkit: Reusable Components for OS Implementation (Abstract)

B. Ford , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
K. Van Maren , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. Turner , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
S. Clawson , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. Lepreau , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
B. Robinson , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
pp. 14

Formal Methods: A Practical Tool for OS Implementors (Abstract)

P. Tullmann , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
A. Chitturi , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
G. Back , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. Turner , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. Lepreau , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
J. McCorquodale , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
pp. 20
Microkernels: Session Leader: John Carter

Achieved IPC Performance (Abstract)

G. Heiser , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
J. Liedtke , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
N. Islam , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
K. Elphinstone , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
T Jaeger , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
H. Hartig , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
S. Schiinberg , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
pp. 28

The Network Hardware is the Operating System (Abstract)

F. Ballesteros , Syst. & Commun. Group, Carlos III Univ. of Madrid, Spain
L. Fernandez , Syst. & Commun. Group, Carlos III Univ. of Madrid, Spain
pp. 32
Session Leader: Pei Cao

Extensible Kernels are Leading OS Research Astray (Abstract)

V. Pai , Dept. of Comput. Sci., Rice Univ., Houston, TX, USA
W. Zwaenepoel , Dept. of Comput. Sci., Rice Univ., Houston, TX, USA
P. Druschel , Dept. of Comput. Sci., Rice Univ., Houston, TX, USA
pp. 38

Customization Lite (Abstract)

H. Franke , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
0. Krieger , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
M. Auslander , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
M. Stumm , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
B. Gamsa , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 43

Operating Systems for Component Software Environments (Abstract)

N. Mendelsohn , Lotus Dev. Corp., Cambridge, MA, USA
pp. 49
Security: Session Leader: Rob Gingell

Secure Applications Need Flexible Operating Systems (Abstract)

David Mazières , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
M. Kaashoek , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 56

Security for Extensible Systems (Abstract)

B. Bershad , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
R. Grimm , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 62

Building Diverse Computer Systems (Abstract)

S. Forrest , Dept. of Comput. Sci., New Mexico Univ., Albuquerque, NM, USA
A. Somayaji , Dept. of Comput. Sci., New Mexico Univ., Albuquerque, NM, USA
D. Ackley , Dept. of Comput. Sci., New Mexico Univ., Albuquerque, NM, USA
pp. 67

Preventing Denial-of-Service Attacks on a P-Kernel for WebOSes (Abstract)

N. Islam , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
T. Jaeger , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J. Liedtke , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 73
The Internet as a Big Distributed System:Session Leader: Jeff Mogul

Query Routing: Applying Systems Thinking to Internet Search (Abstract)

P. Leach , Microsoft Corp., Redmond, WA, USA
C. Weider , Microsoft Corp., Redmond, WA, USA
pp. 82

General Purpose Proxies: Solved and Unsolved Problems (Abstract)

B. Zenel , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
D. Duchamp , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 87

Reduce, Reuse, Recycle: An Approach to Building Large Internet Caches (Abstract)

M. Rabinovich , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
S. Gadde , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
J. Chase , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
pp. 93

Distributed Systems Support for Networked Games (Abstract)

Tzi-Cker Chiueh , Dept. of Comput. Sci., State Univ. of New York, Stony Brook, NY, USA
pp. 99
Rethinking: Session Leader: Mary Baker

Operating System Directions for the Next Millennium (Abstract)

R. Draves , Microsoft Corp., Redmond, WA, USA
R. Fitzgerald , Microsoft Corp., Redmond, WA, USA
W. Bolosky , Microsoft Corp., Redmond, WA, USA
T. Knoblock , Microsoft Corp., Redmond, WA, USA
C. Fraser , Microsoft Corp., Redmond, WA, USA
M. Jones , Microsoft Corp., Redmond, WA, USA
R. Rashid , Microsoft Corp., Redmond, WA, USA
pp. 106
System Services: Session Leader: Brad Chen

Run-Time Code Generation as a Central System Service (Abstract)

M. Franz , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 112

What Synchronous Groupware Needs: Notification Services (Abstract)

M. Day , Lotus Dev. Corp., Cambridge, MA, USA
pp. 118
Performance Dynamics: Session Leader: Mike Jones

Self-Monitoring and Self-Adapting Operating Systems (Abstract)

M. Seltzer , Harvard Univ., MA, USA
C. Small , Harvard Univ., MA, USA
pp. 124

A Fresh Look at Memory Hierarchy Management (Abstract)

J. Chapin , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 130

The Role of Trace Modulation in Building Mobile Computing Systems (Abstract)

M. Satyanarayanan , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
B. Noble , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 135

Index of Authors (PDF)

pp. 141
104 ms
(Ver 3.1 (10032016))