Engler, D., Kaashoek, M. F., and O'Toole, J. 1994. The operating system kernelas a secureprogrammablemachine.In 6th SIGOPSEuropean Workshop, Schloß Dagstuhl, Germany, pp. 62--67.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
On μ-Kernel Construction - Liedtke (1995)   (Correct)

....that the trusted callee can access the parameters in the caller space. e.g. LRPC [Bershad et al. 1989] and NetWare [Major et al. 1994] use a similar technique. thread control blocks, could be held in virtual memory in the same way as other data. Exokernel. In contrast to Spin, the Exokernel [Engler et al. 1994; Engler et al. 1995] is a small and hardware dependent kernel. In accordance with our processor dependency thesis, the exokernel is tailored to the R2000 and gets excellent performance values for its primitives. In contrast to our approach, it is based on the philosophy that a kernel should not ....

Engler, D., Kaashoek, M. F., and O'Toole, J. 1994. The operating system kernelas a secureprogrammablemachine.In 6th SIGOPSEuropean Workshop, Schloß Dagstuhl, Germany, pp. 62--67.

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