Package: herdtools7 (7.58-1 and others)

[ Source: herdtools7  ]

Tool suite to test weak memory models

herdtools7 is a tool suite to design, simulate and test weak memory models which are used in modern CPU architectures. It provides a unified environment for generating small concurrent programs (litmus tests), running them on real hardware, and simulating them under formal memory‑model specifications. By comparing theoretical models with observed hardware behavior, herdtools7 helps researchers, compiler writers, and systems engineers understand subtle ordering effects, validate memory‑model definitions, and reason about correctness in highly parallel architectures.

The tool suite include various tools, including:

 * 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

herdtools7 is the successor of the diy tool suite.

Other Packages Related to herdtools7

• dep: libc6 (>= 2.42)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

Download herdtools7

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	7.58-1+b1	37,848.6 kB	246,579.0 kB	[list of files]
arm64	7.58-1	45,017.4 kB	288,784.0 kB	[list of files]
ppc64el	7.58-1	38,685.4 kB	272,912.0 kB	[list of files]
riscv64	7.58-1	39,370.5 kB	264,724.0 kB	[list of files]
s390x	7.58-1	39,365.0 kB	282,556.0 kB	[list of files]