Thiết kế và phân tích giải thuật duy trì dữ liệu chung phân tán

MỤC LỤC

CÁC THUẬT NGỮ VÀ TỪ VIẾT TẮT

DANH SÁCH CÁC HÌNH VẼ

MỞ ĐẦU

CHƯƠNG 1. HỆ PHÂN TÁN

1.1. Khái niệm hệ phân tán

1.2. Vai trò của hệ phân tán

1.3. Đặc trưng của các hệ phân tán

1.4. Mô hình hóa các hệ phân tán

1.4.1. Mô hình chuyển thông báo

1.4.2. Mô hình với bộ nhớ dùng chung

1.4.3. Mô hình xen kẽ

1.4.4. Thực hiện và những tính chất của thực hiện

1.5. Đánh giá độ phức tạp

1.6. Khả năng kháng lỗi và tính tự ổn định

1.6.1. Khả năng kháng lỗi

1.6.2. Tính chất tự ổn định

1.6.3. Vai trò của tự ổn định

1.6.4. Đánh giá độ phức tạp

CHƯƠNG 2. CÁC GIẢI THUẬT SƠ ĐẲNG

2.1. Giới thiệu

2.2. Bài toán

2.3. Đánh giá độ phức tạp

2.4. Giải thuật Phát tỏa Đầy đủ

2.5. Giải thuật Cập nhật Tăng trưởng [3]

CHƯƠNG 3. GIẢI THUẬT CẬP NHẬT VỚI TRI THỨC BỘ PHẬN

3.1. Tư tưởng

3.2. Giải thuật

3.3. Tính đúng đắn và độ phức tạp

3.4. Ví dụ một thực hiện

CHƯƠNG 4. GIẢI THUẬT AS CẢI TIẾN

4.1. Đặt vấn đề

4.2. Thực hiện cải tiến

4.3. Tính đúng đắn và độ phức tạp

4.4. Ví dụ một thực hiện

CHƯƠNG 5. GIẢI THUẬT DUY TRÌ DỮ LIỆU CHUNG PHÂN TÁN ÁP DỤNG TRONG THỰC TIỄN

5.1. Hệ thống động với tôpô bất kỳ

5.2. Dữ liệu chung phân tán

5.3. Độ dài dữ liệu không cố định

5.4. Khả năng kháng lỗi và tính tự ổn định

KẾT LUẬN

TÀI LIỆU THAM KHẢO