Nội dung môn học

  • Chương 1 - Giới thiệu chung về hệ phân tán
    • 1.1. Khái niệm hệ phân tán
    • 1.2. Kiến trúc các hệ phân tán
    • 1.3. Vai trò của các hệ phân tán
    • 1.4. Đặc trưng của các hệ phân tán
    • 1.5. Lý thuyết xử lý phân tán
  • Chương 2. Các giải thuật cơ bản trong các hệ truyền thông báo
    • 2.1. Mô hình truyền thông báo
    • 2.2. Giải thuật phát tràn
    • 2.3. Phát tỏa và hội nhập qua một cây khung
    • 2.4. Xây dựng cây khung biết gốc dựa trên giải thuật phát tràn
    • 2.5. Xây dựng cây khung tìm kiếm theo chiều sâu biết gốc
    • 2.6. Xây dựng cây khung tìm kiếm theo chiều sâu không biết gốc
  • Chương 3. Bầu thủ lĩnh trong các mạng vòng
    • 3.1. Vấn đề bầu thủ lĩnh
    • 3.2. Các vòng vô danh
    • 3.3. Các vòng không đồng bộ có định danh
    • 3.4. Các vòng đồng bộ có định danh
  • Chương 4. Loại trừ lẫn nhau trong các hệ bộ nhớ chung phần
    • 4.1. Mô hình bộ nhớ chung phần
    • 4.2. Vấn đề loại trừ lẫn nhau
    • 4.3. Loại trừ lẫn nhau sử dụng các kiểu biến chung phần
    • 4.4. Loại trừ lẫn nhau sử dụng kiểu biến chung phần read/write
  • Chương 5. Đồng thuận kháng lỗi
    • 5.1. Các hệ đồng bộ với lỗi treo
    • 5.2. Các hệ đồng bộ với lỗi Byzantine
    • 5.3. Tính không thể đồng thuận trong các hệ không đồng bộ
  • Chương 6. Nhân quả và thời gian
    • 6.1. Thể hiện tính nhân quả
    • 6.2. Sử dụng tính nhân quả
    • 6.3. Đồng bộ hóa đồng hồ
    • 6.3. Đồng bộ hóa đồng hồ

Thực hành

  • Bài tập lớn theo nhóm & chủ đề như phân công trên lớp (khi trình bày phải demo ít nhất 02 test case)

Đánh giá

  • Kiểm tra (20%): Bài số 1 sau khi học xong chương 3, Bài số 2 sau khi học xong chương 6
  • Bài tập lớn (30%)
  • Thi cuối kỳ (50%)