Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)
Génération de l'aperçu...
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ự.
Description
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
Résumé IA
- Nom du document
- Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)
- École / Cours
- Duke University · Cơ sở dữ liệu
- Contenu
- 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.
- Table des matières
- 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….
- Pages
- 23 pages
- Téléversé par
- Uni24h
Foire aux questions
Ce document est-il gratuit ?
Oui. « Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh) » est gratuit — il suffit de vous connecter et de cliquer sur Télécharger pour obtenir le fichier original.
Combien de pages compte ce document ?
Le document contient 23 pages, pour le cours Cơ sở dữ liệu. Vous pouvez le prévisualiser en ligne avant de le télécharger.
Puis-je prévisualiser avant de télécharger ?
Oui. Vous pouvez prévisualiser ce document directement sur cette page avec le lecteur en ligne, puis décider de le télécharger ou non.
Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)
Génération de l'aperç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
Lire le document entier
- Nom du document
- Concurrency Control II (14) (Kiểm soát đồng thời trong hệ thống CSDL) (Tiếng Anh)
- École / Cours
- Duke University · Cơ sở dữ liệu
- Contenu
- 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.
- Table des matières
- 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….
- Pages
- 23 pages
- Téléversé par
- Uni24h
Commentaires (0)
Aucun commentaire pour le moment. Soyez le premier !
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
Thiết kế quản trị Cơ sở dữ liệu - Notes 12 (HUST) GV. Vũ Tuyết Trinh
Thiết kế quản trị Cơ sở dữ liệu - Notes 1 (HUST) GV. Vũ Tuyết Trinh
Thiết kế quản trị Cơ sở dữ liệu - Notes 3 (HUST) GV. Vũ Tuyết Trinh
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
Chương 5.Thuyết tương đối - Vật lý đại cương 3 - TS.Nguyễn Thị Trang
Chương 4. Tán xạ ánh sáng - Vật lý đại cương 3 - TS.Nguyễn Thị Trang
Chương 3.Phân cực ánh sáng - Vật lý đại cương 3 - TS.Nguyễn Thị Trang
Commentaires (0)
Aucun commentaire pour le moment. Soyez le premier !