KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN

1 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN GIÁO VIÊN : PGS TS ĐỒNG THỊ BÍCH THỦY Nhóm : 5 Nguyễn Huỳnh An Phú Nguyễn Thị Bảo Chi Võ Lê Giang Phạm Quang Hữu 2 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN  GIỚI THIỆU  LÝ THUYẾT KHẢ TUẦN TỰ  TRONG MÔI TRƯỜNG TẬP TRUNG  TRONG MÔI TRƯỜNG PHÂN TÁN  CÁC THUẬT TOÁN ĐIỀU KHIỂN KHÓA CHỐT  KHÓA CHẾT TRONG CSDL PHÂN TÁN  PHÁT HIỆN KHÓA CHẾT  NGĂN CHẶN KHÓA CHẾT 3 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN  GIỚI THIỆU  LÝ THUYẾT KHẢ TUẦN TỰ  TRONG MÔI TRƯỜNG TẬP TRUNG  TRONG MÔI TRƯỜNG PHÂN TÁN  CÁC THUẬT TOÁN ĐIỀU KHIỂN KHÓA CHỐT  KHÓA CHẾT TRONG CSDL PHÂN TÁN  PHÁT HIỆN KHÓA CHẾT  NGĂN CHẶN KHÓA CHẾT 4 GIỚI THIỆU  Lý thuyết khả tuần tự, ứng dụng kiểm tra tính đúng đắn của khóa 2 pha trong môi trường phân tán.Một số khái niệm về thời gian, thời dấu và thứ tự các sự kiện trong CSDL PT, thuật toán khóa 2 pha.  Phân loại các cơ chế, phát hiện, ngăn chặn DeadLock không sử dụng bằng Timeout, thuật toán detection deadlock, prevention deadlock 5 Tại sao phải điều khiển đồng thời phân tán ?  Giao dịch phân tán cần quan tâm : Tính chất biệt lập (isolation) và nhất quán (consistency).  Cách đơn giản : thực hiện tuần tự các giao dịch nhất quán cục bộ  giảm hiệu suất hệ thống, không hiệu quả.  Cần có cơ chế đảm bảo tính nhất quán toàn cục và hiệu quả thực thi toàn hệ thống  tìm phương án giải quyết điều khiển đồng thời phân tán. 6 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN  GIỚI THIỆU  LÝ THUYẾT KHẢ TUẦN TỰ  TRONG MÔI TRƯỜNG TẬP TRUNG  TRONG MÔI TRƯỜNG PHÂN TÁN  CÁC THUẬT TOÁN ĐIỀU KHIỂN KHÓA CHỐT  KHÓA CHẾT TRONG CSDL PHÂN TÁN  PHÁT HIỆN KHÓA CHẾT  NGĂN CHẶN KHÓA CHẾT 7 KHẢ TUẦN TỰ TRONG CSDL TẬP TRUNG  Cho dữ liệu x (1 bộ, 1 mảnh …), giao tác Ti trên x có thao tác đọc Ri(x) (read-set), thao tác ghi Wi(x) (write-set), Ri(x) ∩ Wi(x) ≠ Ф.  Schedule : S1 : Ri(x) Rj(x) Wi(y) Rk(y) Wj(x)  Ti, Tj tuần tự trong S nếu last(Ti) < first(Tj) hoặc last(Tj) < first(Ti).  Ngược lại Ti,Tj đồng thời (các thao tác của Ti,Tj thực hiện lẫn lộn về thứ tự) 8 KHẢ TUẦN TỰ TRONG CSDL TẬP TRUNG  S tuần tự  Với mọi i,j, không tồn tại (Ti,Tj) đồng thời. S2 : Ri(x) Wi(x) Ri(y) Rj(x) Wj(y) Rk(y) Wk(x)  S2 tuần tự.  Biểu diễn S2 qua các chuỗi các giao tác T : Serial(S2) : Ti Tj Tk 9 KHẢ TUẦN TỰ TRONG CSDL TẬP TRUNG  Cho S, Oi < Oj (thao tác Oi thực hiện trước Oj)  left(Oj) = Oi trong S. S 1 : R i (x) R j (x) W i (y) R k (y) W j (x)  Ri(x) < Rk(y)  Cho Serial(S), Ti < Tj  left(Tj) = Ti trong S. Ví dụ Serial(S2) : Ti Tj Tk  Ti < Tj  Nếu S không tuần tự, không định nghĩa Serial(S), ExecuteRelationship(Ti,Tj) 10 KHẢ TUẦN TỰ TRONG CSDL TẬP TRUNG  Việc thực thi các giao tác theo lịch tuần tự  chính xác. Tuy nhiên, mục đích là phải thực hiện chúng đồng thời nếu có thể (để tăng hiệu quả)  01 Schedule thực thi chính xác nếu khả tuần tự tức tương đương với một Schedule tuần tự.  Đ/k 02 Schedule tương đương :  Mọi thao tác đọc đều đọc dữ liệu được cung cấp bởi cùng thao tác ghi trong cả hai Schedule.  Thao tác ghi cuối cùng trên mỗi dữ liệu giống nhau trong cả hai Schedule.  02 Đ/k trên là đủ vì mỗi giao tác đọc các giá trị, tính toán giống nhau trong 02 Schedule. Hơn nữa, thao tác ghi cuối trên mỗi dữ liệu được thực hiện bởi cùng giao dịch trong cả 2 Schedule. Tất cả dữ liệu có giá trị giống nhau sau khi thực hiện theo cả 02 cách. [...]... 28 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN  GIỚI THIỆU  LÝ THUYẾT KHẢ TUẦN TỰ  TRONG MÔI TRƯỜNG TẬP TRUNG  TRONG MÔI TRƯỜNG PHÂN TÁN  CÁC THUẬT TOÁN ĐIỀU KHIỂN KHÓA CHỐT  KHÓA CHẾT TRONG CSDL PHÂN TÁN  PHÁT HIỆN KHÓA CHẾT  NGĂN CHẶN KHÓA CHẾT  TRÁNH KHÓA CHẾT 29 PHÂN LOẠI CÁC CƠ CHẾ ĐIỀU KHIỂN ĐỒNG THỜI Các thuật toán điều khiển đồng thời Bi quan Khóa chốt Lạc quan Thời dấu Lai Tập trung Đa bản Phân tán. .. Wi(y) Rj(x) Wj(x) Rk(y) S6 : Ri(x) Wi(y) Rk(y) Rj(x) Wj(x) 13 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN  GIỚI THIỆU  LÝ THUYẾT KHẢ TUẦN TỰ  TRONG MÔI TRƯỜNG TẬP TRUNG  TRONG MÔI TRƯỜNG PHÂN TÁN  CÁC THUẬT TOÁN ĐIỀU KHIỂN KHÓA CHỐT  KHÓA CHẾT TRONG CSDL PHÂN TÁN  PHÁT HIỆN KHÓA CHẾT  NGĂN CHẶN KHÓA CHẾT  TRÁNH KHÓA CHẾT 14 KHẢ TUẦN TỰ TRONG CSDL PHÂN TÁN     CSDL PT, mỗi giao tác thực thi các thao tác trên... để kiểm tra tính đúng đắn khi thực thi giao tác phân tán 18 Khóa 2 pha  Nếu tất cả giao tác phân tán đều dùng khóa 2 pha  tất cả schedule cục bộ đều khả tuần tự  Nếu một giao tác phân tán dùng khóa 2 pha  tất cả các giao tác con của nó tại các vị trí độc lập đều bị khóa 2 pha  Dùng định đề 8.1 kiểm tra việc thực thi giao tác phân tán đúng đắn không ?  Minh họa khóa 2 pha đúng trong điều khiển đồng. .. khiển đồng thời cục bộ  tất cả schedule cục bộ đều khả tuần tự nhưng không đảm bảo tính đúng đắn khi thực thi tập giao tác phân tán !!! 15 KHẢ TUẦN TỰ TRONG CSDL PHÂN TÁN  Serial(S1)(VT1) : Ri(x) Wi(x) Rj(x) Wj(x)  Serial(S2)(VT2) : Rj(y) Wj(y) Rj(y) Wj(y)  Cả 2 đều tuần tự nhưng không tuần tự toàn cục vì Ti . 1 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN GIÁO VIÊN : PGS TS ĐỒNG THỊ BÍCH THỦY Nhóm : 5 Nguyễn Huỳnh An Phú Nguyễn Thị Bảo Chi Võ Lê Giang Phạm Quang Hữu 2 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN  GIỚI. án giải quyết điều khiển đồng thời phân tán. 6 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN  GIỚI THIỆU  LÝ THUYẾT KHẢ TUẦN TỰ  TRONG MÔI TRƯỜNG TẬP TRUNG  TRONG MÔI TRƯỜNG PHÂN TÁN  CÁC THUẬT TOÁN ĐIỀU. TRUNG  TRONG MÔI TRƯỜNG PHÂN TÁN  CÁC THUẬT TOÁN ĐIỀU KHIỂN KHÓA CHỐT  KHÓA CHẾT TRONG CSDL PHÂN TÁN  PHÁT HIỆN KHÓA CHẾT  NGĂN CHẶN KHÓA CHẾT 3 KIỂM SOÁT ĐỒNG THỜI PHÂN TÁN  GIỚI THIỆU  LÝ