This is the resource page for Nick Vrvilo's Master's thesis in Computer Science, entitled Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model. A full PDF version of this thesis is available on the Habanero publications page.
Model | Runtime | Checkpoint |
---|---|---|
Simple (Monotonic) | Download PDF | Download PDF |
Advanced (Trailing Edge) | Download PDF | Download PDF |
This project depends on JDK6, Leiningen, and the K-framework.
Download the source tarball (gzipped).
Depends on the Habanero C runtime, as well as liblfds (version 6.1.1). All other dependencies are bundled in the source tarball.
Download the source tarball (gzipped).