|
| |
|
Allgemein |
| |
|
Einführung: Mikrokern-Betriebssysteme |
Motivation(en) für Mikrokerne, bedeutende Beispiele, Grundprinzipien
- A. S. Tanenbaum: "Modern Operating Systems", Prentice Hall 1992. **
- J. Liedtke: "Toward Real Microkernels", Communications of the ACM, 39(9), pp. 70-77, September 1996 ***
- J. Liedtke: "µ-Kernels Must And Can Be Small", 5th IEEE International Workshop on Object-Orientation in Operating Systems (IWOOOS), Seattle, WA, October 1996 **
- J. Liedtke: "On µ-Kernel Construction." In Proceedings of the Fifteenth ACM Symposium on Operating System Principles. ACM Press, New York, NY, 1995, pp. 237-250.
|
|
GNU Hurd – Single-Server- vs. Multiserver-Ansatz |
|
|
Bootstrap / Bootup / Multiboot |
Prozessor Reset, Bios Bootstrap, Primary / Secondary Bootstrap Loader, MBR, Partitiontable, Bootsequence, Grub, Grub Stages, Grubimages, Kernel (Speicher-) Grösse, 1024 Zylinder, Phasen des Kernel Startups
- http://www.nondot.org/sabre/os/files/Booting/x86Bootstrapping.html ***
- http://www.gnu.org/software/grub/manual/grub.html **
- http://infocom.cqu.edu.au/Units/aut99/85321/Resources/Print_Resources/Textbook/chap12/ *
- http://billgatliff.com/articles/emb-linux/startup.pdf **
- http://www.nondot.org/~sabre/os/articles/TheBootProcess/ (Hintergrund)
|
|
Device Driver |
|
|
User-Level Device Driver am Beispiel von TCP |
- B. Leslie und G. Heiser: "Towards Untrusted Device Drivers", Technical Report UNSW-CSE-TR-0303, März 2003.
- P. Pradhan, S. Kandula, Wen Xu, A. Shaikh: "Daytona: A User-Level TCP Stack", 2002. Report *
- F. Hupfeld: "Design and Performance of a User-level Network Driver in a Multi-Server Operating System", Diplomarbeit, System Architecture Group, Universität Karlsruhe, 2002 ***
- C. Maeda, B. N. Bershad: "Protocol Service Decomposition for High-Performance Networking", Symposium on Operating Systems Principles, 1993 **
- Peter Chubb: "Get More Device Drivers out of the Kernel!", Proceedings of the Linux Symposium, Ottawa 2004
|
|
L4ka Kernel Debugger / Debugger |
| |
|
IPC / IPC Lücken und Schwächen |
| |
|
Asynchronous IPC via Synchronous IPC |
| |
|
Remote Procedure Calls |
| |
|
IDL (4) Compiler |
| |
|
Rechteverwaltung und Zugriffskontrollmechanismen |
- J. Liedtke: "Clans & Chiefs" In 12. GI/ITG-Fachtagung Architektur von Rechensystemen, pages 294–305, Kiel, March 1992. Springer.
- T. Jaeger, K. Elphinstone, J. Liedtke, V. Panteleenko und Y. Park: "Flexible Access Control Using IPC Redirection" In 7th Workshop on Hot Topics in Operating Systems (HotOS-VII), Rio Rico, Arizona, USA, 1999 ***
- Essays on Capabilities and Security
- J. S. Shapiro: "EROS: A Capability System", PhD thesis, University of Pennsylvania, April 1999. ***
- A.S. Tanenbaum, S.J. Mullender, R. van Renesse: "Using Sparse Capabilities in a Distributed Operating System", Proceedings of the Sixth International Conf on Distributed Computing Systems, IEEE, pp. 558-563, 1986.
|
|
IO-Flexpages |
|
|
|
|
