| Alternate document: Details The Flux OSKit: A Substrate for Kernel and Language Research (97) Bryan Ford |
Bryan Ford Kevin Van Maren Jay Lepreau Stephen Clawson Bart Robinson Jeff...  Home/Search
Context Related
| utah.edu/papers/oskithotos6.ps.gz utah.edu/flux/pape...oskithotos6.ps.gz utah.edu/projects/...oskithotos6.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: sleepless.com/people/baford...pub (more) From: utah.edu/flux/papers/index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To an unappreciated degree, research both in operating systems and their programming languages has been severely hampered by the lack of cleanly reusable code providing mundane low-level OS infrastructure such as bootstrapcode and device drivers. The Flux OS Toolkit solves this problem by providing a set of clean, well-documented components. These components can be used as basic buildingblocks both for operating systems and for booting language run-time systems directly on the hardware. The... (Update)
Context of citations to this paper: More
...of concerns. There exist several systems and paradigms that each offer one or two of these features. Recent operating system research [4] [5] shows the advantage of providing reusable system components as basic building blocks. Other operating systems focus on the flexibility...
...in the field of general operating system research. Their projects include; Java operating systems (see section 3.3.3. 9) the OSKit [Ford,97a] Ford,97b] Fluke [Ford,96] and Flask. The OSKit is an effort to remove the drudgery from developing native operating systems on...
Cited by: More
A Survey of Kernel-Middleware Interaction in Support of.. - McKinley (2004) (Correct)
A Taxonomy of Compositional Adaptation - McKinley, Sadjadi, Kasten, Cheng (2004) (Correct)
The Fluke Device Driver Framework - Van Maren (1999) (Correct)
Active bibliography (related documents): More All
1.5: The Flux OSKit: A Substrate for Kernel and Language Research - Ford (1997) (Correct)
0.5: Implementing Concurrency For An ML-based Operating System - Lin (Correct)
0.3: The Snowflake Distributed System - Howell (1998) (Correct)
Similar documents based on text: More All
0.1: Using the OSKit as a base for L4 applications - Hohmuth (1999) (Correct)
0.1: Knit: Component Composition for Systems Software - Reid, Flatt, Stoller, al. (2000) (Correct)
0.1: Parsing Expression Grammars: A Recognition-Based Syntactic.. - Ford (2004) (Correct)
Related documents from co-citation: More All
8: Exokernel: an operating system architecture for application-specif ic resource m.. - Engler, Kaashoek et al. - 1995
5: Application performance and flexibility on exokernel systems - Kaashoek, Engler et al. - 1997
5: Scout: A communication-oriented operating system - Hartman, Montz et al. - 1994
BibTeX entry: (Update)
B. Ford, K. Van Maren, J. Lepreau, S. Clawson, B. Robinson, and Jeff Turner. The FLUX OS toolkit: Reusable components for OS implementation. In Proc. of Sixth Workshop on Hot Topics in Operating Systems, pages 14--19, May 1997. http://citeseer.ist.psu.edu/ford97flux.html More
@inproceedings{ ford97flux,
author = "Bryan Ford and Kevin Van Maren and Jay Lepreau and Stephen Clawson and Bart Robinson and Jeff Turner",
title = "The Flux {OS} Toolkit: Reusable Components for {OS} Implementation",
booktitle = "Workshop on Hot Topics in Operating Systems",
pages = "14-19",
year = "1997",
url = "citeseer.ist.psu.edu/ford97flux.html" }
Citations (may not include all citations):447 Exokernel: An Operating System Architecture for Application-.. - Engler, Kaashoek et al. - 1995
93 Designing and Implementing Choices: An Object-Oriented Syste.. (context) - Campbell, Islam et al. - 1993
92 Microkernels Meet Recursive Virtual Machines - Ford, Hibler et al. - 1996
78 and Performance in the SPIN Operating System (context) - Bershad, Savage et al. - 1995
73 Component Object Model Specification (context) - Corporation, Corporation - 1995
44 to a Migrating Thread Model (context) - Ford, Lepreau - 1994
19 VINO: An Integrated Platform for Operating System and Databa.. - Small, Seltzer - 1994
13 User-level Checkpointing Through Exportable Kernel State - Tullmann, Lepreau et al. - 1996
5 Linux Device Driver Emulation in Mach - Goel, Duchamp - 1996
5 Postscript and HTML available under http://www (context) - Ford, Members et al. - 1996
5 How to Win Big (context) - Gabriel, Good et al. - 1991
4 Taligent's CommonPoint: The Promise of Objects (context) - Myers - 1995
3 Automatic Management of Operating SystemResources - Shivers - 1997
3 The Network Hardware is the Operating System - Ballesteros, Fernandez - 1997
2 GRUB -- GRand Unified Bootloader (context) - Boleyn - 1996
2 A Portable Run-TimeSystem for the SR Concurrent Programming .. - BensonandR, Olsson - 1997
2 Available as ftp://flux (context) - Ford, Boleyn - 1996
1 MOSS: A DOS extender based on the Flux OS Toolkit (context) - Ford - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sleepless.com/people/baford/pub.html): More
Evolving Mach 3.0 to a Migrating Thread Model - Ford, Lepreau (1994) (Correct)
In-Kernel Servers on Mach 3.0: Implementation and Performance - Lepreau, Hibler, Ford, Law (Correct)
User-level Checkpointing Through Exportable Kernel State - Tullmann, Lepreau, Ford.. (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