Topic 8: safely extending OSs
Context:
–Some applications may require from the OS kernel some new or specialized functionality, for performance or
security.
–For example,
a new file buffering scheme for Web server apps.
Problem:
–How to allow the applications extending the OS while ensuring safety (i.e., the kernel will not crash, or be hijacked by the
extension)?
Solution:
–Type safety: if types match (checked by kernel or compiler) then no crash will happen.
Papers:
–
–
–
–