The Mungi Single-Address-Space Operating System Heiser, Gernot en_US Elphinstone, Kevin en_US Vochteloo, J en_US Russell, Stephen en_US Liedtke, Jochen en_US 2021-11-25T13:31:28Z 2021-11-25T13:31:28Z 1998 en_US
dc.description.abstract Single-address-space operating systems (SASOS) are an attractive model for making the best use of the wide address space provided by the latest generations of microprocessors. SASOS remove the address space boundaries which make data sharing between processes difficult and expensive in traditional operating systems. They offer the potential of significant performance advantages for applications where sharing is important, such as object-oriented databases or persistent programming systems. We have built the Mungi system to demonstrate that a SASOS can offer these performance advantages without resorting to special hardware. Mungi is a very `pure` SASOS, featuring an unintrusive protection model based on sparse capabilities, a fast protected procedure call mechanism, and uses shared memory as the exclusive inter-process communication mechanism, as well as for I/O. The simplicity of our model makes it easy to implement it efficiently on conventional architectures. Our implementation of Mungi for the MIPS R4600 64-bit microprocessor is presented, which is based on our port of the L4 microkernel. Mungi is shown to outperform, in some instances by more than an order of magnitude, two UNIX operating systems, Irix and Linux, in several important operations, such as task creation and inter-process communications, and on the OO1 object-oriented database benchmark. As well, we describe how our approach to key issues in SASOS design provides better performance than other systems, such as Opal. Our experience shows that the SASOS concept is viable, and that a well-designed microkernel is an excellent base on which to build high-performance operating systems. en_US
dc.identifier.issn 0038-0644 en_US
dc.language English
dc.language.iso EN en_US
dc.rights CC BY-NC-ND 3.0 en_US
dc.rights.uri en_US
dc.source Legacy MARC en_US
dc.title The Mungi Single-Address-Space Operating System en_US
dc.type Journal Article en
dcterms.accessRights metadata only access
dspace.entity.type Publication en_US
unsw.identifier.doiPublisher<901::AID-SPE181>3.0.CO;2-7 en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofissue 8 en_US
unsw.relation.ispartofjournal Software: Practice and Experience en_US
unsw.relation.ispartofpagefrompageto 901-928 en_US
unsw.relation.ispartofvolume 28 en_US
unsw.relation.originalPublicationAffiliation Heiser, Gernot, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Elphinstone, Kevin, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Vochteloo, J, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Russell, Stephen, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Liedtke, Jochen en_US School of Computer Science and Engineering *
Resource type