Nghiên cứu hệ thống bản sao ứng dụng xây dựng hệ thống đăng ký vé máy bay trực tuyến

Header Page of 126 -1- -2- Công trình hoàn thành BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG ĐẠI HỌC ĐÀ NẴNG VÕ TRƯƠNG HOÀNG OANH NGHIÊN CỨU HỆ THỐNG NHIỀU BẢN SAO ỨNG DỤNG XÂY DỰNG HỆ THỐNG ĐĂNG KÝ VÉ MÁY BAY TRỰC TUYẾN Chuyên ngành: Khoa học máy tính Mã số : 60.48.01 Người hướng dẫn khoa học : PGS.TS LÊ VĂN SƠN Phản biện 1: TS.Nguyễn Tấn Khôi Phản biện 2: GS.TS Nguyễn Thanh Thủy Luận văn bảo vệ trước Hội đồng chấm Luận văn tốt nghiệp thạc sĩ kỹ thuật họp Đại học Đà Nẵng vào ngày 04 tháng 03 TÓM TẮT LUẬN VĂN THẠC SĨ KỸ THUẬT năm 2012 Có thể tìm hiểu luận văn : - Trung tâm Thông tin - Học liệu, Đại học Đà Nẵng Đà Nẵng, Năm 2012 - Trung tâm học liệu, Đại học Đà Nẵng Footer Page of 126 -3- Header Page of 126 MỞ ĐẦU Lý chọn đề tài Từ hệ thống mạng toàn cầu đời, mang lại nhiều lợi ích to lớn cho người như: tiện lợi, tiết kiệm thời gian, giảm chi phí,…Tuy nhiên, gia tăng số lượng người truy cập khiến hệ thống tập trung bị tải, không phù hợp Một giải pháp để giải tải xây dựng hệ thống nhiều Đó hệ thống phân tán triệt để, hệ thống xây dựng nhiều máy chủ ngang hàng, giống chương trình lẫn liệu có khả liên lạc với nhằm đảm bảo gắn bó liệu Dữ liệu bên máy chủ giống nên xem liệu tài nguyên thông tin dùng chung Vấn đề truy cập vào tài nguyên thông tin dùng chung phát sinh bế tắc không gắn bó liệu, dẫn đến thông tin không tin cậy để sử dụng Khi khai thác – vận hành, hai tượng nêu xảy lúc -4- ngồi) chưa đăng ký Có máy khách thứ i truy cập vào máy chủ thứ j để yêu cầu đăng ký vé k Trong có máy khách thứ m truy cập vào máy chủ thứ n yêu cầu đăng ký vé k Máy chủ thứ j nhận yêu cầu máy khách thứ i thực truy vấn đăng ký vé cung cấp mã vé k cho máy khách thứ i Lúc này, mã vé k có tình trạng đăng ký Trong đó, mã vé k máy chủ n có tình trạng chưa đăng ký nên máy chủ n thực cung cấp vé cho máy khách thứ m Điều dẫn đến tượng trùng vé, hay nói cách khác vé cung cấp cho hai khách hàng Trong thực tế thời điểm có nhiều máy khách truy cập đồng thời vào hệ thống máy chủ, điều dễ dẫn hệ thống đến xung đột không gắn bó liệu Do vậy, cần phải có giải pháp đảm bảo gắn bó liệu, khắc phục tượng trùng vé nội dung cốt lõi nghiên cứu đề tài nào, gây nên hậu lường trước được, Mục tiêu nhiệm vụ nghiên cứu thương mại điện tử hàng không Mục tiêu nghiên cứu: Giả sử hệ thống bán vé máy bay gồm nhiều máy chủ đặt nhiều vị trí khác Mỗi máy chủ chứa sở liệu lưu trữ thông tin vé, tuyến bay, chuyến bay,… Hệ thống cần phải đảm bảo vào thời điểm truy cập, chương trình liệu máy chủ phải hoàn toàn giống nhau, hay nói cách khác hệ phải đảm bảo gắn bó liệu Tại máy chủ có nhiều máy khách tương tác với Khi máy khách gửi yêu cầu đăng ký vé máy chủ máy chủ nhận yêu cầu, xử lý yêu cầu gửi kết cho máy khách Giả sử sở liệu đặt máy chủ có lưu tình trạng vé chuyến bay, có mã vé k (tương ứng với vị trí ghế Footer Page of 126 Nghiên cứu giải pháp đảm bảo gắn bó liệu hệ thống nhiều cho hệ phân tán, ứng dụng giải pháp xây dựng hệ thống đăng ký vé máy bay trực tuyến để giải vấn đề tải Nhiệm vụ nghiên cứu: - Nghiên cứu hệ phân tán - Nghiên cứu hệ thống nhiều cho hệ phân tán - Nghiên cứu kỹ thuật đồng gắn bó liệu hệ thống nhiều Đối tượng phạm vi nghiên cứu Đối tượng nghiên cứu: - Lý thuyết Hệ phân tán Header Page of 126 -5- - Hệ thống nhiều -6- - Đề tài góp phần giải vấn đề phân tán hóa hệ thống - Các giải thuật đồng gắn bó liệu đăng ký tài nguyên trực tuyến nói chung hệ thống đăng ký vé máy - Kỹ thuật lập trình phân tán đối tượng bay nói riêng Phạm vi nghiên cứu: - Tập trung nghiên cứu giải thuật đồng gắn bó liệu hệ thống nhiều - Ứng dụng giải pháp nghiên cứu để xây dựng hệ thống đăng ký vé máy bay trực tuyến - Giảm thiểu rủi ro thất thoát kinh tế vô hình trục trặc hệ thống đăng ký thông tin trực tuyến - Nghiên cứu làm tài liệu tham khảo cho nghiên cứu khác lĩnh vực hệ phân tán Cấu trúc luận văn Phương pháp nghiên cứu Luận văn bao gồm chương sau đây: Phương pháp nghiên cứu lý thuyết: Chương 1: Các vấn đề sở hệ phân tán - Tìm kiếm nghiên cứu tài liệu, luận văn tốt nghiệp lĩnh vực hệ phân tán, quản lý hệ thống nhiều - Dựa sở lý thuyết hệ phân tán kết nghiên cứu để xây dựng giải pháp kỹ thuật cho hệ thống nhiều Phương pháp nghiên cứu thực nghiệm: - Các kết công trình nghiên cứu khoa học báo khoa học đăng tạp chí lĩnh vực hệ phân tán lập trình mạng - Nghiên cứu ngôn ngữ lập trình hỗ trợ hệ phân tán để xây dựng cài đặt chương trình Ý nghĩa khoa học thực tiễn Ý nghĩa khoa học: - Đưa giải pháp kỹ thuật cho phép đồng hóa gắn bó liệu hệ thống nhiều - Xây dựng chương trình đăng ký thông tin trực tuyến đảm bảo tính gắn bó hệ phân tán Ý nghĩa thực tiễn: Footer Page of 126 Nội dung chương trình bày tổng quan hệ tin học phân tán nói chung hệ thống nhiều nói riêng, nêu lên cần thiết đồng hóa tiến trình, thiết yếu phải xác định trật tự cho tập hợp kiện hệ, đồng thời trình bày lý thuyết đồng hóa dựa trật tự phần trật tự hóa toàn phần kiện hệ phân tán Chương 2: Giải pháp kỹ thuật đảm bảo tính gắn bó liệu hệ thống nhiều Nội dung chương đề cập đến vấn đề gắn bó liệu kỹ thuật đảm bảo gắn bó liệu Chương 3: Xây dựng hệ phân tán cho hệ thống đăng ký vé máy bay trực tuyến Nội dung chương đưa giải pháp kỹ thuật đảm bảo gắn bó liệu hệ thống nhiều ứng dụng hệ thống nhiều xây dựng hệ thống đăng ký vé máy bay trực tuyến -7- Header Page of 126 -8- L CHƯƠNG CÁC VẤN ĐỀ CƠ SỞ CỦA HỆ PHÂN TÁN e 1.1 KHÁI NIỆM CƠ BẢN CỦA HỆ PHÂN TÁN L e L …… e 1.1.1 Khái niệm 1.1.2 Thành phần hệ phân tán Hệ thống viễn thông Hệ phân tán bao gồm bốn thực thể hình : Các Hệ thống phần mềm Hệ thống truyền thông e e L L Phần cứng e …… L Hình 1.5 Hệ đối xứng 1.2.2 Ưu điểm nhược điểm hệ thống nhiều 1.3 VẤN ĐỀ ĐỒNG BỘ HÓA TIẾN TRÌNH TRONG HỆ PHÂN Dữ liệu TÁN Tính cấp thiết vấn đề đồng hóa tiến trình thể hai điểm mấu chốt sau đây: Hình 1.2: Bốn thực thể hệ tin học phân tán 1.1.3 Đặc điểm hệ phân tán 1.2 QUẢN LÝ NHIỀU BẢN SAO 1.2.1 Nhân đối tượng thông tin + Nhìn chung, tiến trình kể tiến trình xuất phát từ ứng dụng độc lập muốn truy cập vào tài nguyên với số lượng vốn hạn chế hay truy cập vào thông tin dùng chung lúc gây nên tượng truy cập tương tranh Tương tranh nguyên nhân Ta cần phân biệt hai trường hợp khác nhau: xung đột tiến trình truy cập vào tài nguyên Trường hợp 1: đối tượng đặc quyền dùng chung Trường hợp 2: tất đóng vai trò đối xứng Từng hệ + Các tiến trình hệ hoạt động theo kiểu hợp lực để thống cục có lưu trữ tất thông tin liên giải toán đặt cho kết nhanh chóng Hợp quan có tất hệ cục Hay nói cách khác sở lực nguyên nhân tác động tương hỗ lập trình liệu nằm vị trí khác có liệu bên giống tiến trình nhằm cho phép chúng tham gia vào hành động chung Footer Page of 126 Header Page of 126 -9- - 10 - 1.4 XÁC ĐỊNH TRẬT TỰ CHO CÁC SỰ KIỆN TRONG HỆ PHÂN TÁN 1.4.3 Đồng hóa dựa trật tự tổng quát chặt chẽ Trong số trường hợp, cần phải xếp toàn kiện 1.4.1 Khái niệm hệ theo kiểu chặt chẽ Nguyên lý vấn đề khái quát 1.4.2 Đồng hóa dựa trật tự phần sau: Một tiến trình gửi yêu cầu để sử dụng tài nguyên; tiến Giả sử xác định trật tự kiện hệ trình sử dụng xong tài nguyên truyền thông tin giải phóng phân tán nhờ vào quan hệ ký hiệu là: → gọi “có trước” hay ngừng chiếm dụng “ở trước” Quan hệ tối thiểu phải thỏa mãn ràng * Cung cấp tập trung buộc thể bảng * Cung cấp phân tán Bảng 1.2: Các ràng buộc quan hệ có trước STT Ký Thuyết minh hiệu Nếu A B hai kiện máy chủ C1 C2 A thực trước B theo trật tự cục Vì lý ổn định hiệu quả, chức cung cấp phải phân tán nhiều trạm khác Sự hoạt động gắn bó với chương trình cung cấp cần thiết để đảm bảo cho hoạt động cung cấp hoàn toàn xác Một hoạt động gắn bó chương trình cung cấp phân tán máy chủ ta có: A → B quản lý tập hợp tài nguyên đạt tuân Nếu A phát thông điệp máy chủ thủ quy tắc sau: B thu thông điệp ta có: A → B Ví dụ: Trật tự hóa phần kiện hệ Trạm A Trạm B + Các cung cấp bắt buộc phải thực giải thuật + Các cung cấp nhận tất thông điệp phát từ tiến trình + Các thông điệp phải xử lý trật tự chương trình cung cấp Qui tắc sau nhấn mạnh đến thiết yếu phải có trật tự tập hợp thông điệp hệ Trật tự thực thông qua việc hợp lực tiến trình cung cấp hay tiến trình phát thông điệp 1.5 GIAO DỊCH VÀ QUẢN LÝ GIAO DỊCH t 1.5.1 Khái niệm giao dịch t Hình 1.6: Hoạt động phát, nhận thông điệp hai máy chủ A B Footer Page of 126 1.5.2 Tình kết thúc giao dịch Header Page of 126 - 11 - - 12 - 1.6 ĐIỀU KHIỂN TƯƠNG TRANH CÁC GIAO DỊCH 1.6.1 Điều khiển tương tranh dựa chế khóa Ý tưởng điểu khiển tương tranh dựa sở khóa Vấn đề 2: Xét giao dịch truy cập có tranh chấp đến tài khoản A B bảng 1.6: Bảng 1.6: Hai giao dịch truy cập có tranh chấp đến hai khoản mục đảm bảo liệu chia sẻ thao tác tranh chấp cách truy xuất thao tác thời điểm Điều đạt Giao dịch T (1) cách kết hợp khóa với đơn vị khóa Khóa thiết lập với giao dịch trước truy xuất khởi động lại sau A=A–P Giao dịch U (2) Write(A) (3) kết thúc giao dịch B=B+P Write(A) (4) Write(B) Khi ta quan tâm đến đồng thao tác tranh chấp giao dịch tranh chấp, có loại khoá chốt: Khoá đọc (read lock) ký hiệu “rl”, khoá ghi (write lock) ký hiệu “wl” dùng “unlock” để giải phóng khóa A = (1+t) * A B = (1 + t) *B Write(B) Giả sử trước thực giao dịch này, A = 1000, B = 2000, t = 0.1, P = 500 Nếu hai giao dịch thực tương tranh theo thứ tự (1)(2)(4)(3) kết A = 550, B = 2700, ta có A + B = 3250 Ta Một giao dịch Ti muốn đọc khoản mục liệu chứa đơn vị khóa x phải đạt khóa đọc x ký hiệu rli(x) Điều xảy tương tự với thao tác ghi 1.6.2 Trật tự hóa tác động làm sai giá trị vốn có chúng Hệ không gắn bó liệu 1.6.2.2 Trật tự hóa Trật tự hóa trật tự hóa tương ứng với việc thực tập hợp giao dịch Trật tự hóa gắn bó Tuy 1.6.2.1 Đặt vấn đề nhiên sử dụng trật tự hóa làm chậm trình xử lý có Vấn đề 1: Xét hai giao dịch truy cập có tranh chấp đến A nhiều giao dịch thực nhiều đối tượng tranh chấp Do Bảng 1.5:Hai giao dịch truy cập có tranh chấp đến khoản mục để tăng trình xử lý, ta phải tìm trật tự cho phép thực song Giao dịch T1 (1) Read(A) Giao dịch T2 (2) A := A + 10 (3) Write(A) Read(A) A := A + (4) Write(A) song nhiều giao dịch trì gắn bó 1.6.2.3 Trật tự hóa hợp thức Các qui tắc truy cập đối tượng ý, tính hợp thức việc truy cập Nội dung qui tắc sau: Một giao dịch thay đổi giá trị đối tượng phải loại trừ tất Trước thực giao dịch này, giá trị A 50 đối tượng khác muốn truy cập, ngược lại việc truy cập Nếu T1 T2 thực tương tranh theo trật tự (1)(2)(3)(4) tiến hành theo kiểu tương tranh Để đảm bảo điều thực kết nhận 55 Kết phá vỡ gắn bó hiện, ta cho phép tiến hành khóa đối tượng trước việc sử dụng có hiệu lực Footer Page of 126 - 13 - Header Page of 126 - 14 - Dùng hai loại khóa chốt khóa đọc (read lock) sử dụng theo kiểu chia sẻ khóa ghi (write lock) sử dụng theo kiểu loại trừ mục liệu, pha giai đoạn giải phóng khóa hình 1.7 sau: Một giao dịch Ti muốn đọc mục liệu chứa đơn vị khóa x nhận khóa đọc x, ký hiệu rli(x) , tương tự với thao tác ghi wli(x) Hai khóa tương thích hai giao dịch truy xuất đến khoản mục liệu đạt khóa khoản mục liệu thời điểm Ma trận tương thích thực thể khóa thể bảng 1.7 sau: Bảng 1.7: Ma trận tương thích thực thể khóa rli(x) wli(x) rli(x) Tương thích Không tương thích wli(x) Không tương thích Không tương thích Trật tự hóa hợp thức: đối tượng giao dịch khóa theo kiểu chia sẻ không bị khóa theo kiểu loại trừ giao dịch khác Một đối tượng bị khóa theo kiểu loại trừ không bị khóa 1.6.3 Giao dịch sử dụng khóa hai pha (2PL–Two phases locking) Quy tắc khóa hai pha đơn giản khẳng định giao dịch yêu cầu khóa sau giải phóng khóa Nó không giải phóng khóa bảo đảm không yêu cầu thêm khóa Các giao dịch hai pha: giao dịch phải thực tất thao tác khóa mục trước tất thao tác mở khóa Dãy phép toán khóa phân tích thành hai pha, giao dịch có pha tăng trưởng mà nhận khóa truy xuất Hình 1.7:Biểu đồ khóa 1.7 SỰ GẮN BÓ DỮ LIỆU TRONG HỆ THỐNG NHIỀU BẢN SAO Các đối tượng khác hệ đối tượng độc lập nhau, chúng liên hệ với tập hợp quan hệ gọi ràng buộc toàn vẹn Các ràng buộc thể sâu sắc đặc tính riêng biệt hệ Trạng thái hệ thỏa mãn tập ràng buộc toàn vẹn gọi trạng thái gắn bó.[4] Việc quản lý liệu phương pháp dùng nhiều đối tượng thông tin hệ phân tán giúp rút ngắn thời gian truy cập trung bình vào thông tin Nếu ta có n e1, e2, …, en đối tượng e, ràng buộc toàn vẹn là: e1 = e2 = … = en Hay nói khác liệu phải hoàn toàn giống thời điểm truy cập Khi phát sinh giao dịch thay đổi giá trị đối tượng cần phải chép lại sớm tốt thay đổi Footer Page of 126 - 15 - - 16 - tất khác Sau thực xong giao dịch tất HE = max (H’, HE) +1 Header Page of 126 phải hoàn toàn giống Khi hệ trạng thái gắn bó Các Với thời gian cho phép xác định quan hệ trật tự toàn phương pháp, kỹ thuật đảm bảo tính gắn bó đề cập mà ta ký hiệu “→” cho phép ta kiểm tra ràng buộc C1 chương C2 phần 1.4.2 1.8 KẾT LUẬN CHƯƠNG Một kiện a sinh trạm I đánh dấu đồng hồ cục gọi HI(a) Nếu a b hai kiện hai trạm khác CHƯƠNG GIẢI PHÁP KỸ THUẬT ĐẢM BẢO TÍNH GẮN BÓ DỮ LIỆU TRONG HỆ THỐNG NHIỀU BẢN SAO 2.1 KỸ THUẬT XÁC LẬP TRẬT TỰ CÁC SỰ KIỆN TRONG HỆ THỐNG NHIỀU BẢN SAO 2.3.1 Đồng hồ logic 2.3.2 Thuật toán Lamport I, J , ta có quan hệ sau: a → b ⇔ HI(a) < HJ (b) Đây trật tự không chặt chẽ hai kiện hai trạm khác đến thời điểm Để có trật tự chặt chẽ ta kết hợp thêm số ID cố định cho trạm cách đánh dấu thời gian cho kiện a trạm i cặp (HI(a), I) Theo định nghĩa, ta có: Nội dung thuật toán trạm phát gắn giá trị gọi dấu Giá trị có tính chất thời điểm cho trạm phát thông a thực trước b HI(a) < HJ(b) HI(a) = HJ(b) I < J tin dựa vào đồng hồ logic cục trạm *Thuật toán: Mỗi trạm S có trang bị đồng hồ logic với giá trị nguyên gọi Hs Đồng hồ logic tăng lên hai kiện liên tiếp Giá trị khởi tạo trạm Đồng hồ logic hoạt động theo nguyên tắc 2.2 THUẬT TOÁN HERMAN ĐẢM BẢO SỰ GẮN BÓ YẾU NHỜ DẤU 2.3.1 Nguyên lý Tập hợp tất yêu cầu cập nhật xếp theo kiểu tất trạm nhờ chế dấu Theo yêu cầu sau: + Đánh dấu kiện giá trị đồng hồ logic trạm phát cho tập hợp trạm Trên trạm, tồn tiến trình + Khi có kiện cục xảy ra, tăng đếm đồng hồ logic Server đảm nhận nhiệm vụ tiếp nhận yêu cầu theo trật tự dấu lên + Khi trạm E phát thông điệp, ghi dấu e dựa giá trị hành HE + Khi trạm E nhận thông điệp có dấu thời gian H’ , cập nhật đồng hồ HE riêng mình: Footer Page of 126 Điều cho phép có gắn bó yếu khác 2.3.2 Triển khai hệ ổn định 2.3.3 Hành vi chế độ bình thường - 17 - Header Page of 126 - 18 - 2.5 GIẢI THUẬT MAONT (Model Advanced of Open Nested 2.3 THUẬT TOÁN ELLIS ĐẢM BẢO SỰ GẮN BÓ MẠNH 2.3.1 Nguyên lý Transaction) Giải thuật giao dịch lồng mở MAONT cho phép giao dịch tiến Tập hợp bao gồm trạm tổ chức theo kiểu vòng tròn ảo, hành đồng thời giao dịch chứa giao dịch khác cập nhật thực theo hai thì: thống theo phương pháp tiếp cận khoá chốt [1] trạm, hai thực cập nhật 2.6 KẾT LUẬN CHƯƠNG Do vậy, thuật toán đảm bảo gắn bó mạnh Nếu có nhiều Chương đưa kỹ thuật đồng hóa gắn bó liệu yêu cầu cập nhật diễn đồng thời ta phải có quy tắc để định hệ phân tán Trên sở đó, ta nghiên cứu đưa giải pháp yêu cầu tiếp nhận thỏa mãn Nhằm phục vụ cho ý tưởng đảm bảo gắn bó liệu đa truy cập vào hệ thống nhiều đó, ta thường hay sử dụng dấu phối hợp cho cập nhật ta xử lý áp dụng cho việc xây dựng hệ thống đăng ký vé máy bay chương yêu cầu có thời gian lâu nhất.[4] 2.3.2 Triển khai hệ ổn định 2.3.3 Hành vi chế độ bình thường 2.4 GIẢI THUẬT HAI PHA TUYẾN TÍNH (LINEAR 2PC) Cấu trúc giao tiếp 2PC tuyến tính mô tả hình 2.1: Phase VC/VA VC/VA Prepare GC/G GC/GA CHƯƠNG XÂY DỰNG HỆ PHÂN TÁN CHO HỆ THỐNG ĐĂNG KÝ VÉ MÁY BAY TRỰC TUYẾN BOOKING SYSTEM 3.1 PHÂN TÍCH VÀ THIẾT KẾ HỆ THỐNG BOOKING SYSTEM 1.0 3.1.1 Triển khai hệ thống N GC/GA Phase Hình 2.1: Cấu trúc giao tiếp 2PC Trong đó, VC: Vote – Commit GC: Global – Commit VA: Vote – Abort GA: Global – Abort Hình 3.1: Mô hình hệ thống nhiều Footer Page of 126 - 19 - Header Page 10 of 126 - 20 - Trong hình 3.1 trên, máy chủ Si chứa CSDL Ci với i = N , CSDL Ci có liệu giống 3.1.2 Phân tích yêu cầu hệ thống 3.2 GIẢI PHÁP ĐẢM BẢO GẮN BÓ DỮ LIỆU TRONG HỆ THỐNG BOOKING SYSTEM 1.0 Nếu có yêu cầu sử dụng tài nguyên việc thực yêu Mỗi máy chủ trang bị đồng hồ logic riêng Gọi Hi(a) nhãn thời gian kiện a máy chủ i Để đảm bảo quan hệ “xảy trước”, máy chủ phải cập nhật đồng hồ logic chúng gán giá trị cho thông điệp yêu cầu theo qui luật sau: Qui luật 1: Tăng Hi có kiện xảy máy chủ i: cầu đơn giản.Nhưng có nhiều yêu cầu đăng ký diễn đồng thời dễ dẫn đến xung đột phá vỡ gắn bó liệu máy chủ Hi = Hi + Qui luật 2: Lúc này, việc xếp yêu cầu phát từ máy chủ theo trật Khi máy chủ i gửi thông điệp m, đánh dấu Hi tự quan trọng để đảm bảo gắn bó liệu Giải thuật Lamport Khi máy chủ j nhận thông điệp có dấu thời gian t = H’ ta sử dụng để giải vấn đề sau: đặt lại đồng hồ logic máy chủ là: max(Hj , t) + Giả sử có N máy chủ, máy chủ i gửi cho máy chủ Tại máy chủ cần có hàng đợi lưu yêu cầu, yêu khác thông điệp có dạng (T,Hi,i), Hi dấu thông điệp, cầu xếp theo cặp đồng hồ logic máy chủ i, T nhận thông điệp ba giá trị REQ, REL ACQ Ba giá trị xác định chất ba loại thông điệp khác thể bảng 3.1 Bảng 3.1: Các loại thông điệp S T T Giải thích Thông điệp REQ phát cho tất máy chủ, máy chủ i muốn sử dụng tài nguyên Thông điệp REL phát cho tất máy REL chủ, máy chủ i hoàn tất việc sử dụng tài nguyên Thông điệp ACQ gửi máy chủ j đến máy ACQ lấy thực * Thực giao dịch đảm bảo gắn bó: Mỗi yêu cầu sau cung cấp giá trị dấu bắt đầu mở Thông điệp REQ Yêu cầu có thời gian dấu lâu nằm đỉnh hàng đợi chủ i để báo nhận từ máy chủ i thông điệp REQ Footer Page 10 of 126 giao dịch Các yêu cầu giao dịch tác động đến sở liệu tất máy chủ Do đó, việc thực giao dịch thành công hay không phụ thuộc vào tất tác động tất sở liệu Đăng ký thành công tất truy vấn thành công, ngược lại có truy vấn bị lỗi không thực Giao dịch thực theo thuật toán hai pha Header Page 11 of 126 - 21 - - 22 - Hình 3.6: Sơ đồ thực giao dịch 3.3 TỔ CHỨC QUẢN LÝ CƠ SỞ DỮ LIỆU CSDL xây dựng hệ quản trị sở liệu Access Mô hình sở liệu: Hình 3.7: Mô hình sở liệu 3.4 KỸ THUẬT LẬP TRÌNH PHÂN TÁN ĐỐI TƯỢNG 3.4.1 RMI kỹ thuật lập trình phân tán đối tượng 3.4.1.1 Giới thiệu RMI (Remote Method Invocation) 3.4.1.2 Cách cài đặt ứng dụng phân tán RMI 3.4.2 Cơ chế kết nối CSDL Server 3.5 CHỨC NĂNG HOẠT ĐỘNG CỦA HỆ BOOKING SYSTEM 1.0 Hệ thống gồm Server có chức sau: Chức Server: trao đổi thông điệp thực giao dịch Chức giám sát (Monitoring Server): cho phép theo dõi kiểm tra tính gắn bó hệ Footer Page 11 of 126 Header Page 12 of 126 - 23 - - 24 - Chức đăng ký (Client): cho phép máy khách kết nối vào hệ để thực việc tìm đăng ký vé 3.6 KẾT QUẢ Khởi động Server Giả sử hệ thống vé ban đầu chưa có vé * Tiếp nhận yêu cầu đăng ký từ Client: Chỉ có Server1 Server2 tiếp nhận yêu cầu đăng ký từ hai Client, đăng ký Vé chưa đăng ký có tình trạng vé 0, vé Server3 Server4 yêu cầu có trao đăng ký có tình trạng vé Hệ thống giám sát sở đổi thông điệp với Server khác Các thông điệp trao đổi liệu Server chưa thực giao dịch đăng ký thể Server thể hình 3.13: hình 3.10 sau: Hình 3.10: Hệ thống giám sát CSDL Server Các Client kết nối với Server để tìm vé theo tuyến bay đăng ký Hình 3.13: Màn hình theo dõi trình phát nhận thông điệp Sau giao dịch đăng ký thành công Server1 Server2, Giả sử Client1 kết nối tới Server1, tìm vé tuyến bay Sai Gòn – việc cập nhật tiến hành cho Server3 Server4 Hệ thống Đà Nẵng yêu cầu đăng ký vé 21 Client kết nối tới Server 2, tìm giám sát sở liệu Server sau máy khách thực vé tuyến bay Đà Nẵng – Hà Nội yêu cầu đăng ký vé 32 Footer Page 12 of 126 đăng ký vé 21 vé 32 thành công thể hình 3.14 sau: Header Page 13 of 126 - 25 - - 26 - KẾT LUẬN Đề tài nghiên cứu hệ thống nhiều ứng dụng xây dựng hệ thống đăng ký vé máy bay trực tuyến sâu nghiên cứu đạt kết sau đây: Hệ thống hóa lý thuyết sở hệ phân tán Nghiên cứu vấn đề đồng hóa hoạt động tiến trình hệ phân tán, đặc biệt trình đồng cung cấp tài nguyên xuất phát từ tiến trình yêu cầu từ xa Phân tích toán đảm bảo gắn bó liệu hệ thống nhiều Đưa giải pháp đảm bảo tính gắn bó liệu đa truy cập vào tài nguyên thông tin hệ thống nhiều ứng dụng xây dựng hệ thống đăng ký vé máy bay trực tuyến Tiến hành xây dựng thử nghiệm, vận hành giải pháp dựa ngôn ngữ lập trình Java hệ quản trị sở liệu Microsoft Access Trong phạm vi thời gian thực luận văn, đề tài tập trung Hình 3.14: Hệ thống giám sát tình trạng vé Server 3.7 KẾT LUẬN CHƯƠNG Chương đưa giải pháp đảm bảo gắn bó liệu đa truy cập vào tài nguyên thông tin hệ thống nhiều xây dựng hệ thống nhiều cho hệ thống Booking System nhằm minh họa cho giải pháp đảm bảo gắn bó liệu Do đó, hệ thống thống cần xây dựng phát triển để áp dụng vào thực tế Giải pháp cài đặt môi trường java Kết chạy Hướng phát triển luận văn : chương trình minh họa việc thực đăng ký vé nhằm thể khả + Xây dựng hệ thống Booking System 1.0 hoàn chỉnh để áp đảm bảo tính gắn bó liệu hệ vào thời điểm đăng ký dụng vào thực tiễn + Xây dựng giải pháp đảm bảo gắn bó liệu cho hệ thống môi trường bị cố + Giải pháp đảm bảo gắn bó liệu hệ thống nhiều ứng dụng cho toán đăng ký tài nguyên trực tuyến khác Footer Page 13 of 126  ... 3: Xây dựng hệ phân tán cho hệ thống đăng ký vé máy bay trực tuyến Nội dung chương đưa giải pháp kỹ thuật đảm bảo gắn bó liệu hệ thống nhiều ứng dụng hệ thống nhiều xây dựng hệ thống đăng ký vé. .. đối tượng bay nói riêng Phạm vi nghiên cứu: - Tập trung nghiên cứu giải thuật đồng gắn bó liệu hệ thống nhiều - Ứng dụng giải pháp nghiên cứu để xây dựng hệ thống đăng ký vé máy bay trực tuyến -... 126 Nghiên cứu giải pháp đảm bảo gắn bó liệu hệ thống nhiều cho hệ phân tán, ứng dụng giải pháp xây dựng hệ thống đăng ký vé máy bay trực tuyến để giải vấn đề tải Nhiệm vụ nghiên cứu: - Nghiên cứu