1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
Source: herdtools7
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Sebastian Andrzej Siewior <sebastian@breakpoint.cc>
Build-Depends:
debhelper-compat (= 13),
dh-ocaml,
libmenhir-ocaml-dev,
libzarith-ocaml-dev,
menhir,
ocaml,
ocaml-dune,
python3,
Rules-Requires-Root: no
Standards-Version: 4.7.3
Homepage: https://github.com/herd/herdtools7
Vcs-Git: https://salsa.debian.org/ocaml-team/herdtools7.git
Vcs-Browser: https://salsa.debian.org/ocaml-team/herdtools7
Package: herdtools7
Architecture: any
Depends:
${ocaml:Depends},
${misc:Depends},
${shlibs:Depends}
Provides: ${ocaml:Provides}
Description: 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.
|
