Unix Fault Model

• Faults in address spaces

  • Halt the AS
  • clean up hernel resources:
    • Memory
    • Files descriptors and state (e.g. sockets)
    • Shared memory? Semaphores?

• What about a fault in the executive?