Object-capability systems

From Erights

(Difference between revisions)
Jump to: navigation, search
Line 11: Line 11:
| KeyKOS family OS || || [http://cap-lore.com/Agorics/Library/KeyKos/gnosisShare.html Gnosis], [http://cap-lore.com/Agorics/Library/keykosindex.html KeyKOS], GuardOS, [https://en.wikipedia.org/wiki/EROS_(microkernel) EROS], [http://www.capros.org/ CapROS], Coyotos || || [https://sel4.systems/ seL4]
| KeyKOS family OS || || [http://cap-lore.com/Agorics/Library/KeyKos/gnosisShare.html Gnosis], [http://cap-lore.com/Agorics/Library/keykosindex.html KeyKOS], GuardOS, [https://en.wikipedia.org/wiki/EROS_(microkernel) EROS], [http://www.capros.org/ CapROS], Coyotos || || [https://sel4.systems/ seL4]
|-
|-
-
| Distributed OS || || Ameoba, Mach, [http://joeduffyblog.com/2015/11/03/blogging-about-midori/ Midori] || ||
+
| Distributed OS || || Ameoba, [https://developer.apple.com/library/content/documentation/Darwin/Conceptual/KernelProgramming/Mach/Mach.html Mach], [http://joeduffyblog.com/2015/11/03/blogging-about-midori/ Midori] || ||
|-
|-
| Language || || Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict || ||  [http://monte.readthedocs.io/ Monte], [https://github.com/tc39/proposal-frozen-realms Frozen Realms], [http://shill.seas.harvard.edu/ shill], [http://wyvernlang.github.io/ Wyvern], [https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md wasm-gc]
| Language || || Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict || ||  [http://monte.readthedocs.io/ Monte], [https://github.com/tc39/proposal-frozen-realms Frozen Realms], [http://shill.seas.harvard.edu/ shill], [http://wyvernlang.github.io/ Wyvern], [https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md wasm-gc]

Revision as of 06:12, 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, NLTSS, Spring Capsicum, CloudABI, Barrelfish, Fuchsia
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, shill, 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 COAST, Cap’n Proto
Offline Certs SPKI/SDSI, E-Speak, CapCert Macaroons, lds-ocap
Blockchain Gravity, Dfinity, RChain, Cosmos, Veres One, Sovrin, Agoric Systems
User Interface CapDesk, Belay Sandstorm
Personal tools
more tools