Summary
스케줄 이론은 동시성 제어의 안전 기준을 제공한다
상태 전이는 복구를, 직렬 가능성은 동시 실행의 정합성을, 회복 가능성은 롤백 안전성을 설명한다.
상태
직렬 가능
회복
축질문판단 기준
상태장애 후 어떻게 복구하나Undo/Redo
직렬 가능성어떤 직렬 순서와 동등한가선행 그래프
회복 가능성커밋 순서가 안전한가작성자 먼저 커밋