CoreDet

A Compiler and Runtime System for Deterministic Multithreaded Execution

Source code releases. This repository is just a hosting platform for the previous source code releases for CoreDet. This code is no longer supported; the code is provided for those interested in replicating the results from two prior ASPLOS papers.

More info about the overall project: Deterministic Multiprocessing (DMP)

Releases

Binary and source code distributions are available from the Releases page.

Version used in our ASPLOS 2010 paper

• coredet-asplos10.tar.gz (52 MB)
  • CoreDet compiler and runtime plus source code for our benchmarks
• coredet-asplos10-srconly.tar.gz (200 KB)
  • CoreDet compiler and runtime only

Version of the ASPLOS 2010 code updated to compile cleanly with LLVM 2.6

• coredet-asplos10-llvm26.tar.gz (52 MB)
  • CoreDet compiler and runtime plus source code for our benchmarks
• coredet-asplos10-llvm26-srconly.tar.gz (200 KB)
  • CoreDet compiler and runtime only

Version used in our ASPLOS 2011 paper (includes DmpHB consistency)

• coredet-asplos11.tar.gz (52 MB)
  • CoreDet compiler and runtime plus source code for our benchmarks
• coredet-asplos11-srconly.tar.gz (200 KB)
  • CoreDet compiler and runtime only

See the README.asplos2010 file for build instructions.

Known Bugs

A file is missing from the full distributions (not the srconly distributions). That file is benchmarks/parsec/config/llvm-default.bldconf and can be found here (in this repo).

The do-asplos10-benchmarks.sh script will fail in meta-benchmark-manager.py with a regular expressions error at line 504. That entire block of code was used during local development and should be removed (lines 504-512, starting at “# git revision info”).

Configuration script

The script we use to setup CoreDet on a new machine can be found here.

Authors

• Tom Bergan
• Joe Devietti
• Owen Anderson
• Luis Ceze
• Dan Grossman