LOGO ĐiỀU KHIỂN TƯƠNG TRANH VÀ LẬP LỊCH TRONG CSDL THỜI GIAN THỰC Giảng viên PGS.TS Nguyễn Hà Nam Nhóm 17 • Lưu Minh Đức • Chu Thị Thắm LOGO CSDL THỜI GIAN THỰC 1 Tương tranh 2 Lập lịch 3 Tổng kết 4 Giới thiệu LOGO Giới thiệu CSDL thời gian thực  CSDL: lưu trữ, truy vấn, xử lý dữ liệu  Các rằng buộc thời gian và hiệu năng Các ứng dụng:  Cơ sở hạ tầng mạng  Thị trường tài chính  Hệ thống tính cước viễn thông  Hệ thống điều khiển không lưu, đặt chỗ máy bay LOGO Tương tranh Tranh chấp tài nguyên  Tranh chấp xảy ra khi đoc ghi trên một dữ liệu tại cùng môt thời điểm  Tài nguyên chỉ được cấp cho một tác vụ  Cần có cơ chế điều tiết và phân quyền cho các tác vụ hợp lý LOGO Tương tranh Giải quyết tương tranh Wound-Wait dựa trên mức ưu tiên Gọi P(T i ) là ưu tiên của giao dịch T i T r yêu cầu một khóa trên mục dữ liệu D If (không tranh chấp) then T r truy nhập D else - T h đang giữ mục dữ liệu if (P(T r ) > P(T h )) then T h bị hủy bỏ else T r đợi khóa, nghĩa là, chặn. LOGO Tương tranh (Tham khảo thêm) Giải quyết tương tranh dùng khóa điều khiển  Điều khiển đồng thời theo khóa (Locking Concurrency Control)  Điều khiển đồng thời lạc quan (Optimistic Concurrency Control)  Điều khiển đồng thời suy đoán (Speculative)  Điều khiển đồng thời đa phiên bản (Multiversion Concurrency Control)  Điều chỉnh động thứ tự tuần tự hóa LOGO Lập lịch Tác vụ:  Thời gian bắt đầu  Thời gian cuối  Thời gian ước lượng cần thiết để hoàn thành tác vụ Tại sao phải lập lịch?  Duy trì rằng buộc  Duy trì sự nhất quán  Thỏa mãn các yêu cầu về mặt thời gian của thao tác truy nhập CSDL LOGO Lập lịch Các thuật toán:  Chính sách phụ thuộc tốc độ (Rate-Monotonic RM)  Chính sách ưu tiên tác vụ cấp thiết nhất đầu tiên (Most-Critical-First MCF)  Chính sách ưu tiên thời hạn cuối sớm nhất đầu tiên (Earliest-Deadline-First - EDF)  Các hàm giá trị (Value-Functions)  Mật độ giá trị (Value-Density VD) LOGO Lập lịch Rate-Monotonic  Phụ thuộc vào thời gian chạy  Chu kỳ của tác vụ càng ngắn thì mức ưu tiên được gán càng cao Chính sách ưu tiên tác vụ cấp thiết nhất đầu tiên (Most-Critical-First MCF): Nó chia tập các tác vụ ra và gán một mức ưu tiên nhất định cho mỗi tác vụ dựa trên chức năng và tầm quan trọng của nó đối với hệ thống. LOGO Lập lịch Earliest-Deadline-First - EDF  Chính sách EDF là một lược đồ lập lịch dựa trên mức ưu tiên đoạt quyền  Ưu tiên thời hạn sớm nhất . Điều chỉnh động thứ tự tuần tự hóa [...]...LOGO Kết luận  Nhu cầu sử dụng lớn  Rất nhiều thách thức và quy mô của bài toán ngày càng lớn  Việc khắc phục tương tranh và lập lịch là cực kỳ quan trọng trong CSDL thời gian thực LOGO www.themegallery.com . LOGO ĐiỀU KHIỂN TƯƠNG TRANH VÀ LẬP LỊCH TRONG CSDL THỜI GIAN THỰC Giảng viên PGS.TS Nguyễn Hà Nam Nhóm 17 • Lưu Minh Đức • Chu Thị Thắm LOGO CSDL THỜI GIAN THỰC 1 Tương tranh 2 Lập lịch 3 Tổng. quyết tương tranh dùng khóa điều khiển  Điều khiển đồng thời theo khóa (Locking Concurrency Control)  Điều khiển đồng thời lạc quan (Optimistic Concurrency Control)  Điều khiển đồng thời. (Speculative)  Điều khiển đồng thời đa phiên bản (Multiversion Concurrency Control)  Điều chỉnh động thứ tự tuần tự hóa LOGO Lập lịch Tác vụ:  Thời gian bắt đầu  Thời gian cuối  Thời gian ước