ERights Home elang / concurrency 
Back to: Epimenides in E 1st child: Uses of Determinism No Next Sibling

Plans for Determinism


Overview

Challenges in acheiving determinism

Benefits:

Cheaper Commitment

Cheaper Fault Tolerance

Inward Bit Confinement

Debugging

Contract Verification

 
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 elang / concurrency 
Back to: Epimenides in E 1st child: Uses of Determinism No Next Sibling
Download    FAQ    API    Mail Archive    Donate

report bug (including invalid html)

Golden Key Campaign Blue Ribbon Campaign