セマンティクスは全人類を救う - Software Transactional Memo

この記事は安ワインを煽りながら勢いで書いたので一切の正しさを保証しません。 分散システムで良く出る課題として障害耐性がある。 性能を増やしたい→台数を増やせばいい→一台でも壊れたら全体が死ぬので脆弱になった→一台死んだぐらいで全体が死なないような仕組みにしろ→複数台でデータを複製するしかない という変遷は自然で、ここから一歩踏み出そうとして大量の屍が量産されたのがここ50年ぐらいの歴史。逆に言うとここまでは50年以上前には到達していて、その50年で何も成果が無かったわけじゃない。 中でも大きな成果だと思っているのがLinealizablityの定義。これは分散システムに対して結局のところ人類が何を望んでいるのかを明文化した点で大きな貢献があった。 僕の覚えている定義はこう。 クライアントが要求した順番とシステム内で実行される順番は等しい。 しかもクライアントが要求を発行した全順序と系を跨い

[t_f_m]

"ここでポイントなのは、これらは一切実装には言及していなくて、システムが外からどう見えれば良いかを表現している事。"