エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Serializablitiyとは? 3. Conflict Serializabilityについて - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Serializablitiyとは? 3. Conflict Serializabilityについて - Qiita
前回のまとめ VSRを定義したけれどまだ実用性が足りない。 Conflict Equivalence スケジュールに対して... 前回のまとめ VSRを定義したけれどまだ実用性が足りない。 Conflict Equivalence スケジュールに対して以下の条件で集合confを定義する 2つのトランザクション中の操作が同一の値に触れ、少なくともどちらかがWriteである場合に競合と呼ぶ スケジュールの中で競合している操作a,bについて操作a→操作bの順に触った場合にそれをa→bの競合関係と呼び、{a, b}と表記する すべての競合に対してそれを行いすべての競合関係の集合をconfとする 2つのスケジュールについてそれぞれのconfが一致する場合にConflict Equivalent(以下競合等価)と呼ぶ。 文章で読んでもピンとこないので、とあるスケジュール図Aを例に描いてみると例えばこのようになる。 並行して実行されたTx1, Tx2の2つのトランザクションについて、同一の値に対して読み書きした操作のペア(競合関係