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

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