2014-03-24から1日間の記事一覧

TransactionalInformation Systems まとめ 第四章 (6)

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

TransactionalInformation Systems まとめ 第四章 (5)

・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…

TransactionalInformation Systems まとめ 第四章 (4)

③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.…

TransactionalInformation Systems まとめ 第四章 (3)

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

TransactionalInformation Systems まとめ 第四章 (2)

(3) 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 …

TransactionalInformation Systems まとめ 第四章 (1)

1.章構成 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…