ロック競合をなくすSafe Optimistic Lock Coupling、型システムで安全性を保証

CPUコア数の増加に伴い、並行データ構造のスケーラビリティが重要になっている。従来のlock couplingはルートノードのロック競合でスケールしないが、Optimistic Lock Couplingは読み取りを純粋な読み取り専用にし、バージョン番号で整合性を検証する。さらに、未検証の値を専用型でラップし、コンパイラに検証を強制させることで、競合状態を防ぎつつ高い性能を実現する。