We got confirmation the ParBoil bugs (mentioned in ยง5, p13) are genuine bugs!
There are 3 additional flags for warps:
--warp-sync=32
uses the re-sync method with a warp size of 32--warp-sync=32 --only-warp
runs the intra warp pass of the two-pass method with a warp size of 32--warp-sync=32 --no-warp
runs the inter-warp pass of the two-pass method with a warp size of 32Atomic support, with the refined atomic abstraction, is enabled by default.
To turn of the refined abstraction and force adversarial abstraction, use --no-refined-atomics