| Alternate document: Details C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation (96) Dawson R. Engler, Wilson C. Hsieh, M. |
Wilson Hsieh, Marc Fiuczynski, Charles Garrett, Stefan Savage, David Becker, Brian Bershad  Home/Search
Context Related
| washington.edu/spin/docs/...language.ps 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: washington.edu/spin/docs/...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have identified three areas where language support for operating system extensibility is important: performance, safety, and expressive power. First, an extension language should support pointer-safe casting to avoid unnecessary copying of data. Second, an extension language must allow a caller to isolate untrusted code. Finally, an extension language should provide a vocabulary for describing interfaces, modules, and procedures in a first-class fashion. We present specific examples of... (Update)
Context of citations to this paper: More
.... Software Fault Isolation [29] Proof Carrying Code [24, 25] OS extension mechanisms such as packet lters [21] type safe languages [9, 16], etc) all focus on this problem. The converse side of the agent security problem, however, is largely neglected and needs to be...
...have also focused attention on language design for mobility. These e orts include work on active networks [33, 38] the SPIN kernel [2, 17] and Exokernel [8] What these e orts have in common is a need for security. We can roughly separate security concerns in this setting...
Cited by: More
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Efficient, Protected Extension of Commodity Operating Systems - Ghormley (1998) (Correct)
Service Introduction in an Active Network - Wetherall (1999) (Correct)
Active bibliography (related documents): More All
0.0: Operating System Support for Emerging Application Domains - Clarke (2000) (Correct)
0.0: Active Library Resolution in Active Networks - Lee (1998) (Correct)
0.0: Beyond Address Spaces - Flexibility, Performance.. - Golm, Kleinöder, Bellosa (2001) (Correct)
Similar documents based on text: More All
0.1: Writing an Operating System with Modula-3 - Sirer, Savage, Pardyak, DeFouw, .. (1996) (Correct)
0.1: Implementation and Analysis of Software Based Fault Isolation - Silver (1996) (Correct)
0.1: Language and Runtime Support for Dynamic Interposition of .. - Pardyak, Savage, Bershad (Correct)
Related documents from co-citation: More All
17: safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
12: Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
9: Exokernel: an operating system architecture for application-specif ic resource m.. - Engler, Kaashoek et al. - 1995
BibTeX entry: (Update)
Wilson C. Hsieh, Marc E. Fiuczynski, Charles Garrett, Stefan Savage, David Becker, and Brian N. Bershad. Language support for extensible operating systems. In Proceedings of the Workshop on Compiler Support for System Software, February 1996. http://citeseer.ist.psu.edu/hsieh96language.html More
@techreport{ hsieh95language,
author = "W. Hsieh and M. Fiuczynski and C. D. Garrett and S. Savage and D. Becker and B. N. Bershad",
title = "Language Support for Extensible Operating Systems",
number = "TR-95-11-02",
year = "1995",
url = "citeseer.ist.psu.edu/hsieh96language.html" }
Citations (may not include all citations):612 Architectural Considerations for a New Generation of Protoco.. (context) - Clark, Tennenhouse - 1990 ACM DBLP
97 Extensibility, Safety and Performance in the SPIN Operating .. - Bershad, Savage et al. - 1995 DBLP
77 The Java Language Specification (context) - Computer - 1995
48 An Extensible Protocol Architecture for Application-Specific.. - Fiuczynski, Bershad - 1996 DBLP
26 Systems Programming with Modula-3 (context) - Nelson - 1991 ACM
16 Protection is a Software Issue - Bershad, Savage et al. - 1995 ACM
1 Modula-2+Epsilon Language Specification (context) - Corporation - 1991
1 Language and Runtime Support for the Safe Dynamic Interposit.. (context) - Pardyak, Savage et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://velvet.cs.washington.edu/spin/docs/papers/index.html): More
SPIN - An Extensible Microkernel for.. - Bershad.. (1994) (Correct)
SPIN - An Extensible Microkernel for.. - Bershad.. (1994) (Correct)
An Extensible Protocol Architecture for Application-Specific.. - Fiuczynski (1996) (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