ELib: Inter-Object Semantics

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.