Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)
- ページ数
- 23
- 形式
- PPT
- サイズ
- 538 KB
- Trường
- Duke University
- 閲覧数
- 0
- コメント
- 0
- Lượt tải
- 0
プレビューを生成中...
Bài giảng về điều khiển đồng thời trong cơ sở dữ liệu, tập trung vào giao thức khóa hai pha (2PL) để đảm bảo lịch biểu khả tuần tự.
- ドキュメント名
- Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)
- 学校 / コース
- Duke University · Cơ sở dữ liệu
- 内容
- Tài liệu này giới thiệu cách đảm bảo lịch trình tuần tự hóa trong hệ thống đồng thời bằng cách ngăn chặn chu kỳ xung đột, tập trung vào giao thức khóa hai pha (2PL). Nó định nghĩa các quy tắc cho giao dịch và lịch trình, chứng minh tính hiệu quả của 2PL và đề cập đến các cải tiến hiệu suất.
- 目次
- How to enforce serializable schedules?
- A locking protocol
- Rule #1: Well-formed transactions
- Rule #2 Legal scheduler
- Exercise:
- Schedule F
- Rule #3 Two phase locking (2PL) for transactions
- # locks held by Ti
- Schedule G
- Schedule H (T2 reversed)
- Next step:
- Conflict rules for li(A), ui(A):
- Theorem Rules #1,2,3 conflict serializable (2PL)
- Lemma
- Proof of lemma:
- Theorem Rules #1,2,3 conflict serializable (2PL)
- Proof:
- Beyond this simple 2PL protocol, it is all a matter of improving performance and allowing more concurrency….
- ページ数
- 23 ページ
- アップロード者
- Uni24h
説明
Trích nội dung tài liệu
Data-Intensive Computing Systems Concurrency Control (II) Shivnath Babu 1 How to enforce serializable schedules? Option 1: run system, recording P(S); at end of day, check for P(S) cycles and declare if execution was good 2 How to enforce serializable schedules? Option 2: prevent P(S) cycles from occurring T1 T2 ….. Tn Scheduler DB 3 A locking protocol Two new actions: lock (exclusive): unlock: T1 li (A) ui (A) T2 scheduler lock table 4 Rule #1: Well-formed transactions Ti: … li(A) … pi(A) … ui(A) ... 5 Rule #2 Legal scheduler S = …….. li(A) ………... ui(A) ……... no lj(A) 6 Exercise: What schedules are legal? What transactions are well-formed? S1 = l1(A)l1(B)r1(A)w1(B)l2(B)u1(A)u1(B) r2(B)w2(B)u2(B)l3(B)r3(B)u3(B) S2 = l1(A)r1(A)w1(B)u1(A)u1(B) l2(B)r2(B)w2(B)l3(B)r3(B)u3(B) S3 = l1(A)r1(A)u1(A)l1(B)w1(B)u1(B) l2(B)r2(B)w2(B)u2(B)l3(B)r3(B)u3(B) 7 Exercise: What schedules are legal? What transactions are well-formed? S1 = l1(A)l1(B)r1(A)w1(B)l2(B)u1(A)u1(B) r2(B)w2(B)u2(B)l3(B)r3(B)u3(B) S2 = l1(A)r1(A)w1(B)u1(A)u1(B) l2(B)r2(B)w2(B)l3(B)r3(B)u3(B) S3 = l1(A)r1(A)u1(A)l1(B)w1(B)u1(B) l2(B)r2(B)w2(B)u2(B)l3(B)r3(B)u3(B) 8 Schedule F T1 T2 l1(A);Read(A) A A+100;Write(A);u1(A) l2(A);Read(A) A Ax2;Write(A);u2(A) l2(B);Read(B) B Bx2;Write(B);u2(B) l1(B);Read(B) B B+100;Write(B);u1(B) 9 Schedule F A B T1 T2 25 25 l1(A);Read(A) A A+100;Write(A);u1(A) 125 l2(A);Read(A) A Ax2;Write(A);u2(A) 250 l2(B);Read(B) B Bx2;Write(B);u2(B) 50 l1(B);Read(B) B B+100;Write(B);u1(B) 150 250 150 10 Rule #3 Two phase locking (2PL) for transactions Ti = ……. li(A) ………... ui(A) ……... no unlocks no locks 11 # locks held by Ti Time Growing Phase Shrinking Phase 12 Schedule G T1 l1(A);Read(A) A A+100;Write(A) l1(B); u1(A) T2 delayed l2(A);Read(A) A Ax2;Write(A);l2(B) 13 Schedule G T1 l1(A);Read(A) A A+100;Write(A) l1(B); u1(A) T2 delayed l2(A);Read(A) A Ax2;Write(A);l2(B) Read(B);B B+100 Write(B); u1(B) 14 Schedule G T1 l1(A);Read(A) A A+1
よくある質問
このドキュメントは無料ですか？
はい。「Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)」は無料です。ログインして「ダウンロード」をクリックするだけで、元のファイルを取得できます。
このドキュメントは何ページありますか？
このドキュメントは 23 ページあります（Cơ sở dữ liệu コース用）。ダウンロードする前にオンラインでプレビューできます。
ダウンロードする前にプレビューできますか？
はい。このページにあるオンラインリーダーでドキュメントをプレビューし、その後ダウンロードするかどうかを決めることができます。
Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)
プレビューを生成中...
Trích nội dung tài liệu
Data-Intensive Computing Systems Concurrency Control (II) Shivnath Babu 1 How to enforce serializable schedules? Option 1: run system, recording P(S); at end of day, check for P(S) cycles and declare if execution was good 2 How to enforce serializable schedules? Option 2: prevent P(S) cycles from occurring T1 T2 ….. Tn Scheduler DB 3 A locking protocol Two new actions: lock (exclusive): unlock: T1 li (A) ui (A) T2 scheduler lock table 4 Rule #1: Well-formed transactions Ti: … li(A) … pi(A) … ui(A) ... 5 Rule #2 Legal scheduler S = …….. li(A) ………... ui(A) ……... no lj(A) 6 Exercise: What schedules are legal? What transactions are well-formed? S1 = l1(A)l1(B)r1(A)w1(B)l2(B)u1(A)u1(B) r2(B)w2(B)u2(B)l3(B)r3(B)u3(B) S2 = l1(A)r1(A)w1(B)u1(A)u1(B) l2(B)r2(B)w2(B)l3(B)r3(B)u3(B) S3 = l1(A)r1(A)u1(A)l1(B)w1(B)u1(B) l2(B)r2(B)w2(B)u2(B)l3(B)r3(B)u3(B) 7 Exercise: What schedules are legal? What transactions are well-formed? S1 = l1(A)l1(B)r1(A)w1(B)l2(B)u1(A)u1(B) r2(B)w2(B)u2(B)l3(B)r3(B)u3(B) S2 = l1(A)r1(A)w1(B)u1(A)u1(B) l2(B)r2(B)w2(B)l3(B)r3(B)u3(B) S3 = l1(A)r1(A)u1(A)l1(B)w1(B)u1(B) l2(B)r2(B)w2(B)u2(B)l3(B)r3(B)u3(B) 8 Schedule F T1 T2 l1(A);Read(A) A A+100;Write(A);u1(A) l2(A);Read(A) A Ax2;Write(A);u2(A) l2(B);Read(B) B Bx2;Write(B);u2(B) l1(B);Read(B) B B+100;Write(B);u1(B) 9 Schedule F A B T1 T2 25 25 l1(A);Read(A) A A+100;Write(A);u1(A) 125 l2(A);Read(A) A Ax2;Write(A);u2(A) 250 l2(B);Read(B) B Bx2;Write(B);u2(B) 50 l1(B);Read(B) B B+100;Write(B);u1(B) 150 250 150 10 Rule #3 Two phase locking (2PL) for transactions Ti = ……. li(A) ………... ui(A) ……... no unlocks no locks 11 # locks held by Ti Time Growing Phase Shrinking Phase 12 Schedule G T1 l1(A);Read(A) A A+100;Write(A) l1(B); u1(A) T2 delayed l2(A);Read(A) A Ax2;Write(A);l2(B) 13 Schedule G T1 l1(A);Read(A) A A+100;Write(A) l1(B); u1(A) T2 delayed l2(A);Read(A) A Ax2;Write(A);l2(B) Read(B);B B+100 Write(B); u1(B) 14 Schedule G T1 l1(A);Read(A) A A+1
- ドキュメント名
- Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)
- 学校 / コース
- Duke University · Cơ sở dữ liệu
- 内容
- Tài liệu này giới thiệu cách đảm bảo lịch trình tuần tự hóa trong hệ thống đồng thời bằng cách ngăn chặn chu kỳ xung đột, tập trung vào giao thức khóa hai pha (2PL). Nó định nghĩa các quy tắc cho giao dịch và lịch trình, chứng minh tính hiệu quả của 2PL và đề cập đến các cải tiến hiệu suất.
- 目次
- How to enforce serializable schedules?
- A locking protocol
- Rule #1: Well-formed transactions
- Rule #2 Legal scheduler
- Exercise:
- Schedule F
- Rule #3 Two phase locking (2PL) for transactions
- # locks held by Ti
- Schedule G
- Schedule H (T2 reversed)
- Next step:
- Conflict rules for li(A), ui(A):
- Theorem Rules #1,2,3 conflict serializable (2PL)
- Lemma
- Proof of lemma:
- Theorem Rules #1,2,3 conflict serializable (2PL)
- Proof:
- Beyond this simple 2PL protocol, it is all a matter of improving performance and allowing more concurrency….
- ページ数
- 23 ページ
- アップロード者
- Uni24h
コメント (0)
まだコメントはありません。最初のコメントを書きましょう！
Thiết kế quản trị Cơ sở dữ liệu - Notes 4 (HUST) GV. Vũ Tuyết Trinh
Slide Cơ sở dữ liệu - GV Nguyễn Hồng Phương
Thiết kế quản trị Cơ sở dữ liệu - Notes 3 (HUST) GV. Vũ Tuyết Trinh
Thiết kế quản trị Cơ sở dữ liệu - Notes 2 (HUST) GV. Vũ Tuyết Trinh
Thiết kế quản trị Cơ sở dữ liệu - Notes 11 (HUST) GV. Vũ Tuyết Trinh
Tổng hợp Đề Toán 5 - Luyện thi vào Lớp 6 - CLB EMath
Bài giảng vật lý đại cương (Chương 3) - Đỗ Ngọc Uấn
Chương 8.Nguyên tử - Vật lý đại cương 3 - TS.Nguyễn Thị Trang
Chương 7.Cơ học lượng tử - Vật lý đại cương 3 - TS.Nguyễn Thị Trang
Chương 6.Quang học lượng tử - Vật lý đại cương 3 - TS.Nguyễn Thị Trang
コメント (0)
まだコメントはありません。最初のコメントを書きましょう！