Christopher Allen Small  Home/Search
Context Related
| belllabs.com/user/risto...thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/user/risto/...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: When designing an extensible operating system, a developer must ensure that the operating system is protected from misbehaved extensions. Two kinds of protection are needed: first, extensions should not violate the operating system's interface, and second, extensions should not be able to leave the operating system in an inconsistent state. The major research contributions of this thesis include: . The design and evaluation of MiSFIT, a software fault isolation tool for the x86 architecture... (Update)
Context of citations to this paper: More
.... developing a prototype ticket exchange system in the VINO operating system that uses VINO s extensibility mechanism (grafting) [6, 7] to allow applications to safely download code for a resource negotiator graft that determines when to initiate an exchange. A kernel...
Cited by: More
Tickets and Currencies Revisited: Extensions to.. - Sullivan, Haas, Seltzer (1999) (Correct)
Similar documents (at the sentence level):
5.6%: A Comparison of OS Extension Technologies - Small, Seltzer (1996) (Correct)
Active bibliography (related documents): More All
0.5: Building Appliances out of Components using Pebble - Magoutis, Brustoloni.. (Correct)
0.4: A Tool for Constructing Safe Extensible C++ Systems - Small (1998) (Correct)
0.4: MiSFIT: A Freely Available Tool for Building Safe Extensible Systems - Small (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Self-Monitoring and Self-Adapting Operating Systems - Seltzer, Small (1997) (Correct)
0.2: On the Design of a New CPU Architecture for Pedagogical .. - Ellard, Holland.. (2002) (Correct)
0.2: Clilets: Web Applications with Secure Client-Side Storage - Fischer, Seltzer (Correct)
BibTeX entry: (Update)
Small, C., "Building an Extensible Operating System," Ph.D. thesis, Harvard University, Division of Engineering and Applied Sciences, October 1998. http://citeseer.ist.psu.edu/small98building.html More
@misc{ small98building,
author = "C. Small",
title = "Building an Extensible Operating System",
text = "Small, C., Building an Extensible Operating System, Ph.D. thesis, Harvard
University, Division of Engineering and Applied Sciences, October 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/small98building.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1991
1749 An Introduction to Probability Theory and Its Applications (context) - Feller - 1950
1209 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
862 The Java Language Specification - Gosling, Joy et al. - 1996
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
704 Applied Cryptography (context) - Schneier - 1996
447 Exokernel: An Operating System Architecture for Application-.. - Engler, Kaashoek et al. - 1995
444 Mach: a New Kernel Foundation for UNIX Development (context) - Accetta, Baron et al. - 1986
373 The Design and Implementation of a LogStructured File System - Rosenblum, Ousterhout - 1991
339 Efficient Software-Based Fault Isolation - Wahbe, Lucco et al. - 1993
320 Measurements of a Distributed File System - Baker, Hartman et al. - 1991
299 The BSD Packet Filter: A New Architecture for Userlevel Pack.. - McCanne, Jacobson - 1993
287 The MD5 Message-Digest Algorithm (context) - Rivest - 1992
264 Safe Kernel Extensions Without Run-Time Checking - Necula, Lee - 1996
248 Lottery Scheduling: Flexible Proportional-Share Resource Man.. - Waldspurger, Weihl - 1994
226 Lightweight Remote Procedure Call (context) - Bershad, Anderson et al. - 1989
221 Nested Transactions: An Approach to Reliable Distributed Com.. (context) - Moss - 1985
216 Informed Prefetching and Caching - Patterson, Gibson et al. - 1995
192 Fbufs: A High-Bandwidth Cross-Domain Transfer Facility - Druschel, Peterson - 1993
175 Dealing With Disaster: Surviving Misbehaved Kernel Extension.. - Seltzer, Endo et al. - 1996
162 Implementation Techniques for Main Memory Database Systems (context) - DeWitt, Katz et al. - 1984
161 The Packet Filter: An Efficient Mechanism for User-level Net.. - Mogul, Rashid et al. - 1987
144 Garbage Collection: Algorithms for Automatic Dynamic Memory .. (context) - Jones, Lins - 1996
129 Inside Windows NT (context) - Custer - 1993
127 Systems Programming with Modula (context) - Nelson - 1991
115 BSD Operating System (context) - McKusick, Bostic et al. - 1996
97 Extensibility, Safety, and Performance in the SPIN Operating.. - Bershad, Savage et al. - 1995
95 Implementation and Performance of Application-Controlled Fil.. - Cao, Felten et al. - 1994
95 Linux Kernel Internals (context) - Beck, Dziadzka et al. - 1998
94 An Implementation of a LogStructured File System for UNIX - Seltzer, Bostic et al. - 1993
90 Replication in the Harp File System - Liskov, Ghemawat et al. - 1991
73 File System Design for an NFS File Server Appliance - Hitz, Lau et al. - 1994
70 Unix Internals: The New Frontiers (context) - Vahalia - 1996
64 ACTA: A Framework for Specifying and Reasoning about Transac.. - Chrysanthis, Ramamritham - 1990
58 A Trace-Driven Comparison of Algorithms for Parallel Prefetc.. - Kimbrel, Tomkins et al. - 1996
49 Automatic Compiler-Inserted I/O Prefetching for Out-Of-Core .. - Mowry, Demke et al. - 1996
46 Managing Update Conflicts in Bayou, a Weakly Connected Repli.. - Terry, Theimer et al. - 1995
43 Watchdogs---Extending the UNIX File System (context) - Bershad, Pinkerton - 1988
37 Hardware and Software Support for Efficient Exception Handli.. - Thekkath, Levy - 1994
34 Free Transactions With Rio Vista (context) - Lowell, Chen - 1997
33 The Logical Disk: A New Approach to Improving File Systems (context) - de Jonge, Kaashoek et al. - 1993
32 Optimizing Dynamically-Dispatched Calls with Run-Time Type F.. (context) - Hlze, Ungar - 1994
31 Exploiting In-Kernel Data Paths to Improve I/O Throughput an.. - Fall, Pasquale - 1993
29 Efficient and LanguageIndependent Mobile Programs (context) - Adl-Tabatabi, Langdale et al. - 1996
28 HiPEC: High Performance External Virtual Memory Caching - Lee, Chen et al. - 1994
27 Choices: An Object-Oriented Multimedia Operating System - Campbell, Tan - 1995
26 The Recovery Box: Using Fast Recovery to Provide High Availa.. - Baker, Sullivan - 1992
22 File System Aging--Increasing the Relevance of File System B.. - Smith, Seltzer - 1997
21 Interface and Execution Models in the Fluke Kernel - Ford, Hibler et al. - 1998
20 Experience with Transactions in Quicksilver - Schmuck, Wyllie - 1991
19 VINO: An Integrated Platform for Operating System and Databa.. - Small, Seltzer - 1994
18 Varieties of Concurrency Control in IMS/VS FastPath (context) - Gawlick, Kinkade - 1985
15 Evolving Mach 3.0 to a Migrating Thread Model (context) - Ford, Lepreau - 1994
14 Instrumentation and Optimization of Win32/Intel Executables .. (context) - Romer, Voelker et al. - 1997
12 Predicting References to Dynamically Allocated Objects - Seidl, Zorn - 1997
12 Theta Reference Manual (context) - Liskov, Curtis et al. - 1995
11 Achieved IPC Performance (context) - Leidke, Elphinstone et al. - 1997
8 The Wisconsin Benchmark: Past, Present, and Future (context) - DeWitt - 1991
7 Through the Looking-Glass (context) - Lewis
7 MIMIC: A Fast System/370 Simulator (context) - May - 1987
6 Implementation and Analysis of Software-Based Fault Isolatio.. - Silver - 1996
6 An Extensible I/O System (context) - Rees, Levine et al. - 1986
6 Quantitative Analysis of Protection Options - Banerji, Panteleenko et al. - 1996
6 An Optimality Theory of Concurrency Control for Databases (context) - Kung, Papadimitriou - 1983
5 Structuring the Kernel as a Toolkit of Extensible, Reusable .. - Small, Seltzer - 1995
5 A Second-Generation MicroKernel Based UNIX; Lessons in Perfo.. (context) - Guillemont, Lipkis et al. - 1991
4 TPC Benchmark B (context) - Performance - 1990
2 Colusa Software (context) - Overview - 1995
2 A Comparison of Operating System Extension Technologies (context) - Small, Seltzer - 1996
1 Extensibility in the Oberon System (context) - Mssenbck - 1994
1 Order Number AA PSRD TE (context) - Equipment, Unix et al. - 1996
1 Microsoft Windows NT (context) - Corporation - 1995
1 DOS Programmer's Reference (context) - Dettman - 1989
1 The Network Architecture of the VINO Operating System (context) - Ghosh - 1998
1 Proceedings of the ACM Conference on Management of Data (context) - Garcia-Molina, Salem - 1987
1 Inside Macintosh: Operating System Utilities (context) - Computer - 1994
1 Inferno Programming (context) - Pike, Trickey - 1997
1 The Performance of - Kernel-Based Systems (context) - Hrtig, Homuth et al. - 1997
1 Writing an Operating System with Modula-3 (context) - Sirer, Savage et al. - 1996
Documents on the same site (http://www.bell-labs.com/user/risto/papers/index.html): More
A Tool for Constructing Safe Extensible C++ Systems - Small (1998) (Correct)
A Revisitation of Kernel Synchronization Schemes - Christopher Small (1997) (Correct)
Structuring the Kernel as a Toolkit of Extensible, Reusable.. - Christopher Small (1995) (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