스케줄 이론은 동시성 제어의 세 가지 안전 질문을 제공한다
상태 전이는 복구 지점을, 직렬 가능성은 실행 결과의 정확성을, 회복 가능성은 rollback 안전성을 설명합니다.
상태 전이어느 지점까지 되돌릴 수 있는가커밋 로그가 있으면 redo, 없으면 undo가 기본 방향입니다.
직렬 가능성동시 실행이 어떤 직렬 순서와 같은가선행 그래프의 간선과 사이클로 설명합니다.
회복 가능성읽은 값의 작성자가 먼저 커밋했는가더티 읽기 commit과 연쇄 rollback 위험을 구분합니다.
1. 값 출처누가 A를 읽고 누가 A를 썼는가
2. 충돌 방향R-W, W-R, W-W의 앞뒤가 어떤 제약을 만드는가
3. 커밋 순서읽은 쪽 commit이 작성자 commit보다 늦는가
좋은 동시성 제어 설명은 “빠르게 실행했다”가 아니라, 어떤 직렬 순서와 같고 실패 시 어디까지 안전하게 되돌릴 수 있는지까지 말합니다.