School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
Next: L4 Threads
Up: 01-l4
Previous: L4 Implementation Example: MIPS
- threads:
- execution abstraction and UIDs
- tasks:
- address spaces and resources
- IPC:
- message-based communication, including VM mappings
- flexpages:
- VM page abstraction, including multiple page sizes
- clans and chiefs:
- task hierarchy for (arbitrary) security models
- pagers, excepters, preempters, interrupt handlers:
- exceptions
- Mostly strict separation of:
- mechanisms (provided by kernel) and
- policy (implemented by user-level servers).
- Minimality achieved by orthogonality of mechanisms.
.
Gernot Heiser
2002-08-07