Chris Hawblitzel, Thorsten von Eicken  Home/Search
Context Related
| dartmouth.edu/~hawblitz/pu...Wcsss99.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: dartmouth.edu/~hawblitz/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Safe languages provide mechanisms to share data among multiple protection domains in a protected fashion, but lack support for revocation and control over resource usage. This paper describes a type system extension, called permits, to support the revocation of data structures. Permits use a combination of static and run-time checks to ensure the revocability of data shared between safe language tasks, with a minimum of run-time overhead. The paper presents the syntax for this extension... (Update)
Context of citations to this paper: More
...for JVM resources consumed on the behalf of applications. Cornell is also exploring type systems that can support revocation directly [24]. Alta [39, 40] is a Java virtual machine that enforces resource controls based on a nested process model. The nested process model in...
...via byte code rewriting [6] Like J SEAL2, J Kernel is implemented completely in Java, only CPU accounting requires native code. Luna [13, 14] is a Java extension that provides a task model for Java based on a type system, which distinguishes between task local pointers and...
Cited by: More
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
Processes in KaffeOS: Isolation, Resource Management, and.. - Back, Hsieh, Lepreau (2000) (Correct)
Design And Implementation Of The J-Seal2 Mobile Agent Kernel - Binder (2001) (Correct)
Active bibliography (related documents): More All
0.8: J-Kernel: a Capability-Based Operating System for Java - von Eicken, Chang.. (Correct)
0.3: A Case for Language-Based Protection - Hawblitzel, von Eicken (1998) (Correct)
0.3: Experimental Microkernel for Distributed Operating System - Adamec, Seidmann (Correct)
Similar documents based on text: More All
0.2: Windowed Certificate Revocation - McDaniel, Jamin (2000) (Correct)
0.2: Windowed Key Revocation in Public Key Infrastructures - McDaniel, Jamin (1998) (Correct)
0.2: Reducing Certificate Revocation Cost using NPKI - Levi, Koç (Correct)
Related documents from co-citation: More All
6: The Java Class Libraries: Volume (context) - Chan, Lee - 1997
5: Implementing multiple protection domains in Java - Hawblitzel, Chang et al. - 1998
4: Drawing the red line in Java - Back, Hsieh - 1999
BibTeX entry: (Update)
C. Hawblitzel and T. von Eicken. Type System Support for Dynamic Revocation. In Second Workshop on Compiler Support for System Software, Atlanta, GA, May 1999. http://citeseer.ist.psu.edu/hawblitzel99type.html More
@misc{ hawblitzel99type,
author = "C. Hawblitzel and T. von Eicken",
title = "Type System Support for Dynamic Revocation",
text = "C. Hawblitzel and T. von Eicken. Type System Support for Dynamic Revocation.
In Second Workshop on Compiler Support for System Software, Atlanta, GA,
May 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/hawblitzel99type.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
400 Safety and Performance in the SPIN Operating System (context) - Bershad, Savage et al. - 1995
311 Abstract Types Have Existential Type (context) - Mitchell, Plotkin - 1988
117 Typed Memory Management in a Calculus of Capabilities - Crary, Walker et al. - 1999
114 Capability-Based Computer Systems (context) - Levy - 1984
101 Implementing Multiple Protection Domains in Java - Hawblitzel, Chang et al. - 1998
76 Software Practice and Experience (context) - Wirth, Gutknecht et al. - 1989
62 Pilot: An operating system for a personal computer - Redell, Dalal et al. - 1980
49 mmp:An Experimental Computer System (context) - Wulf, Levin et al. - 1981
46 Java Operating Systems: Design and Implementation - Back, Tullmann et al. - 1998
17 Implementation of the Typed Call-by-Value Lambda Calculus us.. - Tofte, Talpin - 1994
8 Naming and Protection in Extendible Operating Systems (context) - Redell - 1974
6 th ACM Symposium on Operating Systems Principles (context) - Wallach, Balfanz et al. - 1997
3 th ACM Symposium on Operating Systems Principles (context) - Liedtke, -kernel - 1995
1 ACM SIGPLAN Conference on Programming Language Design and Im.. (context) - Xi, Pfenning et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.dartmouth.edu/~hawblitz/): More
Adding Operating System Structure to . . . - Hawblitzel (2000) (Correct)
Low-Latency Communication on the IBM RISC System/6000 SP - Chang, Czajkowski.. (1996) (Correct)
Low-Level Linear Memory Management - Hawblitzel, Huang, Krupski, Wei (2002) (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