uwsampa/coredet

Name: coredet

Owner: Sampa

Description: A Compiler and Runtime System for Deterministic Multithreaded Execution

Created: 2015-06-09 17:40:55.0

Updated: 2018-01-03 17:40:20.0

Pushed: 2015-06-11 18:00:06.0

Homepage: null

Size: 200

Language: Shell

GitHub Committers

UserMost Recent Commit# Commits

Other Committers

UserEmailMost Recent Commit# Commits

README

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 Version of the ASPLOS 2010 code updated to compile cleanly with LLVM 2.6 Version used in our ASPLOS 2011 paper (includes DmpHB consistency)

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
This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.