Gắn bó dữ liệu trong hệ quản lý bãi đỗ xe và đưa ra giải thuật sắp xếp các message đến dựa trên đồng hồ lôgíc

Tiểu luận Môn học Hệ phân tán LỜI MỞ ĐẦU Ngày với phát triển khoa học kỹ thuật đặc biệt kỹ thuật tin học phần đáp ứng ngày tốt nhu cầu trao đổi thông tin người, làm cho người khắp giới trở nên gần hơn, thông tin liên lạc nhanh chóng, thuận lợi hiệu Được nhờ vào hệ thống mạng máy tính hệ tin học phân tán, hệ thống xử lý thông tin bao gồm nhiều xử lý vi xử lý nằm vị trí khác liên kết với thông qua phương tiện viễn thông điều khiển thống hệ điều hành Trong giới hạn tiểu luận kết thúc mơn học này, đề tài “Gắn bó liệu hệ quản lý bãi đỗ xe đưa giải thuật xếp message đến dựa đồng hồ lơgíc” tập trung việc giải vấn đề gắn bó liệu để giải trình tự cập nhật thơng tintrong hệ thống tin học nói chung hệ phân tán nói riêng Nội dung tiểu luận gồm có phần sau: - Những vấn đề chung hệ tin học phân tán - Gắn bó liệu hệ quản lý bãi đỗ xe - Những nguyên lý thuật toán xếp message đến dựa đồng hồ lơgíc Em xin chân thành cảm ơn thầy giáo PGS.TS Lê Văn Sơn cung cấp kiến thức tài liệu để em hồn thành tiểu luận Trong tiểu luận khơng thể tránh khỏi thiếu sót, em mong nhận góp ý kiến Thầy bạn Học viên thực HUỲNH ANH TUẤN GV hướng dẫn: PGS TS Lê Văn Sơn Trang 1/21 Tiểu luận Môn học Hệ phân tán CHƯƠNG I: CÁC KHÁI NIỆM CƠ BẢN VỀ HỆ TIN HỌC PHÂN TÁN I TỔNG QUAN VỀ HỆ TIN HỌC Một cách tổng quát, hệ tin học bao gồm thành phần phần cứng, hệ điều hành, chương trình ứng dụng người sử dụng (NSD) … mơ tả hình sau : M 2 III II P PhÇn text text cøng IV N I hÖ ®iỊu hµnh Q Hình I-1 Thành phần hệ tin học Các thiết bị phần cứng bao gồm thiết bị xử lý trung tâm, nhớ thiết bị ngoại vi đóng vai trò hai loại tài nguyên sở hệ thống tin học Các chương trình ứng dụng thành phần sau hệ điều hành hiểu phần mềm sở phục vụ cho việc triển khai ứng dụng cụ thể chương trình dịch, hệ quản trị sở liệu, chương trình trợ giúp sử dụng thiết bị chuyên dụng, trò chơi điện tử Người sử dụng (NSD) hiểu theo nghĩa rộng, góc độ hệ điều hành, nhà chun mơn, máy tính, hệ tự động vận hành, gắn với máy tính … khai thác hệ thống qua lệnh điều khiển theo thuật tốn nhằm đạt mục tiêu xác định từ trước Hệ điều hành máy tính mạng máy tính gọi tắt hệ điều hành đặt sát phần cứng, gắn kết chặt chẽ với phần thiết bị hệ thống chương trình, điều khiển xếp nhằm khai thác phần cứng phục vụ cho chương trình ứng dụng khác NSD khác với kết hiệu chấp nhận Như vậy, hệ tin học bao gồm ba thực thể: phần cứng, phần mềm liệu: GV hướng dẫn: PGS TS Lê Văn Sơn Trang 2/21 Tiểu luận Mơn học Hệ phân tán PhÇn cøng Phần mềm Dữ liệu Hỡnh I -2 Ba thc th hệ tin học Vậy hệ thống tin học (Informatic System ) hệ thống bao gồm hai thành phần phần cứng (hardware) phần mềm (software) gắn bó hữu với có khả xử lý thông tin II HỆ TẬP TRUNG Tiêu biểu hệ thống máy đơn, máy không kết nối vật lý logic với máy khác Ở thời điểm định, máy đơn điều hành hệ điều hành Hệ thống gọi hệ tin học tập trung, thích hợp với máy tính loại trung loại lớn Tóm lại, hệ tin học tập trung bao gồm hệ thống máy đơn điều khiển hệ điều hành quản lý tồn thơng tin thiết bị nhớ cục III HỆ TIN HỌC PHÂN TÁN Hệ tin học phân tán hay nói ngắn gọn hệ phân tán (Distributed System) hệ thống xử lý thông tin bao gồm nhiều xử lý vi xử lý nằm vị trí khác liên kết với thơng qua phương tiện viễn thông điều khiển thống hệ điều hành Hệ phân tán gồm thực thể : - Tập hợp phần cứng - Các hệ thống phần mềm - Hệ thống truyền thông - Hệ thống liệu GV hướng dẫn: PGS TS Lê Văn Sơn Trang 3/21 Tiểu luận Môn học Hệ phân tán Mơ hình 04 thành phần sau: Tập hợp Các hệ thống phần cứng phần mềm Hệ thống Hệ thống truyền thơng liệu Hình I-3: thực thể hệ tin học phân tán Đặc điểm cần nhấn mạnh hệ hệ xử lý thông tin thành phần : - Không dùng chung chia sẻ nhớ - Không sử dụng chung đồng hồ xung nhịp - Chúng liên lạc với thông qua mạng truyền thơng - Mỗi hệ xử lý có xử lý, nhớ hệ điều hành riêng Hệ tin học phân tán thực hàng loạt chức phức tạp chức đảm bảo cung cấp cho người sử dụng khả truy cập có kết đến tài nguyên vốn có đa dạng hệ thống tài nguyên dùng chung Ưu điểm hệ phân tán so với hệ tập trung sau: - Tăng tốc độ bình qn tính tốn xử lý - Cải thiện tình trạng ln sẵn sàng loại tài nguyên - Tăng độ an toàn cho liệu - Đa dạng hóa loại hình dịch vụ tin học - Bảo đảm tính tồn vẹn thơng tin Các thao tác chuẩn hệ phân tán: - Tiếp nhận ghi yêu cầu dẫn GV hướng dẫn: PGS TS Lê Văn Sơn Trang 4/21 Tiểu luận Môn học - Hệ phân tán Dịch yêu cầu để có thông tin cần thiết Thực số công việc hệ thống cục kiểm tra quyền truy cập thơng tin, lập hóa đơn dịch vụ - Gửi kết cho hệ thống phát yêu cầu GV hướng dẫn: PGS TS Lê Văn Sơn Trang 5/21 Tiểu luận Môn học Hệ phân tán CHƯƠNG II: BÀI TỐN BÃI ĐỖ XE ƠTƠ VÀ PHƯƠNG PHÁP ĐẢM BẢO GẮN BĨ DỮ LIỆU I ĐẶT VẤN ĐỀ: - 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 Trường hợp gọi truy cập tương tranh Tương tranh nguyên nhân xung đột tiến trình muốn truy cập vào tài nguyên dùng chung - Các tiến trình hệ ứng dụng hoạt động theo kiểu hợp lực để giải toán đặt cho kết nhanh chóng Điều cho phép tăng hiệu sử dụng thiết bị hiệu hoạt động chương trình Hợp lực nguyên nhân tác động tương hỗ lập trình tiến trình nhằm cho phép chúng tham gia vào hành động chung - Vì vậy, Sự tương tranh hợp lực tiến trình địi hỏi phải có trao đổi thơng điệp qua lại với Trong hệ thống tập trung, điều thực nhờ thuật tốn loại trừ tương hỗ thơng qua biến tác động vùng nhớ chung Trong hệ tin học phân tán, thông tin cần trao đổi thông qua kênh thuộc hệ thống viễn thơng II BÀI TỐN BÃI ĐỖ XE Bài tốn bãi đổ xe toán kinh điển hệ phân tán nhằm mơ tả việc đồng hóa tiến trình Ta xét ký hiệu sau (Hình II -1): - BV (người bảo vệ): có nhiệm vụ phân phối chỗ cho xe ô tô - VT (vị trí) cho xe ơtơ cụ thể Các mũi tên hai chiều sử dụng để mơ tả dịng vào tơ Bài tốn nêu số tình sau: - Tình thứ 1: Giả sử bãi để xe tơ loại bãi lớn có cổng vào kiểm soát người bảo vệ (NBV) NBV biết phần trạng thái bãi để xe Trong nghĩ bãi xe bị đầy, lại có nhiều lái xe cho xe chạy GV hướng dẫn: PGS TS Lê Văn Sơn Trang 6/21 Tiểu luận Mơn học Hệ phân tán cổng Vì suy nghĩ vậy, trường hợp này, không giải cho xe tiếp tục vào bãi nữa, lúc bãi có chỗ trống Như vậy, NBV không nắm trạng thái hành bãi Trong đó: BV: Người bảo vệ có nhiệm vụ phân phối chỗ cho xe ô tô VT: Vị trí cho xe tơ cụ thể BV BV VT VT VT VT VT BV VT VT VT VT VT BV VT VT VT VT VT VT BV BV Trong toán: - Bãi đậu xe tài nguyên - Xe tiến trình - Nếu cửa tập trung cịn nhiều diến tranh chấp Hình II-1 Mơ bãi đậu xe - Tình thứ 2: Nếu ta có bãi để xe với nhiều cổng cổng có NBV NBV biết trạng thái với độ trễ định điều dẫn đến tình thứ Đó tình có nhiều trung tâm định (hợp lực) trường hợp minh họa hình Trên thực tế, người bảo vệ tin khơng chỗ trống nữa, người bảo vệ khác lại vừa cho khỏi bãi số xe mà chưa kịp báo cho người bảo vệ khác Cũng diễn trường hợp lúc NBV giải xe vào vị trí bãi (tương tranh) họ thiếu thơng tin Tình thứ đặt liên quan trực tiếp đến vấn đề cung cấp tài nguyên hệ, chức cung cấp phân tán nhiều trạm hệ Trong người bảo vệ có vai trị chương trình cung cấp bãi để xe, Ở đây, chỗ để xe xem tài nguyên hệ, ô tô vào bãi tiến trình hệ Như vậy, NBV phải hợp lực với để phân phối xác chỗ trống bãi, đặc biệt số lượng chỗ cịn trống (tài ngun hạn chế) vai trị hợp lực quan trọng GV hướng dẫn: PGS TS Lê Văn Sơn Trang 7/21 Tiểu luận Môn học Hệ phân tán 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 hồn tồn xác - Tình thứ 3: Để thấy tầm quan trọng mang tính định trình tự xử lý thơng điệp u cầu gắn bó hệ, ta tiếp tục xem xét trường hợp khơng gắn bó tốn bãi để xe: Giả sử thời điểm cho trước ta có người bảo vệ có 100 chỗ cịn trống Tất NBV để có thơng tin đó, trạng thái hệ lúc gắn bó Ba số họ phát thông tin cho bảng sau: STT Ký hiệu Thông tin phát M1 Thêm 20 chỗ trống M2 Có 10 chỗ bị chiếm M3 Dành 10% chỗ trống để quét dọn bãi Hình II-2: Thời hạn truyền nhận thơng điệp có trật tự GV hướng dẫn: PGS TS Lê Văn Sơn Trang 8/21 Tiểu luận Môn học Hệ phân tán Bảo vệ Bảo vệ Bảo vệ Bảo vệ Trật tự xử lý Thông Giá Thông Giá Thông Giá Thông Giá điệp trị điệp trị điệp trị điệp trị 100 100 100 100 M1 120 M1 120 M1 120 M1 120 M2 110 M2 110 M2 110 M2 110 M3 99 M3 99 M3 99 M3 99 Sự gắn bó người bảo vệ - Tình thứ 4: Giả sử thời điểm cho trước ta có ngưịi bảo vệ có 100 chỗ trống Tất người bảo vệ có thơng tin Trạng thái lúc hệ gắn bó Ba số họ phát thông tin sau: STT Ký hiệu Thông tin phát M1 Thêm 20 chỗ trống M2 Có 10 chỗ bị chiếm M3 Dành 10% chỗ trống để quét dọn bãi Hình II-3: Thời hạn truyền nhận thông điệp không trật tự GV hướng dẫn: PGS TS Lê Văn Sơn Trang 9/21 Tiểu luận Môn học Hệ phân tán Bảo vệ Bảo vệ Bảo vệ Bảo vệ Trật tự xử lý Thông Giá Thông Giá Thông Giá Thông Giá điệp trị điệp trị điệp trị điệp trị 100 100 100 100 M1 120 M2 90 M3 90 M1 120 M3 108 M3 81 M1 110 M2 110 M2 98 M1 101 M2 100 M3 99 Hiện tượng thể khơng gắn bó người bảo vệ Như vậy, toán hệ quản lý đổ xe, việc khơng gắn bó liệu ln ln xảy trạm khơng có chế để thực đồng hố tiến trình (cho phép ô tô vào bãi đậu theo trình tự) Khi thực phân tán chức cung cấp nhiều trạm khác (các bảo vệ) có 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 hồn tồn xác Trên sở phân tích tốn nhận thấy vấn đề khơng gắn bó liệu hệ phân tán cần phải có cách giải thích hợp Phương pháp giải vấn đề nêu lên phần tiếp GV hướng dẫn: PGS TS Lê Văn Sơn Trang 10/21 Tiểu luận Môn học Hệ phân tán CHƯƠNG III: SẮP XẾP CÁC THÔNG ĐIỆP ĐẾN DỰA TRÊN ĐỒNG HỒ LOGIC I CƠ SỞ LÝ THUYẾT Các qui tắc cho thuật toán cung cấp hệ phân tán Một hoạt động gắn bó chương trình cung cấp phân tán quản lý tập hợp tài nguyên đạt tuân thủ qui tắc sau: STT Qui tắc 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 thứ ba, 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 Vấn đề nghiên cứu phương pháp xếp nhằm xác lập trật tự đảm bảo cho u cầu đồng hóa trình bày phần sau Miền găng Miền găng: đoạn chương trình cho phép tiến trình truy cập vào tài nguyên dùng chung (nhưng lần tiến trình phép sử dụng) Vấn đề miền găng: truy cập chồng lên dẫn đến kết khác với truy cập Do làm bảo đảm tiến trình thi hành miền găng cách đồng thời; hay nói cách khác làm tuân theo giải thuật loại trừ tương hỗ Phân nhóm thuật toán truy cập loại trừ tương hỗ - Truy cập vào miền găng dựa xác nhận (contention based): Mỗi tiến trình xác nhận yêu cầu để truy cập vào miền găng Hay nói cách khác, tiến trình cạnh tranh hay tranh giành quyền truy cập vào miền găng - Truy cập vào miền găng dựa (Token based): Việc truy cập vào miền găng điều khiển token Người giữ token có quyền thi hành đoạn găng - Tổng quát: Một trạm hệ thống có thể:  Yêu cầu miền găng GV hướng dẫn: PGS TS Lê Văn Sơn Trang 11/21 Tiểu luận Môn học Hệ phân tán  Thi hành miền găng  Hoặc khơng làm miền găng (thi hành đoạn khơng phải miền găng)  Các thuật tốn nên thỏa mãn yêu cầu: Không bế tắc, không thiếu, yêu cầu thi hành theo thứ tự chúng tạo, hoạt động có cố nhiều trạm Đồng hồ Logic - Khái niệm đồng hồ logic: Là giá trị gán cho kiện tính để cung cấp thông tin thứ tự xảy chúng - Số nguyên L(e) gán cho kiện e thc hin tha iu kin a đ b ị L(a) < L(b) - Giải thuật nhãn thời gian logic:  Mỗi xử lý pi trì biến đếm (nhãn thời gian logic) Li, có giá trị ban đầu  Mọi thông báo pi gửi gán nhãn thời gian giá trị thời Li  Với kiện tính a, Li tăng để > giá trị trước nhãn thời gian thông báo nhận L(a) giá trị Li kiện a kết thúc, ký hiệu Li(a) Ví dụ: Đồng hồ Logic - Thứ tự phận Ví dụ  a ® b : L(a) = < = L(b)  f ® i : L(f) = < = L(i)  a ® e : L(a) = < = L(e) - Thứ tự toàn phần GV hướng dẫn: PGS TS Lê Văn Sơn Trang 12/21 Tiểu luận Môn học Hệ phân tán Sử dụng thêm id xử lý nhãn thời gian Ví dụ L(a) = (1,0) < (1,1) = L(c) Vì sử dụng đồng hồ logic? Trong hệ thống không đồng bộ, thường biết kiện xảy trước kiện Một số ví dụ : - - Ví dụ A  p0 gửi thông báo m0 cho p1  Trước m0 tới p1, p1 gửi thông báo m1 cho p0  p0 p1 biết thông báo gửi trước Ví dụ B  p0 gửi thông báo m0 cho p1  Sau m0 tới p1, p1 gửi thông báo m1 cho p0  p0 p1 biết m0 gửi nhận trước m1 gửi  Cần xếp kiện theo thứ tự phận Thứ tự phận xảy trước - Trong thực hiện, kiện tính a xảy trước kiện tính b, ký hiệu a ® b, nếu:  a b xuất xử lý a xảy trước b thực xử lý đó,  a gây việc gửi thơng báo m b bao hàm việc nhận thông báo m,  $ kiện tính c cho a ® c c ® b - Xảy trước có nghĩa thơng tin từ kiện a ảnh hưởng đến kiện b - Nếu hai kiện khơng có kiện xảy trước chúng tương tranh, ký hiệu ║ Đồng hồ vector - Vấn đề đồng hồ logic: GV hướng dẫn: PGS TS Lê Văn Sơn Trang 13/21 Tiểu luận Mơn học Hệ phân tán  a ® b Þ L(a) < L(b); chưa L(a) < L(b) Þ a ® b  "Xảy trước" thứ tự phận, giá trị đồng hồ logic số ngun có thứ tự tồn phần - Đồng hồ vector tổng quát hóa đồng hồ logic: Các giá trị lấy từ tập thứ tự phận thay tập thứ tự tồn phần - Khái niệm đồng hồ vector : Là giá trị gán cho kiện để cung cấp thông tin không nhân nhân chúng - Giá trị V(e), thuộc tập thứ tự phận, gán cho kiện e thực thỏa đáng thỏa mãn a ® b Û V(a) < V(b) Giải thuật nhãn thời gian vector (vector timestamps) - Mỗi xử lý pi trì vector Vi n chiều, có giá trị ban đầu (0, , 0) - Mọi thông báo pi gửi gán nhãn thời gian giá trị thời Vi - Với kiện tính a pi  Gán Vi[i] := Vi[i] +  Với thông báo pi nhận có nhãn thời gian T - Cập nhật Vi[j] := max(T[j], Vi[j]) " j ¹ i - Nhãn thời gian vector V(a) = Vi(a) giá trị Vi kiện a kết thúc So sánh nhãn thời gian vector Cho V1 V2 hai vector nguyên n chiều - - - Bằng  V1 = V2 Û V1[i] = V2[i] " i  E.g (3,2,4) = (3,2,4) Nhỏ  V1 £ V2 Û V1[i] £ V2[i] " i  E.g (2,1,4) < (3,2,4) Nhỏ  V1 < V2 Û V1 £ V2 V1 ¹ V2 GV hướng dẫn: PGS TS Lê Văn Sơn Trang 14/21 Tiểu luận Môn học  - Hệ phân tán E.g (2,1,4) < (3,2,4) Không thể so sánh  V1 ║ V2 Û ù V1 £ V2 ù V2 £ V1  E.g (3,2,4) ║(4,1,4) Lưu ý : Các phép so sánh khơng theo thứ tự chữ Ví dụ nhãn thời gian vector V(g) = (0,0,1) V(b) = (2,0,0) so sánh L(g) = L(b) = Thực α Xét thực α mạng đầy đủ - Mỗi xử lý pi liên tiếp gửi thông báo đến pi+1, pi+2, , pn-1, p0, , pi2, gọi kiện gửi - Mỗi pi liên tiếp nhận thông báo từ pi-1, pi-2, , p0, pn-1, , pi+2, gọi kiện nhận cuối bi Thực α với N=4 GV hướng dẫn: PGS TS Lê Văn Sơn Trang 15/21 Tiểu luận Môn học Hệ phân tán 10 Trạng thái kênh truyền: Vấn đề: Trạng thái hệ thống bao gồm không trạng thái xử lý mà trạng thái thông báo di chuyển - Giải pháp với nhát cắt gần  Mỗi thành phần mảng store chứa thêm số thông báo nhận (trực tiếp) từ xử lý hàng xóm  Để tính nhát cắt quán gần nhất, pi thực hiện: o Duyệt mảng store từ số nhỏ đến số lớn nhất, giả lập lại bước tính o Ghi dấu thông báo định gửi trình giả lập o Ngừng giả lập tìm thấy m' gần cho store[m'] có nhãn vector ≤ K - Giải pháp với chụp trạng thái  Mỗi pi ghi lại chuỗi thông báo nhận từ pj thời điểm pi thiết lập biến answer thời điểm pi nhận thông báo đánh dấu từ pj  Đó thơng báo di chuyển thuộc nhát cắt quán 11 Hàng đợi: Queue: danh sách tuyến tính mà phép thêm tiến hành đầu danh sách, phép loại bỏ tiến hành đầu lại danh sách Queue gọi danh sách FIFO (First In First Out) Loại bỏ Thêm vào - Hàng đợi chứa thông điệp - Khi trạm gởi thơng điệp ghi vào hàng đợi GV hướng dẫn: PGS TS Lê Văn Sơn Đầu Cuối Trang 16/21 Tiểu luận Môn học Hệ phân tán II GIẢI THUẬT Mơ tả - Giải thuật trình bày giải thuật Lamport nhằm cho phép ghi lại kiện hệ tin học phân tán - Giải thuật nhằm giải vấn đề trình tự (vấn đề mấu chốt hệ phân tán) dựa giá trị đồng hồ lô-gic để xếp thông điệp đến - Mỗi trạm s có trang bị cơng tơ với giá trị nguyên gọi Hs Đó đồng hồ lơ gích tăng lên hai kiện Trạm e phát thông điệp ghi dấu E dựa giá trị hành He Khi nhận thông điệp, trạm r cập nhật đồng hồ Hr riêng giải thuật sau đây: - Nếu Hr, Hr := He +1 Chấm dứt 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 i j, ta ln có quan hệ xác định sau: a ® b Û Hi(a) < Hi(b) - Đó trật tự khơng chặt chẽ hai kiện hai trạm khác đến thời điểm giống - Ta mở rộng quan hệ ® thành quan hệ trật tự chặt chẽ Þ cách kết hợp số khác 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) GV hướng dẫn: PGS TS Lê Văn Sơn Trang 17/21 Tiểu luận Môn học Hệ phân tán Theo định nghĩa, ta có: a Þ b Þ (Hi(a) < Hi(b)) hay (Hi(a) = Hi(b) iHi ) and (Vị trí M đầu hàng đợi) then state=namgiu - Khi trạm khơng thực cả: Xố u cầu gởi thơng điệp giải phóng Những trạm khác loại bỏ yêu cầu tương ứng If state=ranh then xử lý(các thơng điệp hàng đợi) ‘sau xố Send thơng điệp giải phóng đến trạm Những trạm khác xố u cầu hàng đợi GV hướng dẫn: PGS TS Lê Văn Sơn Trang 19/21 Tiểu luận Môn học Hệ phân tán KẾT LUẬN - Việc xếp thông điệp đến dựa đồng hồ lơgích cho phép đánh dấu kiện xác định trật tự tổng quát chặt chẽ Nhưng ta khơng có quan hệ kiện giá trị dấu - Sự mâu thuẫn: giả thiết hai trạm thực trùng Rồi sau hai điều kiện yêu cầu nằm đỉnh hàng đợi chúng trường hợp đồng hồ lơgíc trạm lại nhỏ trạm - Rõ ràng yêu cầu trạm i phải có mặt hàng đợi trạm j trạm j vào đoạn găng Điều cung cấp mâu thuẫn yêu cầu tạm j đỉnh hàng đợi yêu cầu đồng hồ logic nhỏ có mặt GV hướng dẫn: PGS TS Lê Văn Sơn Trang 20/21 ... có cách giải thích hợp Phương pháp giải vấn đề nêu lên phần tiếp GV hướng dẫn: PGS TS Lê Văn Sơn Trang 10/21 Tiểu luận Môn học Hệ phân tán CHƯƠNG III: SẮP XẾP CÁC THÔNG ĐIỆP ĐẾN DỰA TRÊN ĐỒNG HỒ... 99 Hiện tượng thể khơng gắn bó người bảo vệ Như vậy, toán hệ quản lý đổ xe, việc khơng gắn bó liệu ln ln xảy trạm khơng có chế để thực đồng hố tiến trình (cho phép tơ vào bãi đậu theo trình tự)... trình bày giải thuật Lamport nhằm cho phép ghi lại kiện hệ tin học phân tán - Giải thuật nhằm giải vấn đề trình tự (vấn đề mấu chốt hệ phân tán) dựa giá trị đồng hồ lô-gic để xếp thơng điệp đến -