junco-compiler_assisted_checkpointing

Artifacts for the paper: "A Step toward stateful HW-SW migration: an architecture-agnostic checkpointing-rollback toolchain"

Running CPU-only Tests:

These test examples here are pre-configured to the default test cases, and will run out of the box. To modify the test setups, modify the relevant .h/.hpp and .cpp files within the junco-compiler_assisted_checkpointing/examples/<kernel>/ directories for each kernel. Also modify the local_support .h/.cpp files, and/or the local_support_sequential.cpp files for each test case, where appropriate. Refer to the Makefile for each test setup for information on which files are used.

LUD CPU checkpoint-restore:

1. cd junco-compiler_assisted_checkpointing/examples/lud_xrt/src/testing/
2. Update paths used in Makefile to those used on your local machine.
3. make clean && make
4. ./ex

Blur CPU checkpoint-restore:

1. cd junco-compiler_assisted_checkpointing/examples/blur_xrt/src/testing/
2. Update paths used in Makefile to those used on your local machine.
3. make clean && make
4. ./ex Bridge_2200x1650.jpg

Cholesky CPU checkpoint-restore:

1. cd junco-compiler_assisted_checkpointing/examples/cholesky/testing/
2. Update paths used in Makefile to those used on your local machine.
3. make clean && make
4. ./ex

External Sources:

• The CMake files and high-level project directory layouts used in this repository are based on those used in https://github.com/banach-space/llvm-tutor.
• The LiveValues pass is adapted from https://github.com/ssrg-vt/popcorn-compiler.
• This project uses parts of the JsonCpp library from https://github.com/open-source-parsers/jsoncpp.