Article

Free access

The Flux OSKit: a substrate for kernel and language research

Authors:

Olin ShiversAuthors Info & Claims

SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principles

Pages 38 - 51

https://doi.org/10.1145/268998.266642

Published: 01 October 1997 Publication History

PDF eReader

References

[1]

M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A, Tcvanlan, and M. Young. Mach: A New Kernel Foundation for UNIX Development. In Prec. of the Summer 1986 USENIX Conf., pages 93--112, June 1986.

Google Scholar

[2]

G.R. Andrews. Personal communication, Feb. 1997,

Google Scholar

[3]

G.R. Andrews and R. A. Olsson. The $R Programming Language: Concurrency in Practice. The Benjamin/Cummings Publishing Co, Redwood City, California, 1993.

Digital Library

Google Scholar

[4]

A.W. Appel. A Runtime System. Lisp and Symbolic Computation, 3(4):343-380, Nov. 1990.

Digital Library

Google Scholar

[5]

A.W. Appel. Compiling with Continuations. Cambridge University Press, Cambridge, MA, 1992.

Digital Library

Google Scholar

[6]

A. W. Appel and D. B, MacQueen. Standard ML of New Jersey, In Third International Symp. on Programming Language Implementation andLogic Programming, pages 1-13. Springer-Verlag LNCS 528, Aug. 1991.

Crossref

Google Scholar

[7]

A. Baird-Smith. Jigsaw ---. An Object-Oriented Web Server in Java, http'Jlwww, w3.orglpub~lJigsawl.

Google Scholar

[8]

E J. Ballesteros and L. L. Fernandez. The Network Hardware is the Operating System. in Prec. of the Sixth Workshop on Hot Toptcs tn Operating Systems, Cape Cod, MA, May 1997, To appear.

Digital Library

Google Scholar

[9]

O.D. Benson and R. A. Olsson. A Portable Run-Time System for the SR Concurrent Programming Language. In Proceedings of the Work. shop on Run-lime Systems for Parallel Processing. IR-417, Departmeat of Mathematics and Computer Science, Vtije Unlversile|l, Amsterdam, The Netherlands, April 1997,

Digital Library

Google Scholar

[10]

B. N. Bershad, S. Savage, P. Pardyak, B. G. Sirer, M. B, Fluczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, Safety, and Performance in the SPIN Operating System. In Prec. of the 15th A CM Symp. on Operating Systems Principles, pages 267-284, Copper Mountain, CO, Dec. 1995.

Digital Library

Google Scholar

[11]

A.B. Brown and M. Seltzer. Operating System Benchmarking in the Wake of Lmbench: A Case Study of the Performance of NetBSD on the Intel x86 Architecture. In Prec. of the 1997 ACM SlGMETRICS Conf. on Measurement and Modeling of Computer Systems, Seattle, WA, June 1997.

Digital Library

Google Scholar

[12]

R. Campbell, N. Islam, P. Madany, and D. Raila. Designing and Implementing Choices: An Object-Oriented System in C++. Commttnlcations of the ACM, Sept. 1993.

Digital Library

Google Scholar

[13]

Chesapeake Computer Consultants, Inc. Test TCP (TTCP), http'.//www, ccci.com/tools/ttcp, 1997.

Google Scholar

[14]

D. R. Eaglet, M. E Kaashoek, and J. O'Toole Jr. F_,xokemel: An Operating System Architecture for Application-Level Resource Management. In Prec. of the 15th ACM Symp. on Operating Systems Prlncl. ples, pages 251-266, Copper Mountain, CO, Dec. 1995.

Digital Library

Google Scholar

[15]

B. Ford. MOSS: A DOS extender based on the Flux OS Toolkit, Available as http://www, cs.utah.edn/projects/flux/moss/, 1996.

Google Scholar

[16]

B. Ford and E. S. Boleyn. MultiBoot Standard. Available as tip://- fiux.cs.utah.edu/fiux/multiboot, 1996.

Google Scholar

[17]

B. Ford, M. Hibler, J. Lepreau, P. Tullmann, G. Back, and S. Clawson, Microkemels Meet Recursive Vktual Machines. In Prec. of the Second Symp. on Operating Systems Design and Implementation, pages 137- 151, Seattle, WA, Oct. 1996. USENIX Assoc.

Digital Library

Google Scholar

[18]

S. Goel and D. Duchamp. Linux Device Driver Emulation in Mach. in Prec. of the Annual USENIX 1996 Technical Conf., pages 65--73, San Diego, CA, Jan. 1996.

Digital Library

Google Scholar

[19]

J. Gosling and H. McGilton. The Java Language Environment: A White Paper. Technical report, Sun Microsystems Computer Company, 1996. Available as http://java, sun.com/doc/- language.environmentL

