A는 main 루틴이고

B는 A의 signal handler이다.


코드 A와 B는 어떤 전역 자료구조를 공유한다.

그런데 A와 B는 동시에(concurrently) 실행되는데


A보다 B가 먼저 실행되면 의도한대로 되고

B가 A보다 먼저 실행되면 의도하지 않은 결과다


이런 거 테스트하는 그런 게 있을 거 같기도 한데

OS 스케쥴하는 거를 시뮬레이션하는..?


있음?

race가 생기는지 알아내는 방법?