TIỂU LUẬN MÔN CƠ SƠ DỮ LIỆU NÂNG CAO ĐiỀU KHIỂN TƯƠNG TRANH VÀ LẬP LỊCH TRONG CSDL THỜI GIAN THỰC

Đ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... Giới thiệuCSDL thời gian thực  CSDL: lưu trữ, truy

Đ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

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

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

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ý

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.

Tương tranh

(Tham khảo thêm)

Giải quyết tương tranh dùng khóa

điều khiển

(Locking Concurrency Control)

(Optimistic Concurrency Control)

(Speculative)

(Multiversion Concurrency Control)

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

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)

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.

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

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

www.themegallery.com