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