3 ms·
The starting point for this set of pages is http://www.cap-lore.com/CapTheory/ http://www.cap-lore.com/CapTheory/ and from there it recommends http://habitatchr
by abecedarius 5y ago
The starting point for this set of pages is http://www.cap-lore.com/CapTheory/ http://www.cap-lore.com/CapTheory/ and from there it recommends http://habitatchronicles.com/2017/05/what-are-capabilities/ http://habitatchronicles.com/2017/05/what-are-capabilities/ as basic intro (and so do I). The author was an architect of a 1970s/80s OS that's little known but that apparently influenced seL4 a lot. These pages aren't introductory but I'm glad they exist.
A sensory key was a kind of transitive attenuator: it's like a read-only reference to an object such that if you use it to fetch a property from the object, the reference to the property that you get back is also a sensory key. (This is my understanding but I may be confused; I've only read about this OS.)
- kragen 5y agoFWIW if you talk to Jonathan Shapiro he will happily tell you that he was the one that convinced the L4 folks that capabilities were the right way to do things, replacing Liedtke's kind of lame chiefs-and-clans model. I think he's probably correct, because (quite aside from the particular encounters he describes) the resurgence of capability systems in the late 01990s owed an enormous amount to his work popularizing them. I'm pretty sure your memory of sensory keys is correct, but I haven't run KeyKOS either.
- abecedarius 5y agoThanks, I didn't know anything about the route of transmission.