④Deadlock Handling デッドロックは、ふたつのシチュエーションから発生しうる。 ・複数のitemに対して、複数のトランザクションが「相互に入り繰った順序」でロックした場合 ・複数のitemに対して、複数のトランザクションが「lock conversion」を伴ってロ…

・Write-Only Tree Locking この節では、対象とするデータ構造をhierarchicalに限定している。 we will first assume that the access patterns follow a hierarchical organi ation of the data items; that is, the data items are viewed as the nodes of…

③Rules for locking ・well-formed locking 分類 概要 定義 意味 LR1 lockとunlockのタイミング If ti contains a step of the form ri (x) [wi (x)], then schedule s also contains a step of the form rli (x) [wli (x)] before the data operation (i.e.…

②Lock mode compatibility ロックの分類をテーブルで定義したもの。「現在のロック状態」と「実行するオペレーション」に応じて、どの種類のロックを取得するかを 定めるもの。 ・ベーシックなもの Lock requested rli (x) wli (x) Lock held rl j (x) + − w…

（３） Locking Schedulers ①locking protocolの全体観 分類 名称 定義 Gen() 1 Pessimistic Locking Two-phase LR1 LR2 LR3 LR4 A locking protocol is two-phase if for every output s and every transaction ti ∈ trans(s) it is true that no qli step …

１．章構成 4.1 Goal and Overview 4.2 General Scheduler Design 4.3 Locking Schedulers 4.3.1 Introduction 4.3.2 The Two-Phase Locking Protocol 4.3.3 Deadlock Handling 4.3.4 Variants of 2PL 4.3.5 Ordered Sharing of Locks 4.3.6 Altruistic Lock…

（４）An Alternative Correctness Criterion: Interleaving Specifications 単純にトランザクション単位でserialとするのではなく、もう「トランザクションの部分単位」でserialにすることを考える。 この緩和を取り入れることで並行性を向上できる。 ①Indi…

②Serializableのクラス 前述の概要で示される各serializableのクラスを整理。 なお、ここではabortは考慮しない。 ※P74 「In our exposition of this chapter, we avoid problems that may result from taking aborted (or aborting) transactions into acco…

（３） Correctness of Histories and Schedules ①全体観 ※P109の図ではS3とS5が逆になっている。いまのところ誤植と理解。真相知りたい。 分類 サンプル 補足 1 w1(x)w2(x)w2(y)c2w1(y)c1 xとyの更新結果がt1→t2,t2→t1のどちらにも合致しない。 2 FSR w1(x)…

■第三章 １．章構成 3.1 Goal and Overview 3.2 Canonical Concurrency Problems 3.3 Syntax of Histories and Schedules 3.4 Correctness of Histories and Schedules 3.5 Herbrand Semantics of Schedules 3.6 Final State Serializability 3.7 View Seria…