Shreyas’ Notes

Advanced Operating Systems and Security

COMP 417

fall, senior year

History of OSes §

Principles §

Sources of Complexity:

Dealing with complexity:

Exokernel §

The defining tragedy of the operating system community has been the definition of an OS as a software that both multiplexes and abstracts physical resources.

poor {reliability,adaptability,performance,flexibility}

[…] hardware should provide primitives, not high-level abstractions.

exokernel implementation:

removing layers of abstraction

they don’t protect the page tables properly?

Sel4 §

Software Fault Isolation §