specify -> code -> optimise -> deploy
ioa, ocaml, nuprl
digging deeper from spec to implementation
Spring Operating System
-> spring system
Java RMI, EJB
How to innovate OS?
brand new os? or better implementation of known os?
Market place needs
-large complex server software
=>Take the Intel inside approach… in the case unix inside for box makers like sun microsystems
Spring Approach
Strong interfaces, open, flexible, and extensible
conncet to other machines, Mkernel(threads/ipc)
All outside the kernel
Nucleus – “microkernel” of Spring
Domain, Door table, Door IDs, nucleus, door, target domain
Object invocation across the network
client domain, server domain, proxy A・B、Nucleus
client domain -> doory nucleusB -> front object -> underlying object -> ACL
