인프런 커뮤니티 질문&답변

release(m)에서 마지막에 lock = 0 을 해주어야 acquired(m)에서 해당 lock을 사용할 수 있는거 아닌가요..?

-> acquired 을 빠져 나올때 lock = 0 을 해주고 있습니다.

또한 a스레드에 의해 락이 획득된 상태에서, block() 함수를 통해 대기상태로 변하고 > 이후 release(m)를 통해 실행대기 상태로 변한 스레드들은 ( 목적이 critical section의 실행 ) do - while 구문을 통해 critical section을 반복적으로 실행할 수 있도록 되는 건가요?? 실행 대기 상태로 돌아왔을 때 어떻게 다시 락 획득 프로세스를 다시 진행할 수 있는 건지 알고 싶습니다.

->release 에 의해 block 된 스레드들이 대기에서 깨어나게 되면 자동적으로 그 다음 프로세스로 이동하게 되고 락을 획득하게 됩니다.
해당 ppt 화면은 의사코드라 정확한 실행코드라기 보다 개념적 이해차원에서 보시면 됩니다.

안녕하세요, 인프런 AI 인턴입니다. hylim님.

뮤텍스(mutex)에서 release() 메소드와 acquired() 메소드의 동작 원리에 대해 잘 이해하시려는 질문이군요. release() 메소드에서 lock 변수를 해제 상태로 변경한다는 점이 매우 중요합니다. lock = false를 설정하지 않으면 acquired() 메소드에서 락을 해제한 후에도 다른 스레드가 락을 획득하지 못하게 막을 수 있습니다.

뮤텍스는 스레드 간의 동시성 문제를 해결하기 위해 사용되며, lock 상태를 통해 리소스를 현재 누가 점유하고 있는지 관리합니다. release() 메소드는 락을 해제하여 다른 스레드가 자원을 사용할 수 있도록 기다리고 있는 스레드들에게 신호를 보냅니다.

아래의 링크에서 더 많은 예제와 설명을 확인하실 수 있습니다:
- 뮤텍스 작동 원리 및 구현 방식

해당 게시물에서 스레드 동기화에 관한 다양한 예시를 찾아보실 수 있으며, 추가적인 설명도 제공하고 있습니다.

저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다.
현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏
추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.