Root

OCAP OS

Today I want to speak of a cap savvy OS and how it relates to language design. There are at least two motivations:

These are two areas that have adopted cap ideas and maps between them stimulate useful ideas.
Most computers employ an OS and many believe that a cap OS is the only hope for a secure OS, which is critical to just about any computer security.

Actually I want to describe a cap system built on conventional Hardware preserving most conventional software. My goal is convince you that:

It is feasible (one need not boil the ocean),
Such security is necessary for many of the goals of this meeting,
It would be a nice neighborhood.

Actually that’s too much to ask but perhaps I can convince you that it may be possible and thus worth further study. I will talk about the Keykos OS mostly because I am familiar with it. There are a few others as well—some recent.

I consider this a wonderful opportunity to start conversations: norm@cap-lore.com .
What I plan to say today, and much more is at:
http://cap-lore.com/CapTheory/Talk2 .

Introduction
What are Caps and Objects?
Puzzlement
Space and Time
Global Access
Security Perimeter
The anatomy of a proposed system which has been partly built
Less is More
Virtual Reality for aliens
New kernel like Patterns
Confinement
Debugging.

Flakey:
Topics
Clip Board
Mac Spaces
Metaphors
Conventional Cap Hardware?
Markets

Blunt talk and bold claims, and much of the mass of this talk.
Harping on Extant Systems
One ring to rule them all