https://123dok.net/document/yj7vo1vp-randomized-two-process-wait-free-test-and-set.html