Implementering af multiplexing mikro-kerne |
| | Abstract | Many modern operating systems need to support two radically different types of application:
Real-time applications with Quality of Service requirements and traditional applications whose resource requirements can be met in a best effort manner. As it is difficult to deal with both types of application within a single operating system, a number of proposals have been made for alternative approaches in which two or more OSs are combined. In this project, the aim is to investigate one such proposal, in which a small microkernel offers a multiplexing facility, enabling two or more OSs to access the physical hardware in the machine in an efficient manner.
The target of this project is to specify and implement such a multiplexing micro kernel. The microkernel itself should only offer very basic facilities, so that an OS can handle processes, memory management and basic disk I/O. Interfaces to the (potential) OSs must be defined which allow:
- access from the OS to hardware devices;
- filtering of the view of the hardware seen by the individual OSs;
- negotiation between the individual OSs and the microkernel with respect to the amount of given resources to be made available to that OS.
In the first instance, filtering and resource negotiation in a static manner (at
boot time) should be offered. If time allows, algorithms for allowing these features to be negotiated dynamically can be added. As a concrete example of an OS which can be used in conjunction with the multiplexing microkernel, it is expected that Linux will be used, and many parts of the kernel can be based on facilities which are readily available in existing Linux implementations. | | Keywords | virtualisation, virtual machine, VM, multiplexing, microkernel, privilege level, operating system, OS | | Type | Master's thesis [Academic thesis] | | Year | 2002 | | Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU | | Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby | | Series | IMM-EKS-2002-44 | | Electronic version(s) | [pdf] [ps] | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|