spsc example

[model-checker-benchmarks.git] / spsc-example / note.txt

This is the example used in the scfence example section in the paper.
We need to deal with the problem of data races.