D. Engler. The Exokernel operating system architecture. Ph.D. Thesis, Massachusetts Institute of Technology, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Supporting Service Creation and Isolation in.. - Ruf, Bossardt.. (Correct)
....Summary Table 1 summarizes the basic requirements of the envisioned NodeOS. The requirement to execute third party code in a productive network environment imposes the strict obligation for protection, safetyness and reliability. 7 Resource Multiplexing Similar to the ideas of the ExoKernel [3] operating system, the NodeOS separates resource management from resource protection. Therefore, it reacts on action commands sent by the management EE only. Isolation Supported by the underlying hardware, the NodeOS provides mechanisms to isolate the PEs from each other. Interfaces A key ....
Engler, D.R., The Exokernel Operating System Architecture, Massachusetts Institute of Technology, Oct. 1998.
A Mechanism for Scalable Event Notification and Delivery in Linux - Ostrowski (2000) (1 citation) (Correct)
....known at the time of socket creation. Since we know memory requirements in advance we do not run out of available events as events are generated. 22 2. 5 The Exo Kernel Approach In recent years an alternative approach to operating systems design has been proposed in the form of the exo kernel [15, 14, 3]. The exo kernel philosophy is about reducing an operating system to a mechanism for multiplexing hardware and providing minimal support for abstractions on which applications are built. However, the exo kernel approach does in fact provide an abstraction: since its goal is to multiplex hardware, ....
....The SEND mechanism proposed in this thesis aims toward implementing such a noti cation mechanism. SEND too has major design points in common with exo kernel systems; the application is always responsible for restoring its previous execution state after it nishes handling an event noti cation [15, 14, 3] and the kernel is able to directly manipulate data in an application s memory to aid in informing it of events. The challenge in this endeavor is to apply these exo kernel like principles into a traditional monolithic kernel. 23 Chapter 3 Design and Implementation This chapter presents in ....
Dawson R. Engler. The Exokernel Operating System Architecture. PhD thesis, Massachusetts Institute of Technology, 1998.
Multiprocessing with the Exokernel Operating System - Chen (2000) (Correct)
....mutually untrusted processes share an abstraction with verifiable or no invariants, this abstraction can be placed in shared memory as well. If a malicious process tampers with the shared resource, other processes can use defensive programming techniques to protect themselves. For example, Engler [13] describes a UNIX pipe implementation that uses a shared record to track the number of bytes in the buffer used for the pipe. While it would be desirable for this byte count to remain consistent, it is a software engineering, rather than protection, issue. Since there are no guarantees on the ....
....the cost of memory copy and verification are minimal. If P2 corrupts its process table entry, the verification step performed by procd would fail. Subsequently, procd can choose to terminate P2. 4. 4 Efficient, Concurrent, and Protected Sharing of TCP Sockets Previous exokernel literatures [13, 15, 23] give guidelines for constructing protected sharing of common abstractions, but does not describe any implementation of such an abstraction. Briceno [11] implemented an UNIX flavor library operating system by leaving all abstractions in shared memory, completed unprotected from attacks by ....
D. Engler. The Exokernel operating system architecture. PhD thesis, Massachusetts Institute of Technology, 1999.
Real-Time Programming and L4 Microkernels - Sergio Ruocco National (Correct)
No context found.
D. Engler. The Exokernel operating system architecture. Ph.D. Thesis, Massachusetts Institute of Technology, 1999.
Solitary Confinement: Using Artificial Cells to Protect.. - Jeff Gilchrist Elytra (2005) (Correct)
No context found.
D. Engler. The Exokernel operating system architecture. PhD thesis, Massachusetts Institute of Technology, 1999.
A New Protection Model for Component-Based Operating Systems - Law (2001) (4 citations) (Correct)
No context found.
Dawson Engler. The Exokernel Operating System Architecture. PhD thesis, Massachusetts Institute of Technology, October 1993.
A Linux-based Node OS for Network Processors - Ruf, Bossardt, Plattner, Stadler (Correct)
No context found.
D. Engler. The exokernel operating system architecture, 1999.
Trusted Collaborative Real Time Scheduling in a Smart.. - Deville, Rippert, Grimaud (2004) (Correct)
No context found.
D. R. Engler. The Exokernel operating system architecture. PhD thesis, Massachusetts Institute of Technology (MIT), 1999.
A Distributed WCET Computation Scheme for Smart Card.. - Aissa, Ripper.. (2004) (Correct)
No context found.
D. R. Engler. The Exokernel Operating System Architecture. PhD thesis, Massachusetts Institute of Technology, 1998.
Flexible Bindings for Type-Safe Embedded Operating Systems - Deville, Rippert, Grimaud (Correct)
No context found.
D. R. Engler. The Exokernel Operating System Architecture. PhD thesis, Massachusetts Institute of Technology, October 1998.
Trusted Collaborative Real Time Scheduling in a Smart.. - Deville, Rippert, Grimaud (2004) (Correct)
No context found.
D. R. Engler. The Exokernel operating system architecture. PhD thesis, Massachusetts Institute of Technology (MIT), 1999.
High-Speed I/O: The Operating System as a Signalling Mechanism - Burnside, Keromytis (2003) (Correct)
No context found.
D. R. Engler. The Exokernel Operating System Architecture. PhD thesis, MIT, October 1998.
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