Herd

act uses Herd (part of herdtools7) to simulate the effects of concurrent C and assembly programs (packaged up as litmus tests) on a computer's main memory.

Setting up Herd

Getting Herd

See herdtools7's GitHub page for information on how to get Herd (and Litmus).

Configuring act to use Herd

In act.conf, use the herd top-level stanza to tell act how to use Herd:

herd {
  cmd        "PATH/TO/HERD"              # optional, at most one
  c_model    "PATH/TO/CAT/FILE"          # optional, at most one
  asm_model  ARCH.ID "PATH/TO/CAT/FILE"  # zero or more
}

See also

• Litmus (for running litmus tests on actual hardware)