예시 스케줄 S
충돌 방향이 모두 같으면 선행 그래프도 한 방향으로 정리됩니다
A와 B 모두 T1의 쓰기 뒤에 T2의 읽기·쓰기가 따라와서, 역방향 간선이 생기지 않습니다.
판단 기준
역방향이 없으면 사이클도 없다
T1
R(A)
W(A)
R(B)
W(B)
T2
R(A)
W(A)
R(B)
W(B)
A 구간 W(A) 뒤에 R(A), W(A)가 이어져 A의 간선은 모두 T1 → T2입니다.
B 구간 W(B) 뒤에 R(B), W(B)가 이어져 B도 같은 방향만 남습니다.
충돌을 간선으로 요약
데이터 A
T1.W(A) → T2.R(A), T1.W(A) → T2.W(A)
T1 → T2
데이터 B
T1.W(B) → T2.R(B), T1.W(B) → T2.W(B)
T1 → T2
중요한 것은 충돌 개수가 아니라 방향입니다. 두 데이터 모두 같은 방향만 가리키므로, 그래프에 되돌아오는 경로가 생기지 않습니다.
선행 그래프 판정
T1
T2
사이클 없음
따라서 이 스케줄은 충돌 직렬 가능하며, 직렬 실행 순서는 T1 다음 T2로 볼 수 있습니다.