MỤC LỤC
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
CHƯƠNG 2. TỰ ỔN ĐỊNH
2.1. Tính chất tự ổn định
2.2. Vai trò của tự ổn định
2.3. Đánh giá độ phức tạp
2.4. Ví dụ 1: Loại trừ lẫn nhau
2.5. Ví dụ 2: Xây dựng cây khung
CHƯƠNG 3. ĐỊNH TUYẾN
3.1. Bài toán định tuyến tổng quát
3.2. Một số bài toán định tuyến cụ thể
3.2.1. Định tuyến với đường đi ngắn nhất
3.2.3. Định tuyến với băng thông cực đại
3.3. Phân loại các giải thuật định tuyến
3.3.1. Định tuyến theo véctơ khoảng cánh
3.3.2. Định tuyến phân tán có/không có sự cộng tác giữa các điểm đích
3.3.3. Định tuyến theo trạng thái liên kết
3.3.4. So sánh định tuyến theo véctơ khoảng cách và định tuyến theo trạng thái
liên kết
3.4.1. Giải thuật Netchange
3.4.2. Giải thuật Humblet
CHƯƠNG 4. ĐỊNH TUYẾN PHÂN TÁN TỰ ỔN ĐỊNH CỦA SHLOMI
DOLEV
4.1. Mô tả chung
4.2. Giải thuật đa cây BFS
4.3. Giải thuật đếm
CHƯƠNG 5. GIẢI THUẬT ĐỀ XUẤT
5.1. Giới thiệu chung
5.2. Mạng và những giả thiết cơ sở
5.3. Cấu trúc dữ liệu, nhiệm vụ của giải thuật
5.4. Giải thuật
5.5. Ví dụ một thực hiện
5.6. Tính đúng đắn
5.7. Đánh giá giải thuật
KẾT LUẬN
TÀI LIỆU THAM KHẢO