Google Scholar

[20]

D. Hildebrand. An Architectural Overview of QNX. In Prec, of rite USENIX Workshop on Micro.kernels and Other Kernel Architectures, pages 113-126, Seattle, WA, Apr. 1992.

Digital Library

Google Scholar

[21]

N. Hutchinson and L. Peterson. The x-kernel: An Architecture for Implementing Protocols. IEEE Transactions on Software Engineering, SE-17(I):64-76, Jan. 1991.

Digital Library

Google Scholar

[22]

G. Kiczales. Beyond the Black Box: Open Implementation. IEEE Sofnvare, 13(I):8-11, Jan. 1996.

Digital Library

Google Scholar

[23]

$. Kleiman. Vnodes: An Architecture for Multiple File System Types in Sun UNIX. In Proc. of the Summer 1986 USENIX Conf., pages 238- 247, Atlanta, GA, June 1986.

Google Scholar

[24]

G. Lehey. The Complete FreeBSD. Walnut Creek CDROM Books, 1996.

Digital Library

Google Scholar

[25]

Microsoft Corporation and Digital Equipment Corporation. Component Object Model Specification, Oct. 1995. 274 pp.

Google Scholar

[26]

R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.

Digital Library

Google Scholar

[27]

W. Myers. Taligent's CommonPoint: The Promise of Objects. Computer, 28(3):78-83, Mar. 1995.

Digital Library

Google Scholar

[28]

R. Olsson. Personal communication, Feb. 1997.

Google Scholar

[29]

J. H. Reppy. CML: A Higher-order Concurrent Language. in Proc. ACM SlGPLAN Conf. on Programming Language Design and Implementation, pages 293-305, June 1991.

Digital Library

Google Scholar

[30]

M.i. Seltzer, Y. Endo, C. Small, and IC A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Proc. of the Second $ymp. on Operating Systems Design and Implementation, pages 213- 227, Seattle, WA, Oct. 1996. USENIX Assoc.

Digital Library

Google Scholar

[31]

The SR Progmnuning Language, Version 2.3.1, Dec. 1995. http'.//www, cs.arizona, edu/sr/.

Google Scholar

[32]

R.M. Stallman and Cy~ Support. Debugging with GDB: The GNU Source-LevelDebugger. Free Software Foundation, Inc., Boston, MA, 4.12 edition, }an. 1994.

Google Scholar

[33]

Sun Microsystems, Inc. JavaOS: A Standalon~ Java Environment, Feb. 1997. http://www.javasoftcom/products/javaos/- javaos.white.html.

Google Scholar

[34]

7'. Wilkinson. KAFFE - A virtual machine to mn Java code. htlp://www, tj wass oc.demon.co.uk/kaffe/kaffe.h~.

Google Scholar

[35]

Wind River Systems, Inc., Alameda, CA. VxWorks Programmer9 Guide, 1995.

Google Scholar

Cited By

View all

Ebling M(2024)Resources for Teaching Operating Systems: A Survey of Instructors and a Literature ReviewACM Transactions on Computing Education10.1145/368885324:4(1-28)Online publication date: 24-Oct-2024
https://dl.acm.org/doi/10.1145/3688853
Agarwal SPhanishayee AVenkataraman S(2024)Blox: A Modular Toolkit for Deep Learning SchedulersProceedings of the Nineteenth European Conference on Computer Systems10.1145/3627703.3629583(1093-1109)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3627703.3629583
Wang BNoorafshan SAchermann RSeltzer M(2023)Synthesizing Device Drivers with Ghost WriterProceedings of the 12th Workshop on Programming Languages and Operating Systems10.1145/3623759.3624545(10-17)Online publication date: 23-Oct-2023
https://dl.acm.org/doi/10.1145/3623759.3624545
Show More Cited By

Index Terms

The Flux OSKit: a substrate for kernel and language research
1. Software and its engineering

Recommendations

A flux-split algorithm applied to conservative models for multicomponent compressible flows

In this paper we consider a conservative extension of the Euler equations for gas dynamics to describe a two-component compressible flow in Cartesian coordinates. It is well known that classical shock-capturing schemes applied to conservative models are ...
Purification of Au EBID structures by electron beam post-irradiation under oxygen flux at room temperature

Purification of carbon-rich Au EBID structures localized post-treatment oxygen + electron beam at room temperature.Display Omitted Purification of carbon-rich Au structures at room temperature.Localized post-treatment: electron beam (e- beam) ...
Simulation of three-component fluid flows using the multiphase lattice Boltzmann flux solver

In this work, we extend the multiphase lattice Boltzmann flux solver, which was proposed in 1 for simulating incompressible flows of binary fluids based on two-component Cahn-Hilliard model, to three-component fluid flows. In the present method, the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principles

October 1997

