This problem was raised when I tried to solve exercise 68 of 《The art of multiprocessor programming》. Given n registers which has read/write/
read
write