We provide the offence tool for weak memory models, which places either lock-based or lock-free synchronisation in an x86 or Power program to ensure its stability, i.e. that the program has no executions but SC ones.
January 2011 the 24th: Release of offence 1.00.
You will find here the sources of the tool, as well as a documentation.
ExperimentsWe provide here the details of our experiments:
- Soundness experiments, i.e. offence restores SC.
- Timing of the synchronisation constructs introduced by offence.
- B-cumulativity of lwsync.