303 pages

ISBN:0897919165

DOI:10.1145/268998

Chairmen:
Michel Banâtre
IRISA/INRIA
,
Henry Levy
Univ. of Washington, Seattle
,
Editor:
William M. Waite
Univ. of Colorado, Boulder

ACM SIGOPS Operating Systems Review Volume 31, Issue 5
Dec. 1997
301 pages
ISSN:0163-5980
DOI:10.1145/269005
Chairmen:
Michel Banâtre
IRISA/INRIA
,
Henry Levy
Univ. of Washington, Seattle
,
Editor:
William M. Waite
Univ. of Colorado, Boulder
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOSP97

Sponsor:

SIGOPS
INRIA

SOSP97: Sixteenth ACM Symposium on Operating Systems Principles

October 5 - 8, 1997

Saint Malo, France

Acceptance Rates

Overall Acceptance Rate 174 of 961 submissions, 18%

Upcoming Conference

SOSP '25

Sponsor:
sigops

ACM SIGOPS 31st Symposium on Operating Systems Principles

October 13 - 16, 2025

Seoul , Republic of Korea

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

177
Total Citations
View Citations
1,266
Total Downloads

Downloads (Last 12 months)198
Downloads (Last 6 weeks)23

Reflects downloads up to 30 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ebling M(2024)Resources for Teaching Operating Systems: A Survey of Instructors and a Literature ReviewACM Transactions on Computing Education10.1145/368885324:4(1-28)Online publication date: 24-Oct-2024
https://dl.acm.org/doi/10.1145/3688853
Agarwal SPhanishayee AVenkataraman S(2024)Blox: A Modular Toolkit for Deep Learning SchedulersProceedings of the Nineteenth European Conference on Computer Systems10.1145/3627703.3629583(1093-1109)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3627703.3629583
Wang BNoorafshan SAchermann RSeltzer M(2023)Synthesizing Device Drivers with Ghost WriterProceedings of the 12th Workshop on Programming Languages and Operating Systems10.1145/3623759.3624545(10-17)Online publication date: 23-Oct-2023
https://dl.acm.org/doi/10.1145/3623759.3624545
Anand VGarg DKaufmann AMace JDruschel PKaufmann AMace JFlinn JSeltzer M(2023)Blueprint: A Toolchain for Highly-Reconfigurable Microservice ApplicationsProceedings of the 29th Symposium on Operating Systems Principles10.1145/3600006.3613138(482-497)Online publication date: 23-Oct-2023
https://dl.acm.org/doi/10.1145/3600006.3613138
Lefeuvre HBădoiu VJung ATeodorescu SRauch SHuici FRaiciu COlivier PFalsafi BFerdman MLu SWenisch T(2022)FlexOS: towards flexible OS isolationProceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3503222.3507759(467-482)Online publication date: 28-Feb-2022
https://dl.acm.org/doi/10.1145/3503222.3507759
Mehrab ANikolaev RRavindran BBromberg YKermarrec AKozyrakis C(2022)KiteProceedings of the Seventeenth European Conference on Computer Systems10.1145/3492321.3519586(384-401)Online publication date: 28-Mar-2022
https://dl.acm.org/doi/10.1145/3492321.3519586
Jero SFurgala JPan RGadepalli PClifford AYe BKhazan RWard BParmer GSkowyra R(2021)Practical Principle of Least Privilege for Secure Embedded Systems2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS52030.2021.00009(1-13)Online publication date: May-2021
https://doi.org/10.1109/RTAS52030.2021.00009
Ma JLong Z(2021)Methods of Trim and Transplantation of Embedded Linux Kernel2021 IEEE International Conference on Power Electronics, Computer Applications (ICPECA)10.1109/ICPECA51329.2021.9362577(641-644)Online publication date: 22-Jan-2021
https://doi.org/10.1109/ICPECA51329.2021.9362577
Narayanan VHuang YTan GJaeger TBurtsev ANagarakatte SBaumann AKasikci B(2020)Lightweight kernel isolation with virtualization and VM functionsProceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments10.1145/3381052.3381328(157-171)Online publication date: 17-Mar-2020
https://dl.acm.org/doi/10.1145/3381052.3381328
Narayanan VBalasubramanian AJacobsen CSpall SBauer SQuigley MHussain AYounis AShen JBhattacharyya MBurtsev ADan TDahlia M(2019)LXDsProceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference10.5555/3358807.3358831(269-284)Online publication date: 10-Jul-2019
https://dl.acm.org/doi/10.5555/3358807.3358831
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A flux-split algorithm applied to conservative models for multicomponent compressible flows

Purification of Au EBID structures by electron beam post-irradiation under oxygen flux at room temperature

Simulation of three-component fluid flows using the multiphase lattice Boltzmann flux solver