Object-capability systems
From Erights
(Difference between revisions)
Line 5: | Line 5: | ||
! Substrate || || Historical System || || System | ! Substrate || || Historical System || || System | ||
|- | |- | ||
- | | Hardware || || Plessey 250, CAP, C.mmp, CM*, IBM System/38, Intel 432 || || CHERI, Risc-V | + | | Hardware || || Plessey 250, CAP, C.mmp, CM*, IBM System/38, Intel 432 || || CHERI, [https://riscv.org/ Risc-V] |
|- | |- | ||
- | | OS || || DVH, Hydra, StarOS, Cal-TSS, PSOS || || Capsicum, [http://www.barrelfish.org/ Barrelfish], Fuscia | + | | OS || || DVH, Hydra, StarOS, Cal-TSS, PSOS || || [https://www.cl.cam.ac.uk/research/security/capsicum/ Capsicum], [http://www.barrelfish.org/ Barrelfish], Fuscia |
|- | |- | ||
- | | KeyKOS family OS || || Gnosis, KeyKOS, GuardOS, EROS, [http://www.capros.org/ CapROS], Coyotos || || seL4 | + | | KeyKOS family OS || || Gnosis, KeyKOS, GuardOS, EROS, [http://www.capros.org/ CapROS], Coyotos || || [https://sel4.systems/ seL4] |
|- | |- | ||
| Distributed OS || || Ameoba, Mach, Midori || || | | Distributed OS || || Ameoba, Mach, Midori || || |
Revision as of 05:07, 11 March 2018
These are all capability systems, but not all are ocap systems.
Substrate | Historical System | System | ||
---|---|---|---|---|
Hardware | Plessey 250, CAP, C.mmp, CM*, IBM System/38, Intel 432 | CHERI, Risc-V | ||
OS | DVH, Hydra, StarOS, Cal-TSS, PSOS | Capsicum, Barrelfish, Fuscia | ||
KeyKOS family OS | Gnosis, KeyKOS, GuardOS, EROS, CapROS, Coyotos | seL4 | ||
Distributed OS | Ameoba, Mach, Midori | |||
Language | Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict | Monte, Frozen Realms, Wyvern, wasm-gc | ||
Distributed Language | Act-1, Eden, Emerald, Vulcan, Joule, E, M# | Pony, Kappa, Dr.SES | ||
Distributed Storage | Scoopfs | Tahoe-LAFS | ||
Crypto Protocol | DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken | Cap’n Proto | ||
Offline Certs | SPKI/SDSI, E-Speak, CapCert | Macaroons, lds-ocap | ||
Blockchain | Gravity, Dfinity, RChain, Cosmos, Veres One, Agoric Systems | |||
User Interface | CapDesk, Belay | Sandstorm |