B Literatur

  1. François Barbou des Places, Nick Stephen: Linux on the OSF Mach3 microkernel; 1996 FSF-sponsored Conference on Freely Distributable Software
  2. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M.E. Fiuczynski, D. Becker, C. Chambers, S. Eggers: Extensibility, Safety and Performance in the SPIN Operating System; 1995 SOSP
  3. D. Hildebrand: An architectural overview of QNX; 1992 1st Usenix Workshop on Micro-kernels and Other Kernel Architectures, Seattle, WA, pp. 113--126.
  4. Jochen Liedtke: On -Kernel Construction; 1995 SOSP
  5. Michael Hohmuth, Sven Rudolph: Steps Towards Porting a Unix Single Server to the L3 Microkernel; 1996 Großer Beleg an der Fak. Informatik der TU Dresden
  6. Jean Wolter: Emulation des UNIX-Prozeßkonzepts auf dem Mikrokern L3; 1995 Master's Thesis, Dept. of Computer Science, TU Dresden; Technical report TUD/FI/95/12
  7. D. Golub, R. Dean, A. Forin, R. Rashid: UNIX as an Application Program; 1990 School of Computer Science, Carnegie Mellon University
  8. J. Helander: Unix under Mach: The Lites Server; 1994 Master Thesis, Dept. of Computer Science, Helsinki University of Technology
  9. G. Hammilton, P. Kougiouris: The Spring Nucleus: A Microkernel for Objects; 1993 Sun Microsystems Laboratories, Inc.
  10. K. Loepere (Editor): OSF Mach Kernel Principles, Revision 4; OSF Mach series, Open Software Foundation and Carnegie Mellon University
  11. J. M. Stevenson, D. P. Julin: Mach-US: UNIX On Generic OS Object Servers; 1995 Usenix Technical Conference
  12. Michael I. Bushnell: Towards a New Strategy of OS Design; The January 1994 GNU's Bulletin
  13. M. Condict, D. Mitchell, F. Reynolds: Optimizing Performance of Mach-based Systems By Server Co-Location: A Detailed Design; 1993 OSF Research Institute
  14. J. Liedtke: Improving IPC by kernel design; 1993 SOSP
  15. Jochen Liedtke: L4 Reference Manual - 486, Pentium, Pentium Pro; 1996 (available from ftp://borneo.gmd.de/pub/rs/L4/doc/)
  16. Jochen Liedtke: Clans & Chiefs; 1992 Architektur von Rechnersystemen, 12. GI/ITG Fachtagung, Kiel
  17. Greg Hankins (Editor): Linux Documentation Project; (available from http://www.uni-paderborn.de/Linux/mdw/)
  18. Michael K. Johnson (Editor): Linux Kernel Hacker's Guide; (available from http://www.redhat.com:8080/HyperNews/get/khg.html)
  19. Michael Hohmuth: Linux Architecture-Specific Kernel Interfaces; 1996 (available from http://os.inf.tu-dresden.de/~hohmuth/prj/linux-on-l4/)
  20. René Stange: Systematische Übertragung von Gerätetreibern von einem monolithischen Betriebssystem auf eine mikrokernbasierte Architektur; 1996 Master's Thesis, Dept. of Computer Science, TU Dresden
  21. Cristopher Small, Stephen Manley: A Revisitation of Kernel Synchronization Schemes; 1996 Harvard University
  22. Jochen Liedtke: L4-Zeiten; (private Email vom 29. August 1996)
  23. K. Loepere (Editor): OSF Mach Server Writer's Guide, Revision 4; OSF Mach series, Open Software Foundation and Carnegie Mellon University
  24. Larry McVoy, Carl Staelin: lmbench: Portable tools for performance analysis; 1995 USENIX Technical Conference
  25. Jean Wolter: lmbench, null system call and why are the numbers so bad; (Email-Nachricht an die L4-Linux-Mailingliste vom 8. August 1996)

Michael Hohmuth
29. August 1996