ERights Home
No Previous Sibling 1st child: Capability Computation On to: The E Language

ELib: Inter-Object Semantics


Capability Security E's Capabilities are object references that can span machines and persist, while still being unforgeable.
Event Loop Concurrency Deadlock-free distributed consistency maintanence.
Distributed Programming Taming latency and partial failure.
  VatTP: inter-Vat Transport Protocol
  CapTP: Capability Transport Protocol
Equality Simple distributed equality with strong security and concurrency guarantees.
Persistence Coming soon...

ELib as a Java Library

Taming How to live with a legacy
Tracing Leaving breadcrumbs to catch distributed bugs.
Coding Conventions Stylistic consistency is good
Javadoc API The full interface to ELib from the Java language. Though typically an ELib/Java programmer can start with only:
 
E To send messages
Ref To manage references
Runner To create a Vat
ScopeSetup To obtain the initial magic powers
(I suspect this list needs to be longer. As you find more classes that need to be on this list, please let me, the webmaster-at-erights.org, know.)
 
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
ERights Home
No Previous Sibling 1st child: Capability Computation On to: The E Language
Download    FAQ    API    Mail Archive    Donate

report bug (including invalid html)

Golden Key Campaign Blue Ribbon Campaign