search

sosy-lab / benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Apache License 2.0
230 stars 198 forks source link

Provide integration with reprounzip #236

Open PhilippWendler opened 7 years ago

PhilippWendler commented 7 years ago

Reprozip is a project for packaging experiments with all their dependencies in a distributable way. It has a tool named reprounzip for repeating such packaged experiments, using one of various backends, which are called "unpackers". For example, there exists an unpacker that extracts everything into a directory and uses chroot, and one that uses Docker. containerexec would be a great unpacker for reprounzip, because it does not need a complex installation and can run without root privileges, while at the same time providing the same isolation as a Docker container. So we should write an adapter that makes containerexec usable as an unpacker (cf. documentation for writing unpackers). Maybe we can even integrate the resource limitation and benchmarking features of runexec in a second step.

PhilippWendler commented 7 years ago

To be implemented in https://github.com/sosy-lab/reprozip.