線形化可能性TAoMPTAoMPで紹介されている一貫性は以下の3種類です。オーバーラップしないメソッド呼び出しの順序では、それと対応する逐次履歴と同じである必要があります。呼び出しがオーバーラップする場合、それぞれの呼び出し順序は曖昧でよく、呼び出し順序は入れ替わっても良いです。オーバーラップしないときに、特定の順序または逆の順序で実行した場合と一致することを示します。図にすると下記のように表すことができます。上の図ではthread1がObjに3を書く呼び出し、次にthread2がObjに-7を書き込んでいます。呼び出しのオーバーラップが発生する為に、thread2の読み込みは3になっています。これを線形化ポイントを付け図に示すと下記のようになります。(1)最新記事kubebuilderでcrdを作ってみたHaskellをやりたいElixirでベクトルクロックを実装したElixirとのタワムレkubectlを拡張したはてなブログをはじめよう!yakuta55さんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。