This is herdtools7, a tool suite to test weak memory models.
It provides the following tools:
- herd7: a generic simulator for weak memory models
- litmus7: run litmus tests (given as assembler programs for
Power, ARM, AArch64 or X86) to test the memory model of the
executing machine
- diy7: produce litmus tests from concise specifications
- some additional tools
In particular,
* mcompare7 to analyse run logs of both herd and litmus.
* klitmus7, an experimental tool, similar to litmus7 that runs kernel
memory model tests as kernel modules. The tool klitmus7 is inspired
from a python script by Andrea Parri,.
herdtools7 is the successor of the diy tool suite.
| OS | Architecture | Version |
|---|---|---|
| (none) |
Binary packages can be installed with the high-level tool pkgin (which can be installed with pkg_add) or pkg_add(1) (installed by default). The NetBSD packages collection is also designed to permit easy installation from source.
The pkg_admin audit command locates any installed package which has been mentioned in security advisories as having vulnerabilities.
Please note the vulnerabilities database might not be fully accurate, and not every bug is exploitable with every configuration.
Problem reports, updates or suggestions for this package should be reported with send-pr.