抽象状態同期による高機能ロックの実装と評価