Reproduction Package for ATVA 2021 Article `PJBDD: A BDD Library for Java and Multi-Threading'
Description
Reproduction Package
PJBDD: A BDD Library for Java and Multi-Threading
Abstract
This artifact is a reproduction package for the tool paper “PJBDD: A BDD Library for Java and Multi-Threading” (submitted to ATVA 2021).
It contains code and data used in the evaluation of the paper, including PJBDD with the implementation described in the paper the benchmark suite used for the evaluation, the raw data resulting from the evaluation, scripts to run the experiments, and instructions for reproducing the tables and figures in the paper.
A full reproduction of the evaluation requires 15 GB of memory, 8 CPU cores, and multiple weeks of CPU time. A limited subset of the benchmark tasks can be used for demonstration purposes if at least two CPU cores and 4 GB memory are available.
This artifact is published at Zenodo.
Content
This artifact contains the following items:
README.md
: this documentationLicense.txt
: license information of the artifactpjbdd
: a directory containing PJBDD at revisionmaster:58bd6889
which was used in our evaluationpackages
: the necessary Ubuntu packages to run the experiments.evaluation_results
: raw data produced from our full experiments and scripts to create tex plots used in the paperMakefile
: a file to execute the commands
This Readme file will guide you through the following steps:
- Setup of PJBDD and BenchExec
- Performing demo experiments
- Analyzing the experimental data
TL;DR
Type the following commands to:
- Install Java 11:
make install-java-11
(please ignore warnings about an existing Java 8) - Install BenchExec:
$ make install-benchexec
- reboot the system
$ make prepare-benchexec
(to turn off swap memory and allow user namespaces, needs to be redone after every reboot)$ make test-cgroup
(to test if cgroup is configured correctly)
- Test if BenchExec is installed successfully:
$ make test-benchexec
- Configure hardware requirements for the demo runs to X GB of memory and Y CPU cores:
$ bash configureDemo.sh -m=X -c=Y
Files
PJBDD-artifact-ATVA21-proceedings.zip
Files
(88.5 MB)
Name | Size | Download all |
---|---|---|
md5:847bc2a69b2e174060dc1b9a8ff3e425
|
88.5 MB | Preview Download |
Additional details
Related works
- Is derived from
- Software: https://gitlab.com/sosy-lab/software/paralleljbdd (URL)
- Is supplement to
- Preprint: https://www.sosy-lab.org/research/pub/2021-ATVA.PJBDD_A_BDD_Library_for_Java_and_Multi_Threading.pdf (URL)
- Conference paper: 10.1007/978-3-030-88885-5_10 (DOI)