Microkernel - Wikipedia, the free encyclopedia
In computer science, a microkernel is a computer kernel that provides the mechanisms needed to implement an operating system, such as low-level address space management, thread management, and inter...
en.wikipedia.org/wiki/Microkernel
Kernel (computing) - Wikipedia, the free encyclopedia
In computing, the 'kernel' is the central component of most computer operating systems. Its responsibilities include managing the system's resources (the communication between hardware and software co...
en.wikipedia.org/wiki/Kernel_(computing)
Operating System Structure; Monolithic kernels (the \big mess" according to Tanenbaum) led to interest in more structured operating systems, such as layering and better structuring. Layered operating system example is Xinu|\a small, Look at excerpts from \Microkernel Operating System Architecture and Mach" paper;
web.cs.wpi.edu/~cs535/s08/week2-struct.pdf
One advantage of a layered operating system structure is that each layer of code ... One such implementation of microkernel based operating system is PARAS ...
www.buyya.com/microkernel/chap2.pdf www.buyya.com/microkernel/chap2.pdf
Besides managing complexity, the structure of the operating system can influence key features such as robustness or efficiency: ... The communication overhead inside the microkernel operating system can be higher than the communication overhead inside other software, however, research has shown this overhead to be manageable.
dsrg.mff.cuni.cz/~ceres/sch/osy/text/ch01s03s06.php
Thus, a general purpose of the present invention is to provide an efficient operating system structure that permits scaling from small, embedded systems type operating systems to relatively fully featured, network capable, standards compliant operating systems.
www.freepatentsonline.com/6075939.html
Generic Operating System Structure ... An Operating System is the layer between the hardware and software, as in ; ... An Operating System is responsible for the following functions...
jan.newmarch.name/ssw/intro/generic.html
Look at organization in Figure 4.9 (Stallings). Layered operating system example is Xinu-- ``a small, elegant operating system''. ... Look at ``Microkernel Operating System Architecture and Mach'' paper (1992).
www.cs.wpi.edu/~cew/courses/535/week2-struct/week2-stru... www.cs.wpi.edu/~cew/courses/535/week2-struct/week2-struct.html
In this paper we evaluate the memory system behavior of two distinctly different implementations of the UNIX operating system: DEC's Ultrix, a monolithic system, and Mach 3.0 with CMU's UNIX server, a microkernel-based system.
portal.acm.org/citation.cfm?id=168629&dl=ACM&coll=&CFID... portal.acm.org/citation.cfm?id=168629&dl=ACM&coll=&CFID=15151515&CFTOKEN=6184618
USENIX Association 8th USENIX Symposium on Operating Systems Design and Implementation 59; CuriOS: Improving Reliability through Operating System Structure; Francis M. David, Ellick M. An error that occurs in a microkernel operating system service can potentially result in state corruption and ser-vice failure.
www.usenix.org/event/osdi08/tech/full_papers/david/davi... www.usenix.org/event/osdi08/tech/full_papers/david/david.pdf