(9째 줄)

무기아 상태(freedom from Deadlock)는 무교착 상태(freedom from Starvation)를 함축한다는 데 주의하자.
==>
무기아 상태(Starvation freedom)는 무교착 상태(Deadlock freedom)를 함축한다는 데 주의하자.

(4번째 줄)

ID는 j = i - 1이다.
==>
ID는 j = 1 - i이다.

(코드 구현 2.3.1)

3장과 부록 A에서 설명한다.
==>
3장과 부록 B에서 설명한다.

(식 (2.3.6) 바로 아래 줄)

readA(victim = B)
==>
readA(victim == B)

(그림 2.5)

변수 선언에서 volatile 삭제.

(그림 2.6)

변수 선언에서 volatile 삭제

(그림 2.7 16번 줄)

충돌하는 동안 반복해서 대기 (spin while)
==>
충돌하는 동안 반복해서 대기 (spin)

(밑에서 2번째 문단)

레벨 j-1에 있는 다른 스레드들은 level[A]의 값을 읽게 되고, 레벨 j에 진입하지 못하게 된다. 결국 j보다 낮은 레벨에 있는 스레드는 레벨 j에 진입하지 않게 된다.
==>
레벨 j-1에 있는 다른 스레드들은 level[A]의 값을 읽게 되고, 그 중 하나는 레벨 j에 진입하지 못하게 된다. 결국에는 j보다 낮은 레벨에 있는 스레드가 더 이상 레벨 j에 진입하지 않게 된다.

(밑에서 4번째 줄)

노드 A에서 노드 B로
==>
노드 a에서 노드 b로

(밑에서 4째 줄)

A의 토큰이 0에 있고, B의 토큰이 1에 있다고 하자
==>
A의 토큰이 1에 있고, B의 토큰이 0에 있다고 하자

(그림12 설명)

A가 B와 C를 지배하게 움직이면,
==>
A가 B와 C를 지배하게 움직이려면,

(어떤 T^k 부분그래프는
==>
(임의의 T^k 부분그래프는

(그림12 설명)

00으로 옮겨가게
==>
10으로 옮겨가게

(4째 문단 3째 줄)

다음으로 높은 T^2 부분그래프에서 다른 노드들을 지배하는 노드로 이동한다.
==>
해당 T^2 부분 그래프를 지배하는 노드를 포함하는 (다음으로 늦은) T^2 부분그래프 내의 노드로 이동한다.

(정리 2.8.1)

임계영역에 스레드가 없고
==>
임계영역에 스레드가 없거나

(연습문제 16 3째 항목)

DOWN 값을 얻는다.
==>
RIGHT 값을 얻는다.

(연습문제 18)

전순서가 되지 않는 실행 상태를
==>
완전순서를 이루지 않는 실행 상태를