조건변수와 뮤텍스에 대한 질문...

글 쓸 때 시간이 없어서 너무 글을 간단히 적은 것 같은데요... pthread_cond_wait함수(이하 wait함수)를 호출할 때 호출한 스레드가 해당 조건을 기다리는 스레드들의 목록에 등록되며, 뮤텍스의 잠금이 풀린다. 이 두 연산은 원자적으로 일어나므로, 조건을 점검하는 시점과 스레드가 조건 변화를 기다리며 수면에 들어가는 시점 사이에 빈틈이 생기지 않는다. 따라서 스레드가 조건의 변화를 놓칠 여지가 없다.

여기서 제가 궁금한 점은, 호출한 스레드가 해당 조건을 기다리는 스레드들의 목록에 등록되며, 뮤텍스의 잠금이 풀리는 두 연산이 원자적으로 일어나는 것하고, 조건을 점검하는 시점과 스레드가 조건 변화를 기다리며 수면에 들어가는 시점 사이에 빈틈이 생기지 않는 것하고 관련이 있나요??? 하는 것과...

wait함수 자체가 조건을 기다리는 건데, wait함수가 조건을 점검한다는 식으로 씌여있는데 맞는 말인가요??? wait함수를 호출하면 그 함수 내부에서 조건 점검하는 코드가 있고, 그 이후 스레드가 수면에 들어가게 되는 건가요??? '조건을 점검하는 시점과 스레드가 조건 변화를 기다리며 수면에 들어가는 시점 사이에 빈틈이 생기지 않는다. 따라서 스레드가 조건의 변화를 놓칠 여지가 없다.' 이 문장이 정말 이해가 안되네요...

스레드가 조건 변화를 기다리며 수면에 들어가는 건 이해가 가는데... wait함수에서 조건을 점검한다는건 또 무슨 말이며(조건이 변화되면 signal함수(물론 pthread어쩌고 접두어가 붙습니다.)로 신호줘야 스레드가 조건 변화를 알게 된다고 책에 나와있는데요...) 이 부분이 이해가 안가니 뒤에 "따라서 스레드가 조건의 변화를 놓칠 여지가 없다." 이 말 또한 이해가 안되네요...

설명 좀 부탁드립니다...