16. 補⾜足:Synchronous/Asynchronous system model
l 同期、⾮非同期、分散システムではちょっと意味が違う
l 特に元々lock-freeとかしてた⼈人にとっては・・・w
l 佐藤先⽣生つぶやきがtogetterにまとめられている
l Google Spannerまとめ http://togetter.com/li/317139
l Synchronous system model
l 先ほど「問題があまりない」と紹介した例例
l 純粋にアルゴリズムを検証するのに便便利利なモデル
l Asynchronous system model
l 問題しかない、なにが起こってもおかしくない⽅方のモデル
l このモデルで正しく動けば、すべての状況で正しく動くんでは!
16