Advanced Operating Systems
COMP9242 2002/S2
UNSW
Printer-Friendly Version
Administration
-
Notices
-
Course Intro
-
Consultations
# On-line Survey (closed)
-
Survey Results
Work
-
Lectures
-
Milestone 0
-
Project Admin
-
Project Spec
-
Project FAQ
-
Exam
Documentation
-
ASysT Lab
-
L4 source browser
-
Sulima ISA Simulator
-
R4x00 ISA Summary
-
MIPS R4700 Reference
-
MIPS R4000 User Manual
-
Network Driver
-
GT64111
Related Info
-
Aurema OS Prize
-
OS Hall of Fame
History
-
2000
-
1999
-
1998
Staff
-
Gernot Heiser
(LiC)
Next:
Resource Management in Mungi
Resource Management in Mungi
Resource Management ...
Resource Management Using Bank Accounts
Graceful degradation
Fairness
Resource management issues:
Linking in Mungi
Inherent features of a SASOS:
Static linking in UNIX
Dynamic linking in UNIX
Properties of dynamic linking:
Symbol resolution at load time
Lazy loading
Dynamic linking problems
The global offset table is
private static data
:
Linking in a SASOS
Features of global static linking
Problems with private static data
Dynamic linking in Mungi
Dynamic linking in Mungi...
Module description object
Code preparation process
Problems: Exported variables
Performance
Performance: Apples vs Apples (i.e., 64-bit static)
Conclusions
Mungi: Recent Achievements
Present Mungi-related activities:
Other OS Research at UNSW
Bibliography
About this document ...
Gernot Heiser 2002-10-31