最初のページ 戻る 次へ 最後のページ 画像

並列処理における直列可能性の保証

並列処理における直列可能性の保証

スケジュールが直列可能となることを保証すること

スケジュール同士が「等価」であるとは?

等価には2種類ある

競合等価はビュー等価

より条件が厳しい