Großer Beleg:
Steps Towards Porting a Unix Single Server to the L3 Microkernel

This document is also available in PostScript format.

• 1 Introduction
  • 1.1 Motivation
    • 1.1.1 Why Porting a Unix Single Server To L3?
    • 1.1.2 Which Single Server Project Should We Start With?
  • 1.2 How To Tackle the Project?
  • 1.3 Typographic Conventions Used in This Document
  • 1.4 Thanks

• 2 State of the Art
  • 2.1 Microkernel Technology
    • 2.1.1 L3
    • 2.1.2 Mach
    • 2.1.3 Comparison
  • 2.2 Unix Operating Systems as Microkernel Application Programs
    • 2.2.1 Approaches
    • 2.2.2 Implementation of Lites on Mach
  • 2.3 Development Environment for L3 programs

• 3 Design
  • 3.1 Steps Towards Porting Lites to L3
  • 3.2 C Threads on L3
    • 3.2.1 Alternatives
    • 3.2.2 Discussion
  • 3.3 Ports Emulation
    • 3.3.1 Alternatives
    • 3.3.2 Discussion
    • 3.3.3 Design of the Port Emulation Library
  • 3.4 IPC
    • 3.4.1 Alternatives
    • 3.4.2 Discussion
    • 3.4.3 Design
    • 3.4.4 Alternative Design
  • 3.5 Emulating Mach's VM Subsystem
    • 3.5.1 External Pager Interface
    • 3.5.2 Memory Region Manipulation Interface
  • 3.6 Infrastructure
    • 3.6.1 Requirements
    • 3.6.2 Programs
    • 3.6.3 Possible Approaches
    • 3.6.4 Decision
    • 3.6.5 Running the compiled programs

• 4 Implementation
  • 4.1 Libmach Emulation
    • 4.1.1 Ports
    • 4.1.2 IPC
    • 4.1.3 Virtual Memory Interface
    • 4.1.4 Utilities
  • 4.2 C Threads Library

• 5 Performance
  • 5.1 Measurement Environment
  • 5.2 Message Passing Benchmark
    • 5.2.1 Environment
    • 5.2.2 Results
    • 5.2.3 Discussion
  • 5.3 RPC Benchmark
    • 5.3.1 Environment
    • 5.3.2 Results
    • 5.3.3 Discussion
  • 5.4 Evaluation

• 6 Summary and Conclusions

• Bibliography