두 쓰레드가 있고 하나의 공유 자원 X (integer)가 있음


A는 X를 읽기만 하고, 쓰지는 않음 

읽을때는 lock을 걸고 읽음


B는 X를 읽고 씀

읽을때는 lock을 걸지 않고 읽고 쓸때는 lock을 걸고 씀


이러면 이론상으론  race condition이 없는데 혹시 파이프라인 단계에서 삑나고 이럴 가능성 있음?