critical section 문제를 공부하는데 너무 이해가 안되네요..

몇번을 생각해봐도 잘 모르겠습니다..

do {
flag[i] = true; //Critical Section 진입준비
while (flag[j]) ;// 다른프로세스의상태점검
critical section
flag [i] = false; // 자신의상태변경
remainder section
} while (1);

제가 이해한 위 코드의 flow 이렇습니다.
flag[i] = true이고, flag[j] = false 일때 process i가 실행될 수 있는데,
flag[i], flag[j]는 초기에 false로 초기화 됬다.
do while문의 첫번째 줄 flag[i] = ture; 를 통해 flag[i] 는 true 값을 갖게 되고, 여전히 flag[j]는 false이다.
따라서 process i는 c.s에 진입하게 된다.
flag[j] = 여전히 false이다, 따라서 while문을 통해 process j는 대기할 필요가 없고, process j도 c.s에 진입하게 된다.
Process i 도 critical section에 들어가고, Process j도 critical section에 들어간다. 따라서 위 code는 상호배제 조건에 위배된다.

근데 이게 아닌거 같아요. 책에서는
여기서 발생되는 문제가 Pi, Pj 모두 양쪽편이 "true"이므로 Pi, Pj 어느것도 critical section에 들어가지 못하는
무한 대기 상태가 발생될 되므로 progress 조건에 위배된다.
하지만 위의 코드를 본다면 flag[j]가 true로 되는 경우는 없지 않나요. ??

제 머리속에 flow자체가 잘못 그려지고 있는 것 같은데..
지금 제가 뭘 잘못 이해하고 있는 건지 좀 말씀해주셨으면 좋겠습니다.