데이터베이스 연구자들이 Optimistic Lock Coupling을 타입 시스템으로 안전하게 만든 방법
Safe Optimistic Lock Coupling
CPU 코어 수가 늘면서 동시성 자료구조의 확장성이 중요해졌다. Optimistic Lock Coupling은 읽기 전용으로 동작해 락 경합을 줄이지만, 값을 검증하기 전에 사용하면 경쟁 조건이 생기기 쉽다. 저자들은 unvalidated<T> 타입과 OptimisticView 추상화로 검증을 컴파일러가 강제하도록 만들어, 안전하게 사용할 수 있는 방법을 제시한다.
컴파일러가 잡아주는 실수는 런타임에 미묘한 경쟁 조건이 되는 것을 막아준다.