ĐIỀU KHIỂN ĐỒNG THỜI PHÂN TÁN NHÓM NỘI DUNG Lý thuyết khả Phân loại chế điều khiển đồng thời Các thuật toán điều khiển đồng thời khoá chốt Các thuật toán điều khiển đồng thời nhãn thời gian 1.Lý thuyết khả Nhắc lại: • Một lịch S (schedule) định nghĩa tập giao dịch T = {} • Định nghĩa thao tác tương tranh: hai thao tác (i k không thiết phải phân biệt) truy cập đến thực thể CSDL x gọi có tương tranh (conflict) chúng thao tác ghi (write) 1.Lý thuyết khả Định nghĩa: Một lịch đầy đủ (complete schedule) lịch định nghĩa thứ tự thực tất thao tác miền biến thiên Một lịch đầy đủ tập giao tác T={ thứ tự phận = {, = = = Đối với hai thao tác tương tranh , , có 1.Lý thuyết khả Ví dụ: :
LOGO ĐIỀU KHIỂN ĐỒNG THỜI PHÂN TÁN NHÓM NỘI DUNG Lý thuyết khả Phân loại chế điều khiển đồng thời Các thuật toán điều khiển đồng thời khoá chốt Các thuật toán điều khiển đồng thời nhãn thời gian 1.Lý thuyết khả Nhắc lại: • Một lịch S (schedule) định nghĩa tập giao dịch T = {} • Định nghĩa thao tác tương tranh: hai thao tác (i k không thiết phải phân biệt) truy cập đến thực thể CSDL x gọi có tương tranh (conflict) chúng thao tác ghi (write) 1.Lý thuyết khả Định nghĩa: Một lịch đầy đủ (complete schedule) lịch định nghĩa thứ tự thực tất thao tác miền biến thiên Một lịch đầy đủ tập giao tác T={ thứ tự phận = {, = = = Đối với hai thao tác tương tranh , , có 1.Lý thuyết khả Ví dụ: : Read(x) : Read(x) X x+1 X Write(x) Write(x) Commit Commit ={,,trong ,, ,, x+1 1.Lý thuyết khả Định nghĩa tiền tố (prifix) thứ tự phận: Cho trước thứ tự phận P={, P’={ tiền tố P nếu: , Đây ưu điểm thuật toán, tránh bế tắc phải khởi động lại giao dịch nhiều lần, làm ảnh hưởng đến hiệu thuật toán Thuật tốn TO bảo tồn cố gắng hạ thấp chi phí hệ thống cách làm giảm số lần khởi động lại giao dịch Biết lập lịch TO khởi động lại giao dịch giao dịch tương tranh trẻ lập lịch thực Giao dịch khởi động lại tăng lên, vị trí khơng hoạt động tương đối so với vị trí khác không đưa giao dịch thời hạn định Số đếm giao dịch giá trị nhỏ nhiều so với số đếm vị trí khác 4.Các thuật tốn điều khiển đồng thời nhãn thời gian Thuật toán TO bảo toàn Cần phải làm cho số đếm vị trí ln đồng Việc đồng hóa tồn bộ, địi hỏi phải trao đổi thơng báo khơng cần thiết có số đếm thay đổi => Chi phí trao đổi cao Khắc phục nhược điểm cách quản lý giao dịch từ xa gửi thao tác đến quản lý giao dịch vị trí khác, khơng phải gửi đến lập lịch Các quản lý giao dịch bên nhận so sánh giá trị số đếm với giá trị thao tác đến Nếu giá trị số đếm quản lý nhỏ giá trị đến, tự động tăng thêm Thuật toán TO cố gắng cho thực thao tác sau chấp nhận Ngược lại, thuật tốn bảo tồn hỗn thao tác lại bảo đảm khơng có thao tác có nhãn thời gian nhỏ đến lập lịch 4.Các thuật tốn điều khiển đồng thời nhãn thời gian Thuật tốn TO bảo tồn Ý tưởng: Các thao tác giao dịch đệm có thứ tự thực để không xảy loại trừ chúng thực theo thứ tự Giả sử: Bộ lập lịch vị trí i lưu tất thao tác mà nhận từ quản lý giao dịch vị trí j vào hàng đợi Qij Bộ lập lịch i có hàng đợi cho j Khi nhận thao tác từ quản lý giao dịch, thao tác đặt vào hàng đợi thích hợp theo thứ tự nhãn thời gian tăng dần Bộ lập lịch vị trí thực thao tác hàng đợi theo thứ tự nhãn thời gian tăng 4.Các thuật toán điều khiển đồng thời nhãn thời gian Thuật toán TO đa phiên Thuật toán TO đa phiên nhằm loại bỏ hồn tồn khơng khởi động lại giao dịch môi trường sở liệu tập trung Các phép cập nhật không sửa đổi sở liệu, thao tác ghi tạo phiên mục liệu Mỗi phiên đánh dấu nhãn thời gian giao dịch tạo => Vì thế, thuật tốn đa phiên phải nhiều không gian nhớ để lưu thời gian Khi xử lý giao dịch trạng thái sở liệu thực theo thứ tự nhãn thời gian Sự tồn phiên hoàn toàn suốt người sử dụng Người sử dụng đưa yêu cầu cách tham chiếu mục liệu mà không phiên cụ thể Bộ quản lý giao dịch gán nhãn thời gian cho giao dịch, dùng để theo dõi nhãn thời gian phiên 4.Các thuật toán điều khiển đồng thời nhãn thời gian Thuật toán TO đa phiên Các thao tác lập lịch xử lý sau: Thao tác Ri(x) dịch thành thao tác đọc phiên x, thực cách tìm phiên x => Giả sử: xv cho ts(xv) nhãn thời gian lớn số nhãn thời gian nhỏ ts(Ti) Ri(xv) gửi đến xử lý liệu Thao tác Wi(x) dịch thành Wi(xv) để ts(xv) = ts(Ti) gửi đến xử lý liệu khơng có giao dịch khác có nhãn thời gian lớn ts(Ti) đọc giá trị phiên x => Giả sử: xr với ts(xr) > ts(xs) Nói cách khác lập lịch xử lý thao tác Rj(xr) cho ts(Ti) < ts(xr) < ts(Tj) thao tác Wi(x) bị loại bỏ LOGO ... 3.Các thuật toán điều khiển đồng thời khoá chốt 3.Các thuật toán điều khiển đồng thời khoá chốt 3.Các thuật toán điều khiển đồng thời khoá chốt 3.Các thuật toán điều khiển đồng thời khố chốt Ví... 3.Các thuật toán điều khiển đồng thời khoá chốt 3.Các thuật toán điều khiển đồng thời khoá chốt 3.Các thuật toán điều khiển đồng thời khoá chốt 3.Các thuật toán điều khiển đồng thời khoá chốt 4.3...NỘI DUNG Lý thuyết khả Phân loại chế điều khiển đồng thời Các thuật toán điều khiển đồng thời khoá chốt Các thuật toán điều khiển đồng thời nhãn thời gian 1.Lý thuyết khả Nhắc lại: