fix commit that mistakenly happened
[model-checker-benchmarks.git] / concurrent-hashmap / note.txt
1 #Non-SC:
2 The following case can be non-SC.
3
4 Thrd1                                           Thrd2
5 put(k1, v1); // a                       put(k2, v2); // c
6 get(k2); // b                           get(k1); // d
7
8 When b and d both read the old head of the list (and they later grab the lock,
9 making it the interface SC), it's non-SC because neither reads the updated
10 value.