Automatically assigned DDC number: 00543

Manually assigned DDC number: 00543

Number of references: 8

Title: The Flux OS Toolkit: Reusable Components for OS Implementation

Author:

Author:

Author:

Author:

Author:

Author:

Subject: Bryan Ford,Kevin Van,Maren Jay,Lepreau Stephen,Clawson Bart,Robinson Jeff Turner The Flux OS Toolkit: Reusable Components for OS Implementation

Description: 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 toolkit's implementation itself embodies reuse techniques by incorporating components such as device drivers, file systems, and networking code, unchanged, from other sources. We believe the kit also makes feasible the production of highly assured embedded and operating systems: by enabling reuse of low-level code, the high cost of detailed verification of that code can be amortized over many systems for critical environments. The OS toolkit is already heavily used in several different OS and progra...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-04-02

Pubyear: 1997

Format: ps

Identifier: http://citeseer.ist.psu.edu/170038.html

Source: ftp://mancos.cs.utah.edu/papers/oskit-hotos6.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/160445.html"   Type="inproceedings"   CiteSeer_Book="Workshop   on   Hot   Topics   in   Operating   Systems"   CiteSeer_Volume=""   Title="The   Network   Hardware   is   the   Operating   System,">

            <identifier   Org="ISBN:0818678348"   Paper_ID="/160445.html"   Extracted="0818678348"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540654607"   Paper_ID="/160445.html"   Extracted="3540654607"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/161231.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Portable   Run-Time   System   for   the   SR   Concurrent   Programming   Language,">

            <identifier   Org="ISBN:0818678348"   Paper_ID="/161231.html"   Extracted="0818678348"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/34266.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Operating   Systems   Principles"   CiteSeer_Volume=""   Title="Exokernel:   An   Operating   System   Architecture   for   Application-Level   Resource   Management,">

            <identifier   Org="ISBN:076950602X"   Paper_ID="/34266.html"   Extracted="076950602X"   />

            <identifier   Org="ISBN:0780337999"   Paper_ID="/34266.html"   Extracted="0780337999"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818678194"   Paper_ID="/34266.html"   Extracted="0818678194"   />

            <identifier   Org="ISBN:1402052626"   Paper_ID="/34266.html"   Extracted="1402052626"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1558606513"   Paper_ID="/34266.html"   Extracted="1558606513"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:158488360X"   Paper_ID="/34266.html"   Extracted="158488360X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354020122X"   Paper_ID="/34266.html"   Extracted="354020122X"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540202242"   Paper_ID="/34266.html"   Extracted="3540202242"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354022906X"   Paper_ID="/34266.html"   Extracted="354022906X"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540230033"   Paper_ID="/34266.html"   Extracted="3540230033"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540297901"   Paper_ID="/34266.html"   Extracted="3540297901"   />

            <identifier   Org="ISBN:3540405364"   Paper_ID="/34266.html"   Extracted="3540405364"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540419993"   Paper_ID="/34266.html"   Extracted="3540419993"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540426736"   Paper_ID="/34266.html"   Extracted="3540426736"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540661301"   Paper_ID="/34266.html"   Extracted="3540661301"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540662383"   Paper_ID="/34266.html"   Extracted="3540662383"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540677615"   Paper_ID="/34266.html"   Extracted="3540677615"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354073550X"   Paper_ID="/34266.html"   Extracted="354073550X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/64629.html"   Type="inproceedings"   CiteSeer_Book="Operating   Systems   Design   and   Implementation"   CiteSeer_Volume=""   Title="Microkernels   Meet   Recursive   Virtual   Machines,">

            <identifier   Org="ISBN:0321117891"   Paper_ID="/64629.html"   Extracted="0321117891"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0769502016"   Paper_ID="/64629.html"   Extracted="0769502016"   />

            <identifier   Org="ISBN:0769507131"   Paper_ID="/64629.html"   Extracted="0769507131"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:076951040X"   Paper_ID="/64629.html"   Extracted="076951040X"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0780341597"   Paper_ID="/64629.html"   Extracted="0780341597"   />

            <identifier   Org="ISBN:0818676922"   Paper_ID="/64629.html"   Extracted="0818676922"   />

            <identifier   Org="ISBN:0818678348"   Paper_ID="/64629.html"   Extracted="0818678348"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0818680733"   Paper_ID="/64629.html"   Extracted="0818680733"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0818684518"   Paper_ID="/64629.html"   Extracted="0818684518"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1598292129"   Paper_ID="/64629.html"   Extracted="1598292129"   />

            <identifier   Org="ISBN:1880446227"   Paper_ID="/64629.html"   Extracted="1880446227"   />

            <identifier   Org="ISBN:1880446286"   Paper_ID="/64629.html"   Extracted="1880446286"   />

            <identifier   Org="ISBN:1880446332"   Paper_ID="/64629.html"   Extracted="1880446332"   />

            <identifier   Org="ISBN:1931971145"   Paper_ID="/64629.html"   Extracted="1931971145"   />

            <identifier   Org="ISBN:3540666737"   Paper_ID="/64629.html"   Extracted="3540666737"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/64544.html"   Type="inproceedings"   CiteSeer_Book="USENIX   Annual   Technical   Conference"   CiteSeer_Volume=""   Title="Linux   Device   Driver   Emulation   in   Mach,">

            <identifier   Org="ISBN:0818678348"   Paper_ID="/64544.html"   Extracted="0818678348"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="1.0"   />

            <identifier   Org="ISBN:1880446766"   Paper_ID="/64544.html"   Extracted="1880446766"   />

      </rec>

      <rec   ID="/105900.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Functional   Programming"   CiteSeer_Volume=""   Title="Automatic   Management   of   Operating   System   Resources,">

            <identifier   Org="ISBN:0818678348"   Paper_ID="/105900.html"   Extracted="0818678348"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/105900.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/21901.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{VINO}:   An   Integrated   Platform   for   Operating   Systems   and   Database   Research,"   />

      <rec   ID="/33328.html"   Type="inproceedings"   CiteSeer_Book="2nd   Symposium   on   Operating   Systems   Design   and   Implementation   OSDI   96"   CiteSeer_Volume=""   Title="{User-level   Checkpointing   Through   Exportable   Kernel   State},">

            <identifier   Org="ISBN:0818676922"   Paper_ID="/33328.html"   Extracted="0818676922"   />

            <identifier   Org="ISBN:0818678348"   Paper_ID="/33328.html"   Extracted="0818678348"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1880446006"   Paper_ID="/33328.html"   Extracted="1880446006"   />

            <identifier   Org="ISBN:354020122X"   Paper_ID="/33328.html"   Extracted="354020122X"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354042735X"   Paper_ID="/33328.html"   Extracted="354042735X"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="The   Flux   OS   Toolkit:   Reusable   Components   for   OS   Implementation">

            <identifier   Org="ISBN:076951040X"   Paper_ID="SELF"   Extracted="076951040X"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818678348"   Paper_ID="SELF"   Extracted="0818678348"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818680733"   Paper_ID="SELF"   Extracted="0818680733"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540422528"   Paper_ID="SELF"   Extracted="3540422528"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354063343X"   Paper_ID="SELF"   Extracted="354063343X"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354073550X"   Paper_ID="SELF"   Extracted="354073550X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540743081"   Paper_ID="SELF"   Extracted="3540743081"   DDC="004.22"   Normalized_DDC="00422"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540787887"   Paper_ID="SELF"   Extracted="3540787887"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

      </rec>

</references_metadata>