Object-capability systems
From Erights
(Difference between revisions)
| Line 3: | Line 3: | ||
! Substrate || || Historical System || || System | ! Substrate || || Historical System || || System | ||
|- | |- | ||
| - | | Hardware || || Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432 || || CHERI, Risc-V | + | | Hardware || || Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432 || || CHERI, Risc-V |
|- | |- | ||
| - | | OS || || DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos | + | | OS || || DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos || || Capsicum, seL4, Fuscia |
|- | |- | ||
| - | | Language || || Gedanken, W7 | + | | Distributed OS || || Ameoba, Mach, Midori || || |
| + | |- | ||
| + | | Language || || Gedanken, W7, Joe-E, Emily, Caja || || Monte, Frozen Realms, Wyvern, wasm-gc | ||
| + | |- | ||
| + | | Distributed Language || || Eden, Emerald, Joule, E, M# || || Pony, Kappa, Dr.SES | ||
|- | |- | ||
| Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken || || Cap’n Proto | | Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken || || Cap’n Proto | ||
Revision as of 03:35, 11 March 2018
| Substrate | Historical System | System | ||
|---|---|---|---|---|
| Hardware | Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432 | CHERI, Risc-V | ||
| OS | DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos | Capsicum, seL4, Fuscia | ||
| Distributed OS | Ameoba, Mach, Midori | |||
| Language | Gedanken, W7, Joe-E, Emily, Caja | Monte, Frozen Realms, Wyvern, wasm-gc | ||
| Distributed Language | Eden, Emerald, Joule, E, M# | Pony, Kappa, Dr.SES | ||
| 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, Agoric Systems | |||
| User Interface | CapDesk, Belay | Sandstorm |
