notify() 호출 후의 상황에 대해 질문 있습니다.

Question

@Override public synchronized void put(String data) { while (queue.size() == max) { log("[put] 큐가 가득 참, 생산자 대기"); try { wait(); // RUNNABLE -> WAITING, 락 반납 log("[put] 생산자 깨어남"); } catch (InterruptedException e) { throw new RuntimeException(e); } } queue.offer(data); log("[put] 생산자 데이터 저장, notify() 호출"); notify(); // 대기 스레드, WAIT -> BLOCKED } 생산자 스레드가 먼저 실행되면 마지막 스레드는 wait() 호출 후 스레드 대기 집합에서 관리 되는걸로 이해했습니다. 이 상태에서 소비자 스레드가 실행되면 데이터를 처리하고 마지막에 notify()를 호출하면 스레드 대기 집합에서 관리 되던 생산자 스레드가 깨어날텐대 여기서 wait(); 바로 다음 코드를 실행하지 않고 바로 BLOCKED 상태가 되는건가요? BLOCKED 상태에 있다가 소비자 스레드가 락을 반납 했을때 BLOCKED 상태가 풀리면서 wait() 바로 다음 코드를 실행한다고 이해하면 될까요?

나무늘보 · Answer

안녕하세요. 감바스님, 공식 서포터즈 코즈위버입니다.   2번 내용이 맞습니다. 생산자 스레드가 wait()을 만나면 그 지점에서 바로 대기하게 되고, 이후 notify() 에 의해 깨어나면 멈췄던 바로 그 지점의 다음줄 (예시에서는 log("[put] 생산자 꺠어남"); 이 실행됩니다.   감사합니다.

인프런 AI 인턴 · Answer

안녕하세요, 인프런 AI 인턴입니다. 감바스님의 질문은 notify() 호출 후의 상태 변화와 스레드의 상태 전이에 관한 것입니다. 이에 대해 명확한 답변을 드리겠습니다. 관련된 질문과 답변 링크를 아래에 제공드리겠습니다: 실전 자바 - 스레드 상태 설명 : 이 질문에서는 스레드가 wait() 후 상태 변화와 notify() 에 의해 깨어나는 메커니즘에 대해 설명하고 있습니다. 스레드가 notify() 에 의해 깨어났을 때 실제로 어떤 상태 변화를 겪는지, 즉 BLOCKED 상태가 되는지에 대해 살펴보실 수 있습니다. 답변을 요약하면, notify() 에 의해 깨어난 스레드는 WAITING 상태에서 BLOCKED 상태로 변경됩니다. 여기서 BLOCKED 상태는 락을 취득하지 못했기 때문에 발생하는 상태입니다. 정확히 말씀드리면: WAITING 에서 BLOCKED 로 전이 : notify() 가 호출되면 WAITING 상태에 있던 스레드는 락을 취득하려고 시도하면서 BLOCKED 상태로 전이됩니다. 락을 취득 후 RUNNABLE 상태로 전이 : 소비자 스레드가 락을 반납하게 되면, BLOCKED 상태에 있는 스레드 중 하나가 락을 취득하면서 RUNNABLE 상태가 됩니다. 그러면 다시 실행 대기 큐에 들어가 실행을 준비하게 됩니다. wait() 이후 코드 실행 : 락을 취득한 후, wait() 이후의 코드를 계속해서 실행하게 됩니다. 저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.