SoSy-Lab Software Collection

There is a newer version of the record available.

Published November 7, 2022 | Version 3.14
Software Open

sosy-lab/benchexec: Release 3.14

Authors/Creators

  • 1. @sosy-lab, LMU Munich

Description

  • Added a workaround for the known glibc deadlock described in #656.
    In most cases BenchExec should detect the deadlock and continue benchmarking after a timeout of 60s.
  • We noticed a performance problem in Python that affects benchexec in container mode on machines with many cores and added an optimization that reduces its impact.
  • Improved handling of non-existent mount points.
    This makes BenchExec easier to use within Podman containers, and we now recommend Podman over Docker in our documentation.
  • table-generator no longer attempts to spawn a large number of threads (failing due to the limit on open files) on machines with many cores.
  • Many new and improved tool-info modules.

This release does not change the minimum supported Python version, but we would like to remind you that BenchExec will soon stop supporting Python 3.6.

Files

sosy-lab/benchexec-3.14.zip

Files (6.3 MB)

Name Size Download all
md5:7449696f5f0144dd010b2163df3b14f0
6.3 MB Preview Download

Additional details

Related works

Is documented by
10.1007/s10009-017-0469-y (DOI)
https://www.sosy-lab.org/research/prs/Current_ReliableBenchmarking.pdf (URL)