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)
댓글이 없습니다. 첫 댓글을 남겨보세요!