BÁO CÁO TIỂU LUẬN MÔN: HỆ PHÂN TÁN ĐỀ TÀI TRÌNH BÀY THUẬT TỐN LAMPORT VÀ ỨNG DỤNG CỦA NĨ HÃY VIẾT CHƯƠNG TRÌNH MƠ PHỎNG Q TRÌNH ĐỒNG BỘ HỆ THỐNG BÁN VÉ TÀU TRỰC TUYẾN, SỐ SERVER PHỤC VỤ CHO HỆ LÀ N(N>=3) HỌC VIÊN: LÊ VĂN THỊNH GVHD: PGS-TS LÊ VĂN SƠN ĐÀ NẴNG, 07/2014 NỘI DUNG Thuật toán Lamport Ứng dụng thuật toán LamPort Bài toán đăng ký vé tàu trực tuyến 3.1 Phân tích thiết kế hệ thống 3.2 Cài đặt kiểm thử THUẬT TOÁN LAMPORT THUẬT TOÁN LAMPORT LÀ CHO PHÉP GHI LẠI CÁC SỰ KIỆN CỦA HỆ PHÂN TÁN ĐƯỢC PHÁT BIỂU NHƯ SAU: - Hs giá trị đồng hồ cục trạm s - He giá trị dấu e trạm e - Hr giá trị đồng hồ cần cập nhật trạm nhận r THUẬT TOÁN LAMPORT Nếu (Hr < E) Hr = E không Hr = E +1 Chấm dứt - Sự kiện nhận ghi nhận Hr - Đảm bảo thời gian phát thông điệp trước thời gian nhận - Cho phép xác lập quan hệ trật tự tồn Ứng dụng thuật tốn LAMPORT - Cung cấp thời gian thứ tự kiện - Có quy tắc cho thuật tốn cung cấp tài nguyên hệ phân tán - Quy tắc sử dụng cho việc cập nhật giá trị cho đồng hồ logic host BÀI TOÁN ĐĂNG KÝ VÉ TÀU TRỰC TUYẾN (Phân tích thiết kế hệ thống) Mơ hình hệ thống đặt vé tàu trực tuyến Database Agent (2) Tram1 (5) (1) (3) Database (8) (6) Client Server Tram Agent (7) (4) Database Tram Agent BÀI TOÁN ĐĂNG KÝ VÉ TÀU TR ỰC TUY ẾN (Phân tích thi ết k ế h ệ th ống) Sơ đồ Use case khách hàng BÀI TOÁN ĐĂNG KÝ VÉ TÀU TR ỰC TUY ẾN (Phân tích thi ết k ế h ệ th ống) Sơ đồ Use case nhân viên BÀI TOÁN ĐĂNG KÝ VÉ TÀU TRỰC TUYẾN (Phân tích thiết kế hệ thống) Sơ đồ Use case tổng quan BÀI TOÁN ĐĂNG KÝ VÉ TÀU TRỰC TUYẾN (Phân tích thiết kế hệ thống) CHỔ MaCho MaPhieu Toa SoGhe PHIẾU ĐẶT VÉ MaPhieu MaKhachHang MaLoai MaVe SoVe NgayDi KHÁCH HÀNG SoCMND HoVaTen GioiTinh DiaChi DienThoai E-Mail MatKhau KIỂU MaKieu TenKieu TOA MaToa TenToa SoGhe KieuGhe LOẠI KH MaLoai TenLoai TyLeGiam GIA VE MaVe MaTau MaKieu GaTruoc GaSau GiaVe GA MaGa TenGa DiaChi ThongTin LỊCH TRÌNH MaLichTrinh MaGa MaTau GioDi GioDen ThoiGian TÀU MaTau TenTau SoToa ThongTin Sơ đồ thực thể quan hệ kết hợp BÀI TOÁN ĐĂNG KÝ VÉ TÀU TR ỰC TUY ẾN (Phân tích thi ết k ế h ệ th ống) Sơ đồ khối chương trình Server BÀI TỐN ĐĂNG KÝ VÉ TÀU TR ỰC TUY ẾN (Phân tích thi ết k ế h ệ th ống) Sơ đồ khối chương trình Client CÀI Đ ẶT VÀ KI ỂM TH Ử KẾT THÚC BÁO CÁO XIN CẢM ƠN THẦY VÀ CÁC BẠN CÙNG LẮNG NGHE ...NỘI DUNG Thuật toán Lamport Ứng dụng thuật toán LamPort Bài toán đăng ký vé tàu trực tuyến 3.1 Phân tích thiết kế hệ thống 3.2 Cài đặt kiểm thử THUẬT TOÁN LAMPORT THUẬT TOÁN LAMPORT LÀ CHO... Cho phép xác lập quan hệ trật tự tồn Ứng dụng thuật tốn LAMPORT - Cung cấp thời gian thứ tự kiện - Có quy tắc cho thuật tốn cung cấp tài nguyên hệ phân tán - Quy tắc sử dụng cho việc cập nhật... GHI LẠI CÁC SỰ KIỆN CỦA HỆ PHÂN TÁN ĐƯỢC PHÁT BIỂU NHƯ SAU: - Hs giá trị đồng hồ cục trạm s - He giá trị dấu e trạm e - Hr giá trị đồng hồ cần cập nhật trạm nhận r THUẬT TOÁN LAMPORT Nếu (Hr