Interposition as an Operating System Extension Mechanism

Douglas P. Ghormley, Steven H. Rodrigues, David Petrou and Thomas E. Anderson

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-96-920
March 1997

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1996/CSD-96-920.pdf

Modern production operating systems are large and complex systems developed over many years by large teams of programmers, containing many hundreds of thousands of lines of code. Consequently, it is extremely difficult to add significant new functionality to these systems. In response to this problem, a number of recent research projects have addressed the issue of extensible operating systems; these include SPIN, VINO, Exokernel, Lipto, and Fluke. This paper addresses the problem of providing extensibility for existing production operating systems such as Solaris, through the technique of interposition on existing kernel interfaces. Interposition is useful for extensions because it is transparent, it permits the incremental addition of functionality to an interface, and it enables the easy composition of multiple extensions.

We have designed and implemented a prototype extension mechanism, SLIC, which utilizes interposition to efficiently insert trusted extension code into a production operating system kernel. We have used SLIC to implement a number of useful operating system extensions, such as a patch to fix a security hole described in a CERT advisory, an encryption file system, and a restricted execution environment for arbitrary untrusted binaries. Performance measurements of the SLIC prototype show that interposition on existing kernel interfaces can be accomplished efficiently.


BibTeX citation:

@techreport{Ghormley:CSD-96-920,
    Author = {Ghormley, Douglas P. and Rodrigues, Steven H. and Petrou, David and Anderson, Thomas E.},
    Title = {Interposition as an Operating System Extension Mechanism},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1997},
    Month = {Mar},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/6212.html},
    Number = {UCB/CSD-96-920},
    Abstract = {Modern production operating systems are large and complex systems developed over many years by large teams of programmers, containing many hundreds of thousands of lines of code. Consequently, it is extremely difficult to add significant new functionality to these systems. In response to this problem, a number of recent research projects have addressed the issue of extensible operating systems; these include SPIN, VINO, Exokernel, Lipto, and Fluke. This paper addresses the problem of providing extensibility for existing production operating systems such as Solaris, through the technique of interposition on existing kernel interfaces. Interposition is useful for extensions because it is transparent, it permits the incremental addition of functionality to an interface, and it enables the easy composition of multiple extensions. <p>We have designed and implemented a prototype extension mechanism, SLIC, which utilizes interposition to efficiently insert trusted extension code into a production operating system kernel. We have used SLIC to implement a number of useful operating system extensions, such as a patch to fix a security hole described in a CERT advisory, an encryption file system, and a restricted execution environment for arbitrary untrusted binaries. Performance measurements of the SLIC prototype show that interposition on existing kernel interfaces can be accomplished efficiently.}
}

EndNote citation:

%0 Report
%A Ghormley, Douglas P.
%A Rodrigues, Steven H.
%A Petrou, David
%A Anderson, Thomas E.
%T Interposition as an Operating System Extension Mechanism
%I EECS Department, University of California, Berkeley
%D 1997
%@ UCB/CSD-96-920
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1997/6212.html
%F Ghormley:CSD-96-920