Operating system specification

Document formatted by vherva at Fri Apr 24 11:23:49 1998 on the host schemestation. This document is produced by the SchemeStation project during the Tik-76.115 course.

1. Authors
2. Introduction
   1. Structure and scope of this specification
3. Overview of the system
   1. Agents
   2. Domains
   3. Agent identities and addresses
4. Kernel system
   1. Memory model: garbage-collected, list-structured, typed heap
   2. Virtual machine
   3. Agents
   4. Addresses
   5. Persistence
   6. Functional parts of the kernel system
      1. Domain kernel agent
      2. Scheduler
      3. Address system
   7. System boot-ups
      1. Initial boot-up
      2. System wake-up
   8. Message passing
      1. The semantics of message passing
      2. Address transfer in inter-domain communications
   9. Creating and deleting agents
   10. Kernel agent interface
   11. Kernel system security
5. The operating environment OE1
   1. Object identifiers and object servers
      1. Object identifiers and object templates
      2. Object servers
      3. Name servers
   2. Agent migration
   3. OE1 terminals
      1. Terminal boot-up
   4. Agent and address bookkeeping; remapping of addresses
      1. Messages used
      2. Address space resolving algorithm
      3. Agent bookkeeping
   5. User authorization
      1. User identity
      2. Authorization agents
      3. Authorization methods
         1. RSA authentication