HÃY VIẾT CHƯƠNG TRÌNH MÔ PHỎNG QUÁ TRÌNH ĐỒNG BỘ HỆ THỐNG BÁN VÉ TÀU TRỰC TUYẾN, SỐ SERVER PHỤC VỤ CHO HỆ LÀ NN>=3 HỌC VIÊN: LÊ VĂN THỊNH GVHD: PGS-TS LÊ VĂN SƠN... THUẬT TOÁN LAMPORTTHU
Trang 1BÁO CÁO TIỂU LUẬN MÔN: HỆ PHÂN TÁN
BÁO CÁO TIỂU LUẬN
MÔN: HỆ PHÂN TÁN
ĐÀ NẴNG, 07/2014
ĐỀ TÀI
1 TRÌNH BÀY THUẬT TOÁN LAMPORT VÀ ỨNG DỤNG CỦA NÓ
2 HÃY VIẾT CHƯƠNG TRÌNH MÔ PHỎNG QUÁ 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
Trang 2NỘI DUNG
1 Thuật toán Lamport
2 Ứng dụng thuật toán LamPort
3 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 và kiểm thử
Trang 3THUẬ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 bộ tại trạm s
- He là giá trị dấu e của trạm e
- Hr là giá trị đồng hồ cần cập nhật của trạm nhận r
Trang 4THUẬT TOÁN LAMPORT
Nếu (Hr < E)
Hr = E nếu không Hr = E +1 Chấm dứt nếu
- Sự kiện nhận được ghi nhận bằng Hr
- Đảm bảo rằng thời gian phát thông điệp trước thời gian nhận nó
- Cho phép xác lập một quan hệ trật tự toàn bộ
Trang 5Ứng dụng thuật toán LAMPORT
- Cung cấp thời gian và thứ tự sự kiện.
- Có các quy tắc cho thuật toán cung cấp tài
nguyên trên hệ phân tán.
- Quy tắc được sử dụng cho việc cập nhật giá trị cho đồng hồ logic trên các host
Trang 6BÀI TOÁN ĐĂNG KÝ VÉ TÀU TRỰC TUYẾN
(Phân tích thiết kế hệ thống)
Agent
Agent
(1)
(2)
(4) (7)
(8)
(5)
(6) (3)
Database
Tram1
Database Tram 2
Database Tram 3
Mô hình hệ thống đặt vé tàu trực tuyến
Trang 7BÀ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
Trang 8Sơ đồ 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)
Trang 9BÀ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
Trang 10BÀ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
KIỂU
MaKieu
TenKieu
PHIẾU ĐẶT VÉ MaPhieu
MaKhachHang MaLoai
MaVe SoVe NgayDi
TOA MaToa TenToa SoGhe KieuGhe
KHÁCH HÀNG SoCMND
HoVaTen GioiTinh DiaChi DienThoai E-Mail MatKhau
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
Trang 11BÀ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
Trang 12BÀ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 Client
Trang 13CÀ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