Bài viết trình bày giải pháp song song hóa thuật toán Lamport trong loại trừ tương hỗ phân tán. Kết quả giải pháp là xác lập giá trị đồng hồ lô-gic dựa trên song song hóa thuật toán Lamport và xác định các tiến trình thực thi trong đảm bảo tính nhất quán và gắn bó trong hệ phân tán.
Các cơng trình nghiên cứu phát triển Cơng nghệ Thơng tin Truyền thơng Song song hóa thuật tốn Lamport loại trừ tương hỗ phân tán Đặng Hùng Vĩ1 , Lê Văn Sơn1 , Nguyễn Xuân Huy2 Trường Đại học Sư phạm, Đại học Đà Nẵng Viện Công nghệ Thông tin, Viện Hàn lâm Khoa học Công nghệ Việt Nam Tác giả liên hệ: Đặng Hùng Vĩ, dhungvi@ued.udn.vn Ngày nhận bài: 05/04/2019, ngày sửa chữa: 04/12/2019, ngày duyệt đăng: 04/12/2019 Định danh DOI: 10.32913/mic-ict-research-vn.v2019.n2.848 Biên tập lĩnh vực điều phối phản biện định nhận đăng: PGS.TS Trần Minh Quang Tóm tắt: Hệ phân tán hệ thống cung cấp tài nguyên dùng chung với quy mô lớn Hệ phân tán sử dụng chế truyền thông điệp để hợp lực môi trường truyền thơng Trong hợp lực, nhiều tiến trình tương tranh tài nguyên dùng chung dễ dẫn đến bế tắc cung cấp tài nguyên Loại trừ tương hỗ phân tán cho phép có tiến trình thực thi miền găng thời điểm tài nguyên để giải bế tắc Để đạt loại trừ tương hỗ phân tán, tiến trình phải gắn dấu đồng hồ lơ-gic để xác lập trật tự loại trừ tiến trình gây bế tắc Bài báo trình bày giải pháp song song hóa thuật tốn Lamport loại trừ tương hỗ phân tán Kết giải pháp xác lập giá trị đồng hồ lơ-gic dựa song song hóa thuật tốn Lamport xác định tiến trình thực thi đảm bảo tính qn gắn bó hệ phân tán Từ khóa: Hệ phân tán, đồng hồ lơ-gic, thuật tốn Lamport, loại trừ tương hỗ phân tán, truyền thông điệp Title: Abstract: Keywords: A Parallelization of the Lamport Algorithm for Distributed Mutual Exclusion A distributed system is a complex system in which the shared resources are allocated at a large scale Such a system uses the message passing mechanism over the communication environment to coordinate the system’s entities During coordination, multiple concurrent processes might request the same resources, leading to deadlock in resource allocation In order to resolve this deadlock, distributed mutual exclusion allows only one process to be executed in the critical section at a time for each shared resource To this end, each process is assigned a timestamp to establish an order, and the processes that cause deadlock are eliminated There are several proposed distributed mutual exclusion algorithms such as by Lamport, Ricart–Agrawala, Raymond, and Suzuki–Kasami In this paper, we develop a parallelization of Lamport algorithm for distributed mutual exclusion Our solution establishes a global state and determines the implementation process in the critical section to ensure consistency and coherence in discrete systems Distributed system, logical clock, Lamport algorithm, mutual exclusion distributed, message passing I GIỚI THIỆU Hệ phân tán, biểu diễn hình 1, tập hợp máy chủ kết nối qua môi trường truyền thông cung cấp tài nguyên dùng chung Nếu xét hoạt động máy chủ cách độc lập, khơng có phối hợp để chia sẻ tài nguyên dùng chung hệ tập trung Nếu xét máy chủ hợp lực để chia sẻ tài nguyên dùng chung hệ phân tán Sự hợp lực máy chủ phối hợp máy chủ với thông qua môi trường truyền thông để cung cấp tài nguyên dùng chung cho người sử dụng Khác biệt hệ tập trung hệ phân tán đặc tính như: tính gắn bó, khả chịu lỗi, mở rộng, cân tải, v.v Các nghiên cứu, triển khai hệ phân tán để cung cấp tài nguyên dùng chung tập trung vào giải pháp đảm bảo gắn bó liệu [2] Giải pháp gắn bó dựa Hiện nay, ứng dụng lớn mơi trường điện tốn đám mây triển khai hệ phân tán để đáp ứng số lượng người dùng cực đại Theo nghiên cứu [1], đám mây hệ thống song song hệ phân tán bao gồm tập hợp máy chủ kết nối ảo hóa, cung cấp động xử lý dạng nhiều tài ngun tính tốn hợp dựa thỏa thuận cấp dịch vụ thiết lập thông qua thỏa thuận nhà cung cấp dịch vụ người dùng Điện tốn đám mây giải pháp tồn diện cung cấp hạ tầng, dịch vụ công nghệ thông tin Đây giải pháp điện toán dựa internet cung cấp tài nguyên dùng chung thông qua hệ phân tán 83 Các cơng trình nghiên cứu phát triển Cơng nghệ Thơng tin Truyền thơng Hình Đồ thị cung cấp tài nguyên đòi hỏi tài nguyên phải cung cấp cho tiến trình thời điểm Do đó, loại trừ tương hỗ giải pháp hệ phân tán cung cấp tài nguyên dùng chung [3, 4, 11] Giải pháp loại trừ tương hỗ giải dựa đồng hóa tiến trình truy cập vào tài nguyên dùng chung để đảm bảo tính qn gắn bó hệ phân tán Q trình đồng hóa cách truyền thơng điệp máy chủ dựa vào môi trường truyền thông Loại trừ tương hỗ phân tán tuân thủ u cầu sau: Hình Mơ hình kết nối hệ phân tán cung cấp tài nguyên dùng chung hợp lực máy chủ hệ phân tán thông qua chế truyền thông điệp [3] Hệ phân tán khơng có đồng hồ dùng chung, đó, giải pháp báo cải tiến thuật toán Lamport để giải loại trừ tương hỗ phân tán cung cấp tài nguyên dùng chung Nội dung báo tổ chức sau Phần II trình bày nghiên cứu liên quan Phần III đề xuất giải pháp song song hóa thuật tốn Lamport loại trừ tương hỗ phân tán Phần IV trình bày hiệu thực thi song song hóa thuật tốn Lamport Phần V đưa kết luận Trong toàn báo, ký hiệu 𝑁 số máy chủ, 𝑇 độ trễ q trình đồng hóa 𝐸 thời gian thực thi miền găng 1) Cho phép tiến trình thực thi miền găng thời điểm tài nguyên; 2) Nếu khơng có tiến trình miền găng, tiến trình yêu cầu vào miền găng phải phép vào thực thi khoảng thời gian cho phép; 3) Khi có nhiều tiến trình u cầu vào miền găng, việc cho phép bị trì hỗn đến cấp phép; 4) Tiến trình xử lý miền găng khơng bị chặn tiến trình khác II CÁC NGHIÊN CỨU LIÊN QUAN Theo thuật toán loại trừ tương hỗ phân tán, Kshemkalyani Singhal trình bày trình máy chủ vào khỏi miền găng, mơ tả hình [4, Mục 9.3, 9.4] Thơng điệp có cấu trúc chứa ba giá trị: REQCS (yêu cầu vào miền găng), REP-CS (phản hồi chấp nhận máy chủ cho phép vào miền găng), REL-CS (giải phóng khỏi miền găng) Một máy chủ phép vào miền găng máy chủ tiếp nhận đủ thơng điệp REP-CS sau thông điệp REQ-CS Máy chủ 𝑆1 phát thông điệp yêu cầu REQ-CS vào miền găng thời điểm Đến thời điểm 8, 𝑆1 nhận đầy đủ thông điệp phản hồi REP-CS chấp nhận vào miền găng thời điểm 10 phát thông điệp REL-CS rời khỏi miền găng sau xử lý xong Trật tự phần máy chủ thể qua bảng I Các nghiên cứu [4, 5] trình bày truyền thơng hệ phân tán đề cập đến chế truyền multicast Trong chế này, gói tin vào máy chủ không tuân thủ nguyên tắc lưu lượng truyền unicast Truyền multicast kết hợp đặc biệt từ máy chủ kết nối với máy chủ phát thông tin truyền Cơ chế hợp lực sử dụng truyền multicast cho phép máy chủ kết nối với thông qua môi trường truyền thông truyền thông điệp qua lại nhằm xác định tiến trình di chuyển hệ phân tán [3] Trong trình hợp lực, nhiều tiến trình tương tranh tài nguyên dùng chung dễ dẫn đến bế tắc cung cấp tài nguyên [6–9] Theo nghiên cứu Singhal [10], trình bế tắc diễn hai hay nhiều tiến trình chiếm giữ tài nguyên dùng chung giới hạn đồng thời tiếp tục phát yêu cầu tài nguyên khác bị chiếm giữ Các trình tạo vịng trịn khép kín làm cho tiến trình kẹt chéo lẫn dẫn đến bế tắc cung cấp tài ngun theo mơ tả hình Nhiều giải pháp xử lý phân tán liên quan đến việc chia sẻ tài nguyên dùng chung tiến trình khác Xét truyền thơng điệp theo hình 3, máy chủ bị cố trình truyền thơng điệp, ví dụ trường hợp truyền thông điệp REP-CS từ máy chủ 𝑆2 đến máy chủ 𝑆1 thời điểm 6, 𝑆1 phải chờ đợi vào miền găng với khoảng thời gian không xác định Ngồi ra, thơng điệp q trình truyền bị phân mảnh, thất lạc, nghẽn, v.v Các vấn đề dẫn đến hiệu hệ phân tán giảm trình hợp lực Cụ thể, [4] trình bày hiệu 84 Tập 2019, Số 2, Tháng 12 Hình Quá trình máy chủ vào miền găng [4, Mục 9.3, 9.4] Bảng I HOẠT ĐỘNG Đồng hồ DIỄN RA TRÊN CÁC MÁY CHỦ TRONG TRẬT TỰ TỪNG PHẦN Máy chủ 𝑆1 → 𝑆2 : REQ-CS,1,1 𝑆1 → 𝑆3 : REQ-CS,1,1 10 11 𝑆2 → 𝑆1 : REQ-CS,2,2 Máy chủ 𝑆2 → 𝑆1 : REQ-CS,2,2 𝑆2 → 𝑆3 : REQ-CS,2,2 𝑆1 → 𝑆2 : REQ-CS,1,1 𝑆3 → 𝑆2 : REP-CS,4,3 Máy chủ 𝑆2 𝑆3 𝑆1 𝑆3 → 𝑆3 : REQ-CS,2,2 → 𝑆2 : REP-CS,4,3 → 𝑆3 : REQ-CS,1,1 → 𝑆1 : REP-CS,6,3 𝑆2 → 𝑆1 : REP-CS,5,2 Máy chủ 𝑆1 vào miền găng 𝑆1 → 𝑆2 : REP-CS,9,1 𝑆1 → 𝑆2 : REL-CS,10,1 𝑆1 → 𝑆2 : REP-CS,9,1 𝑆1 → 𝑆3 : REL-CS,10,1 Máy chủ 𝑆2 vào miền găng port [21], Ricart-Agrawala [22], Carvalho-Roucairol [23], Raynal [24], Maekawa [25], Sanders [26], Agrawal-El Abbadi [27], Singhal [28] Hiệu thuật tốn nhóm thứ hai, tính theo số thơng điệp cần truyền, khảo sát Velazquez [29] tóm tắt bảng II loại trừ tương hỗ xác định dựa tham số: độ phức tạp thông điệp, độ trễ q trình đồng hóa, thời gian hồi đáp thơng lượng hệ thống Bên cạnh đó, hiệu loại trừ tương hỗ dựa điều kiện tải hệ thống Trong tải xác định tỷ lệ thông điệp đến yêu cầu thực thi miền găng Đối với tải thấp, số lượng tiến trình phải đợi chờ để vào miền găng thấp Đối với tải cao, ln có tiến trình u cầu thực thi miền găng phải chờ hàng đợi Một so sánh khác trình bày Yadav cộng [30] Trong đó, hai giải pháp tiếp cận cho loại trừ tương hỗ phân tán giải pháp dựa nội dung giải pháp dựa điều khiển Giải pháp dựa nội dung sử dụng thuật toán trật tự nhãn thời gian lơ-gic thuật tốn bầu chọn Giải pháp dựa điều khiển sử dụng cấu trúc cây, cấu trúc truyền broadcast cấu trúc mạng vòng [31] Yadav cộng phân tích, so sánh hiệu thuật toán loại trừ tương hỗ phân tán Kết thể bảng III Có hai nhóm giải pháp loại trừ tương hỗ Nhóm thứ phương pháp tiếp cận dựa token: Ricart-Agrawala [12], Suzuki-Kasami [13], Mizuno-Neilsen-Rao [14], Neilsen-Mizuno [14], HelaryPlouzeau-Raynal [15], Raymond [16], Singhal [17], NaimiTrehel [18], Mishra-Srimani [19], Nishio [20] Nhóm thứ hai phương pháp tiếp cận dựa quyền: Lam85 Các cơng trình nghiên cứu phát triển Công nghệ Thông tin Truyền thông Bảng II HIỆU NĂNG CỦA THUẬT TỐN DỰA TRÊN QUYỀN Thuật tốn Lamport [21] Ricart-Agrawala [22] Carvalho-Roucairol [23] Raynal [24] Maekawa [25] Sanders [26] Agrawal-El Abbadi [27] Singhal [28] [29] Tổng số thông điệp 3(𝑁 − 1) 2(𝑁 − 1) đến 2(𝑁 − 1) 2(𝑁 − 1) √ √ 𝑁 đến 𝑁 |𝐼𝑖 − {𝑖}| + 2|𝑅𝑖 − {𝑖}| 𝑂 (log 𝑁) (𝑁 − 1) đến 3(𝑁 − 1)/2 Hình Nhãn thời gian thơng điệp khơng theo trật tự Bảng III PHÂN TÍCH, SO SÁNH HIỆU NĂNG CỦA CÁC THUẬT TOÁN LOẠI TRỪ TƯƠNG HỖ [30] Thuật toán Thời gian hồi đáp Độ trễ đồng Th điệp tải thấp Th điệp tải cao [21] 2𝑇 + 𝐸 𝑇 3(𝑁 − 1) 3(𝑁 − 1) [22] 2𝑇 + 𝐸 𝑇 2(𝑁 − 1) 2(𝑁 − 1) [13] 2𝑇 + 𝐸 𝑇 𝑁 𝑁 [16] 𝑇 log 𝑁 + 𝐸 (𝑇 log 𝑁)/2 log 𝑁 Hình Hoạt động cấp giá trị đồng hồ lô-gic theo thuật toán sk𝑏 hai kiện gửi từ máy chủ 𝑆𝑖 đến 𝑆 𝑗 , ta ln ln có quan hệ xác định sau: sk𝑎 → sk𝑏 ⇔ 𝐻𝑆𝑖 (𝑎) < 𝐻𝑆 𝑗 (𝑏), Hướng nghiên cứu báo song song hóa thuật toán Lamport loại trừ tương hỗ phân tán để giảm độ phức tạp thông điệp, thời gian hồi đáp độ trễ đồng Cụ thể đồng hóa tiến trình dựa song song hóa thuật toán Lamport đạt trật tự tổng quát chặt chẽ với độ phức tạp thông điệp 3(𝑁 − 1) Sau đó, máy chủ hợp lực để vào miền găng thời điểm sớm thuật toán loại trừ tương hỗ phân tán với thời gian hồi đáp 𝑁 −1+𝐸, độ phức tạp thông điệp 𝑁 − độ trễ đồng 𝑇 = sk𝑎 → sk𝑏 thể kiện 𝑎 gửi cho kiện 𝑏, 𝐻𝑆𝑖 (𝑎) < 𝐻𝑆 𝑗 (𝑏) thể giá trị đồng hồ máy chủ 𝑎 nhỏ giá trị đồng hồ cục máy chủ 𝑏, ký hiệu → biểu thị phép kéo theo ký hiệu ⇔ biểu thị phép tương đương Tuy nhiên, nhãn đồng hồ phải cập nhật quán tất máy chủ Nếu giá trị không cập nhật việc xử lý thơng điệp bị sai hoạt động hệ sai trật tự theo lý thuyết trật tự hình Khi thông điệp di chuyển qua máy chủ, giá trị gửi nhận có giá trị khác Chính giá trị đồng hồ sai lệch, máy chủ phát lệnh xử lý đồng thời máy chủ dẫn đến sai lệch tiến trình triệu gọi để xử lý Do đó, liệu khơng quán tất máy chủ III SONG SONG HĨA THUẬT TỐN LAMPORT Trật tự tổng qt chặt chẽ dựa song song hóa thuật tốn Lamport Nhãn thời gian lơ-gíc xây dựng dựa thuật tốn Lamport trình bày [32] Thuật tốn Lamport cho phép ghi lại kiện hệ phân tán Thuật toán tập trung vào nguyên lý sau: máy chủ 𝑆 có trang bị cơng tơ với giá trị ngun gọi 𝐻𝑆𝑖 Đó đồng hồ lơ-gíc tăng lên hai kiện Máy chủ 𝑒 phát thông điệp ghi dấu dựa giá trị hành 𝐻𝑆𝑒 Khi nhận thông điệp, máy chủ nhận 𝑟 cập nhật đồng hồ 𝐻𝑆𝑟 riêng giải thuật rút gọn [32]: Các máy chủ hoạt động nhận gửi thông điệp dựa đồng hồ cục theo chế truyền unicast Do đó, máy chủ biết trật tự phần máy chủ khơng nhận biết hoạt động máy chủ khác Trật tự phần ảnh hưởng đến hoạt động tổng quát hệ phân tán Hai vấn đề là: (i) giá trị đồng hồ lô-gic máy chủ không quán; (ii) tiến trình yêu cầu vào đoạn găng phải chờ đợi nhận đủ thơng điệp gây ảnh hưởng đến máy chủ khác sai lệch tiến hành cập nhật liệu Để giải toán trật tự phần, nghiên cứu báo song song hóa thuật tốn Lamport để xây dựng trật tự tổng quát chặt chẽ máy chủ theo thuật toán If 𝐻𝑆𝑟 ≤ 𝐸 then 𝐻𝑆𝑟 := 𝐸 + 1; (2) (1) EndIf Một kiện 𝑎 (sk𝑎 ) sinh máy chủ 𝑖 (𝑆𝑖 ) đánh dấu đồng hồ cục gọi 𝐻𝑆𝑖 (𝑎) Nếu sk𝑎 86 Tập 2019, Số 2, Tháng 12 Thuật toán 1: Song song hóa thuật tốn Lamport Dữ liệu vào: • Máy chủ 𝑆𝑖 ; • Giá trị đồng hồ lơ-gic 𝐻𝑆𝑖 ; • Hành động act; • Sự kiện sk 26 27 28 29 30 31 Dữ liệu ra: Giá trị đồng hồ lô-gic 𝐻𝑆𝑖 cấp 32 33 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 34 Khởi tạo hoạt động 𝐻𝑆local = 0; Biến đếm count = 0; count𝐶𝑆[𝑆𝑖 , sk] = 0; Số lượng máy chủ 𝑆 = 𝑁; Lắng nghe kiện act; 35 36 37 38 39 if act = REQ-LAMPORT then 𝐻𝑆𝑖 = 𝐻𝑆local + 1; act = REQ; Thiết lập thông điệp yêu cầu cung cấp giá trị đồng hồ lôgic: GetLamport(𝑆local , 𝐻𝑆local , act, sk); return multicast(GetLamport(𝑆𝑖 , 𝐻𝑆𝑖 , act, sk)); else if act = LAMPORT then return 𝐻𝑆 𝑖 ; end GetLamport(𝑆𝑖 , 𝐻𝑆𝑖 , act, sk) if act = REQ then if 𝐻𝑆 𝑖 ≤ 𝐻𝑆local then Xác định 𝐻𝑆𝑖 bị sai, 𝐻𝑆𝑖 gán cho kiện khác; act = REP; return multicast(AcceptLamport(𝑆local , 𝑆𝑖 , 𝐻𝑆𝑖 , act, sk, false)); else if 𝐻𝑆 𝑖 = 𝐻𝑆local + then Xác định 𝐻𝑆𝑖 đúng; act = REP; return multicast(AcceptLamport(𝑆local , 𝑆𝑖 , 𝐻𝑆𝑖 , act, sk, true)); end end 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 AcceptLamport(𝑆local , 𝑆𝑖 , 𝐻𝑆𝑖 , act, sk, boolean) if act = REP then if 𝑆𝑖 = 𝑆local &&true then count = count + 1; if count = 𝑁 − then Xác nhận đủ số lượng thông điệp phản hồi REP; act = ACC; count = 0; return multicast(UpdateLamport(𝑆local , 𝐻𝑆local , act, sk)); end else if 𝑆𝑖 = 𝑆local &&false then 𝐻𝑆local = max(𝐻𝑆𝑖 + 1); act = REQ; Thiết lập lại thông điệp yêu cầu cung cấp với giá trị đồng hồ lô-gic với kiện yêu cầu; GetLamport(𝑆local , 𝐻𝑆local , act, sk); end end UpdateLamport(𝑆𝑖 , 𝐻𝑆𝑖 , act, sk) if act = ACC then 𝐻𝑆local = 𝐻𝑆𝑖 ; end if sk = REP-CS then count[𝑆𝑖 , sk] = count[𝑆𝑖 , sk] + 1; if count[𝑆𝑖 , sk] = 𝑁 − then CriticalSection(sk, 𝑆𝑖 ); count[𝑆𝑖 , sk] = 0; end end multicast((𝑆local , 𝐻𝑆local , act, sk)) 𝑆 𝑛 = tập tất máy chủ ngoại trừ 𝑆local ; for 𝑗 = to 𝑆 𝑛 kn = connect(IP(𝑆 𝑛 ), port(𝑆 𝑛 )); if kn then sendUDP(GetLamport((𝑆local , 𝐻𝑆local , act, sk), IP(𝑆 𝑛 ), port(𝑆 𝑛 )); else if kn then log-err(kn); end end return 𝐻𝑆𝑖 ; false (dòng 19) Thủ tục AcceptLamport (dòng 26 đến 42) cho phép giá trị đồng hồ xác lập dựa giá trị true tất máy chủ Ngược lại máy chủ trả giá trị false, thủ tục xác lập lại giá trị đồng hồ lô-gic dựa lấy giá trị cực đại phát thông điệp GetLamport (dòng 37) Thủ tục UpdateLamport (dòng 43 đến 53) nhằm khẳng định cho máy chủ có kiện yêu cầu gán giá trị đồng hồ lô-gic giá trị cập nhật tất máy chủ Để đạt trật tự tổng quát chặt chẽ, thuật toán Lamport song song hóa nhằm đồng hóa tiến trình di chuyển hệ phân tán Mỗi kiện diễn máy chủ phải yêu cầu giá trị đồng hồ giá trị nhận biết quán tất máy chủ Hình mơ tả hoạt động theo thuật toán 1, máy chủ 𝑆1 yêu cầu cung cấp giá trị đồng hồ lô-gic, thông điệp mang giá trị GetLamport truyền multicast đến máy chủ hệ thống (dịng 10) Các thủ tục thuật tốn giải thích sau Thủ tục multicast (dịng 54 đến 64) trình xử lý truyền song song thông điệp đến tập máy chủ hệ thống Thủ tục GetLamport (dịng 14 đến 25) thực tính toán xử lý giá trị đồng hồ so với máy chủ cục nhận thông điệp, giá trị đồng hồ trả giá trị true (dòng 23), sai trả giá trị Hình mơ tả kết thực song song hóa thuật tốn Lamport so với thuật toán nguyên thủy Lamport theo hình Theo thuật tốn ngun thủy Lamport, giá trị đồng hồ lơ-gic sinh lấy giá trị cực đại thông điệp nhận tăng lên có kiện phát sinh bên máy chủ Thuật toán tuân thủ luật happened87 Các cơng trình nghiên cứu phát triển Cơng nghệ Thơng tin Truyền thơng Hình Hoạt động song song hóa Thuật toán Lamport before Tuy nhiên, giải pháp thụ động Thơng qua hình 6, giá trị đồng hồ lô-gic gán cho kiện gửi đến tất trạm Vì vậy, khơng có hoạt động trạm trạm nhận biết hoạt động trạm lại Đây giải pháp chủ động việc giám sát điều khiển kiện Giải pháp tạo điều kiện thuận lợi cho kiện yêu cầu vào miền găng để giải loại trừ tương hỗ phân tán dựa cải tiến thuật tốn Lamport trình bày thuật tốn Hàm RequestCriticalSection (dịng 10 đến 24) thể tiến trình yêu cầu vào miền găng Hàm RequestCriticalSection xác định giá trị đồng hồ lôgic gán cho tiến trình, tiến trình có giá trị nhỏ có quyền ưu tiên cao để vào miền găng Hàm CriticalSection (dòng 25 đến 33) thực xử lý tiến trình miền găng Quá trình xử lý tiến trình đảm bảo trường nội dung tác động lên sở liệu tập máy chủ, đảm bảo tính gắn bó hệ phân tán Sau kết thúc trình xử lý miền găng u cầu xóa tiến trình khỏi hàng đợi, phát thông điệp giải miền găng để tiến trình phép vịa miền găng Hàm NextCriticalSection (dịng 34 đến 38) xử lý tiến trình hàng đợi Nếu tiến trình tiếp nhận đầy đủ phản hồi theo thuật tốn vào miền găng mà khơng cần phải đợi xác nhận Áp dụng song song hóa thuật tốn Lamport để giải loại trừ tương hỗ phân tán Mơ hình hệ phân tán theo hình mơ tả hệ thống bao gồm 𝑁 máy chủ 𝑆𝑖 (𝑖 = 1, , 𝑁) kết nối với qua môi trường truyền thơng Một tiến trình 𝑝 𝑗 ( 𝑗 = 1, , 𝑀) thực thi máy chủ 𝑆𝑖 Nghiên cứu [33] trình bày giải pháp gắn bó dựa thuật tốn 4PCoDT Giải pháp thực chế truyền thông điệp vòng tròn ảo, pha di chuyển qua máy chủ theo vòng tròn định trước Pha thứ thực xử lý tiến trình yêu cầu vào miền găng để tránh tương tranh tài nguyên Yêu cầu thông điệp tiến trình thực thi miền găng máy chủ có chứa ba giá trị: REQ-CS, REP-CS REL-CS Khi tiến trình yêu cầu REQCS nhận đầy đủ phản hồi REP-CS phép vào miền găng Tiến trình vào miền găng tuân thủ nguyên tắc loại trừ tương hỗ phân tán trình bày phần II Sau tiến trình xử lý xong rời khỏi miền găng, máy chủ phát thơng điệp có chứa giá trị REL-CS để tiến trình khác phép vào miền găng Theo thuật toán Lamport nguyên thủy bảng I, máy chủ 𝑆1 vào miền găng thời điểm nhận đủ thông điệp phản hồi REP-CS Sau áp dụng song song hóa, thuật tốn Lamport đạt trật tự tổng quát chặt chẽ máy chủ theo bảng IV Kết bảng IV cho thấy máy chủ vào miền găng thời điểm 6, sớm so với trật tự phần bảng I IV HIỆU NĂNG THỰC THI SONG SONG HÓA THUẬT TỐN LAMPORT Dựa vào mơ tả tiến trình hoạt động miền găng tham số trình bày phần I, đánh giá hiệu loại trừ tương hỗ phân tán theo Hình Tham số độ phức tạp thơng điệp song song hóa thuật tốn Trên sở song song hóa thuật tốn Lamport trình bày mục III.1, thuật tốn loại trừ tương hỗ phân tán thực 88 Tập 2019, Số 2, Tháng 12 Bảng IV HOẠT ĐỘNG DIỄN RA TRÊN CÁC MÁY CHỦ TRONG TRẬT TỰ TỔNG QUÁT CHẶT CHẼ Đồng hồ Máy chủ Máy chủ Máy chủ 𝑆1 → 𝑆2 : REQ-CS,1,1 𝑆1 → 𝑆3 : REQ-CS,1,1 𝑆1 → 𝑆2 : REQ-CS,1,1 𝑆1 → 𝑆3 : REQ-CS,1,1 𝑆1 → 𝑆2 : REQ-CS,1,1 𝑆1 → 𝑆3 : REQ-CS,1,1 𝑆2 → 𝑆1 : REQ-CS,2,2 𝑆2 → 𝑆1 : REQ-CS,2,2 𝑆2 → 𝑆1 : REQ-CS,2,2 𝑆2 → 𝑆3 : REQ-CS,2,2 𝑆2 → 𝑆3 : REQ-CS,2,2 𝑆2 → 𝑆3 : REQ-CS,2,2 𝑆2 → 𝑆1 : REQ-CS,2,2 𝑆1 → 𝑆2 : REQ-CS,1,1 𝑆2 → 𝑆3 : REQ-CS,2,2 𝑆1 → 𝑆2 : REQ-CS,1,1 𝑆2 → 𝑆3 : REQ-CS,2,2 𝑆2 → 𝑆3 : REQ-CS,2,2 𝑆2 → 𝑆1 : REQ-CS,2,2 𝑆2 → 𝑆1 : REQ-CS,2,2 𝑆1 → 𝑆2 : REQ-CS,1,1 𝑆3 → 𝑆2 : REP-CS,4,3 𝑆3 → 𝑆2 : REP-CS,4,3 𝑆3 → 𝑆2 : REP-CS,4,3 𝑆3 → 𝑆2 : REP-CS,4,3 𝑆3 → 𝑆2 : REP-CS,4,3 𝑆1 → 𝑆3 : REQ-CS,1,1 𝑆1 → 𝑆3 : REQ-CS,1,1 𝑆3 → 𝑆1 : REP-CS,6,3 𝑆1 → 𝑆3 : REQ-CS,1,1 𝑆3 → 𝑆1 : REP-CS,6,3 𝑆3 → 𝑆2 : REP-CS,4,3 𝑆3 → 𝑆1 : REP-CS,6,3 𝑆1 vào miền găng 𝑆1 → 𝑆2 : REP-CS,7,1 𝑆1 → 𝑆2 : REP-CS,7,1 𝑆1 → 𝑆2 : REP-CS,7,1 𝑆2 nhận đủ REP-CS, chờ lượt vào miền găng 𝑆1 → 𝑆2 : REL-CS,8,1 𝑆1 → 𝑆2 : REP-CS,7,1 𝑆1 → 𝑆2 : REL-CS,8,1 𝑆1 → 𝑆3 : REL-CS,8,1 𝑆1 → 𝑆2 : REP-CS,7,1 𝑆1 → 𝑆2 : REL-CS,8,1 𝑆1 → 𝑆3 : REL-CS,8,1 𝑆1 → 𝑆3 : REL-CS,8,1 𝑆1 → 𝑆2 : REP-CS,7,1 𝑆2 vào miền găng 𝑆1 → 𝑆2 : REL-CS,8,1 𝑆1 → 𝑆2 : REL-CS,8,1 𝑆1 → 𝑆2 : REL-CS,8,1 𝑆1 → 𝑆3 : REL-CS,8,1 𝑆1 → 𝑆3 : REL-CS,8,1 𝑆1 → 𝑆3 : REL-CS,8,1 Hình Mơ tả tiến trình hoạt động miền găng Lamport xác định dựa số lượng thông điệp yêu cầu máy chủ cho thực thi miền găng Đối với song song hóa thuật tốn Lamport u cầu 𝑁 −1 thông điệp REQ, 𝑁 − thông điệp REP, 𝑁 − thơng điệp ACC, đó, thuật tốn u cầu 3(𝑁 − 1) thơng điệp Đối với thuật tốn cải tiến loại trừ tương hỗ báo yêu cầu 𝑁 − thông điệp REQ-CS không xét thơng điệp REP-CS REL-CS q trình nhận, đó, thuật tốn u cầu 𝑁 − thơng điệp vào miền găng Nguyên nhân độ phức tạp thông điệp thuật toán loại trừ tương hỗ thấp áp dụng song song hóa thuật tốn Lamport, thơng điệp REP-CS REL-CS nhận biết đánh dấu yêu cầu giá trị đồng hồ lô-gic máy chủ Do đó, máy chủ yêu cầu vào miền găng khơng Hình Số lượng thơng điệp hợp lực đáp ứng tiến trình để vào miền găng 89 Các cơng trình nghiên cứu phát triển Cơng nghệ Thông tin Truyền thông cần phải đợi tiếp nhận đủ thơng điệp REP-CS REL-CS Ngồi ra, q trình truyền thơng điệp hệ thống, thơng điệp REP-CS REL-CS bị phân mảnh thất lạc không ảnh hưởng đến trình vào miền găng máy chủ Theo kết hình 8, số lượng tiến trình yêu cầu vào miền găng lớn số lượng thơng điệp hợp lực để tiến trình vào miền găng lớn Do đó, giảm số lượng thơng điệp hợp lực hiệu tiến trình vào miền găng tăng găng máy chủ rời miền găng để nhường cho máy chủ vào miền găng Trong trường hợp tải cao, nghĩa máy chủ yêu cầu vào miền găng nhận đủ thông điệp phản hồi theo song song hóa thuật tốn Lamport (dịng 52 thuật toán 1) hàng đợi máy chủ ln có tiến trình sẵn sàng vào miền găng Máy chủ thực tức miền găng trường hợp tải cao sau máy chủ trước vừa rời khỏi miền găng, tham số độ trễ q trình đồng hóa xác định 𝑇 = Tham số độ trễ trình đồng hóa 𝑇 xác định dựa khoảng thời gian yêu cầu sau máy chủ bắt đầu phát thông điệp yêu cầu REQ-CS vào miền Tham số thời gian hồi đáp 𝐻 xác định khoảng thời gian từ gửi yêu cầu vào miền găng khỏi miền găng Theo mơ tả hình 7, 𝐻 tính công thức sau [4]: 𝐻 = 𝑇 + 𝐸, Thuật toán 2: Cải tiến thuật toán loại trừ tương hỗ Lamport (3) 𝑇 độ trễ q trình đồng hóa 𝐸 thời gian thực thi miền găng Đối với trường hợp áp dụng song song hóa thuật tốn Lamport, máy chủ phép vào miền găng thời điểm máy chủ cuối bắt đầu phản hồi thông điệp REP-CS sau thông điệp REQ-CS Như vậy, thời gian hồi đáp xác định sau Đối với trường hợp chờ tiếp nhận máy chủ cuối bắt đầu phát thông điệp REP-CS, có 𝑇 = 𝑁 − 1, 𝐻 = 𝑁 − + 𝐸 Đối với trường hợp tiếp nhận đủ thông điệp REP-CS nằm hàng đợi vào miền găng lượt tiếp theo, có 𝑇 = 0, 𝐻 = 𝐸 Dữ liệu vào: Tiến trình tt(start,jeton, lamport1 ,lamport2 , S_act,type,action,circle,content) Dữ liệu ra: Trật tự tổng quát chặt chẽ tiến trình, tiến trình vào miền găng loại trừ tương hỗ nhờ dấu action = tt.action; if action = then sk = REQ-CS; act = REQ-LAMPORT; 𝐻𝑆local = LAMPORT(𝑆local , act, sk); tt(start,jeton,𝐻𝑆local ,𝑙𝑎𝑚 𝑝𝑜𝑟𝑡2 ,𝑆local ,type,action, circle,content); req_queue(tt); multicast(RequestCriticalSection(sk,tt)); end 10 RequestCriticalSection(sk, 𝑡𝑡) 11 𝐻 𝑆local = tt.lamport1 ; 12 𝑆 𝑖 = tt.𝑆 act ; 13 if sk = REQ-CS, 𝐻 𝑆𝑖 < 𝐻 𝑆local then 14 sk = REP-CS; 15 act = REQ-LAMPORT; 16 𝐻𝑆local = LAMPORT(𝑆local , act, sk); 17 tt(start,jeton,𝐻𝑆𝑖 ,𝐻𝑆local ,𝑆𝑖 ,type,action,circle,content); 18 else if sk = REP-CS, 𝐻 𝑆𝑖 < 𝐻 𝑆local then 19 sk = REP-CS; 20 act = REQ-LAMPORT; 21 𝐻𝑆local = LAMPORT(𝑆local , act, sk); 22 writelog(tt(start, jeton, 𝐻𝑆𝑖 , 𝐻𝑆local , 𝑆local , type, action, circle, content)); 23 end 24 return RequestCriticalSection(sk,tt); 25 CriticalSection(sk, tt) 26 content = tt.content; 27 process(content); 28 remove_req_queue(tt); 29 sk = REL-CS; 30 act = REQ-LAMPORT; 31 𝐻 𝑆local = LAMPORT(𝑆 local , act, sk); 32 tt(start, jeton, lamport1 , 𝐻 𝑆local , 𝑆 𝑖 , type, action, circle, content); 33 return multicast(NextCriticalSection()); 34 NextCriticalSection() 35 if req_queue ≠ ∅ then 36 pop_req_queue(tt); 37 return CriticalSection(sk, tt); 38 end Tham số thông lượng hệ thống ký hiệu 𝐴 xác định dựa tỷ lệ mà hệ thống thực thi yêu cầu miền găng 𝐴 tính cơng thức [4]: 𝐴= , 𝐻 (4) 𝐻 thời gian hồi đáp Đối với trường hợp tải thấp 𝑇 = 𝑁 − 𝐴 = 1/(𝑁 − 1) + 𝐸 Đối với trường hợp tải cao 𝑇 = 𝐴 = 1/𝐸 Ký hiệu 𝑋 số lượng trung bình thơng điệp vào miền găng máy chủ Đối với trường hợp tải cao, máy chủ có tiến trình u cầu vào miền găng Một máy chủ cần phải phát 𝑁 − thông điệp để yêu cầu vào miền găng Vì vậy, 𝑋 xác định sau: 𝑋= 𝑁 − 𝑁 + (𝑁 − 1) 3𝑁 − + = 𝑁 𝑁 𝑁 (5) Theo công thức (5), số lượng các chủ lớn (𝑁 → ∞), số lượng trung bình thơng điệp máy chủ xấp xỉ Trong thơng số cho thuật toán Lamport nguyên thủy xấp xỉ cho thuật toán Ricart–Agrawala xấp xỉ với số lượng máy chủ tương tự Đối với việc áp dụng song song hóa thuật tốn Lamport thực thi miền găng, thời gian hồi đáp tiến trình yêu cầu miền găng độ trễ trình đồng hóa rút ngắn Kết so sánh thuật toán thể 90 Tập 2019, Số 2, Tháng 12 Hình Hiệu thực thi song song hóa thuật tốn V KẾT LUẬN Bảng V SO SÁNH HIỆU NĂNG CỦA THUẬT TOÁN L AMPORT CẢI TIẾN TRONG LOẠI TRỪ TƯƠNG HỖ PHÂN TÁN Thuật toán [21] [22] Cải tiến Thời gian hồi đáp 2𝑇 + 𝐸 2𝑇 + 𝐸 𝑇+𝐸 Độ trễ đồng 𝑇 𝑇 𝑇 Th điệp tải thấp 3(𝑁 − 1) 2(𝑁 − 1) 𝑁 −1 Trong báo này, nghiên cứu giải pháp song song hóa thuật tốn Lamport nhằm cải tiến thuật tốn loại trừ tương hỗ phân tán Song song hóa thuật toán Lamport cho phép thiết lập trật tự tổng quát chặt chẽ ghi dấu kiện diễn máy chủ Thuật toán cải tiến gán dấu cho kiện yêu cầu 3(𝑁 − 1) thơng điệp Khi áp dụng song song hóa thuật tốn Lamport thuật tốn loại trừ tương hỗ, tiến trình vào miền găng yêu cầu 𝑁 − thông điệp Do đó, giải pháp cải tiến báo đạt hiệu cao cải tiến thuật toán loại trừ tương hỗ phân tán thể bảng V Tuy nhiên, để đạt hiệu cao, độ phức tạp thơng điệp song song hóa thuật tốn Lamport để gắn dấu cho tiến trình yêu cầu 3(𝑁 − 1) thông điệp độ dài thông điệp lớn so với thuật tốn gắn dấu khác Do đó, hệ thống tải cao song song hóa thuật toán Lamport phải xử lý với số lượng lớn u cầu giá trị đồng hồ lơ-gic q trình hợp lực Vì vậy, giải pháp để giải tối ưu hệ thống hợp lực truyền thông cần tiếp tục nghiên cứu Th điệp tải cao 3(𝑁 − 1) 2(𝑁 − 1) 𝑁 −1 bảng V Thuật tốn Lamport cải tiến áp dụng song song hóa thuật toán Lamport đạt hiệu loại trừ tương hỗ cao so với thuật toán Lamport Ricart-Agrawala Theo kết thực hình 9, áp dụng song song hóa thuật tốn Lamport, tiến trình máy chủ 𝑆1 vào miền găng thời điểm máy chủ 𝑆2 vào miền găng thời điểm Tiến trình yêu cầu miền găng máy chủ 𝑆1 mô tả cho trường hợp tải thấp: thời gian hồi đáp 𝐷 = xác định từ thời điểm giá trị đồng hồ lúc phát thông điệp rời khỏi miền găng thời điểm So với hình 3, 𝑆1 phải đợi đủ thơng điệp phản hồi từ máy chủ lại thời điểm bắt đầu vào miền găng, 𝑆1 có 𝐷 = 10 TÀI LIỆU THAM KHẢO [1] R Buyya, “Market-oriented cloud computing: Vision, hype, and reality of delivering computing as the 5th utility,” in 2009 Fourth ChinaGrid Annual Conf., 2009, pp xii–xv [2] G F Coulouris and J Dollimore, Distributed systems: Concepts and design, 4th ed Addison-Wesley, 2005 [3] M Raynal, Distributed Algorithms for Message-Passing Systems Springer, 2013 [4] A D Kshemkalyani and M Singhal, Distributed Computing: Principles, Algorithms, and Systems Cambridge University Press, 2008 [5] M Raynal, A Schiper, and S Toueg, “The causal ordering abstraction and a simple way to implement it,” Information Processing Letters, vol 39, no 6, pp 343–350, 1991 [6] N Sharma and A Parikh, “Deadlock detection and removal in distributed systems,” International Jour Engineering and Computer Science, vol 2, no 10, pp 2900–2902, Oct 2013 [7] H H C Nguyen, H V Dang, N M N Pham, V S Le, and T T Nguyen, “Deadlock detection for resource Tiến trình yêu cầu miền găng máy chủ 𝑆2 mô tả cho trường hợp tải cao: thời gian hồi đáp 𝐷 = xác định từ thời điểm giá trị đồng hồ lúc phát thông điệp rời khỏi miền găng thời điểm 10 Trong trường hợp tải cao, tiến trình 𝑆2 nhận đủ thơng điệp phản hồi chờ vào miền găng thời điểm 𝑆2 vào miền găng Đối với trường hợp này, 𝑆2 chờ đợi tiếp nhận thơng điệp giải phóng khỏi miền găng từ 𝑆1 mơ tả hình Bên cạnh đó, theo mơ tả hình thơng điệp giải phóng từ 𝑆1 bị thất lạc phân mảnh trình truyền 𝑆2 phải chờ đợi tiếp nhận đầy đủ, điều dẫn đến hiệu thực bị giảm 91 Các cơng trình nghiên cứu phát triển Công nghệ Thông tin Truyền thông [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] allocation in heterogeneous distributed platforms,” in Recent Advances in Information and Communication Technology 2015 Springer, 2015, pp 285–295 H H C Nguyen, V S Le, and T T Nguyen, “Algorithmic approach to deadlock detection for resource allocation in heterogeneous platforms,” in International Conference on Smart Computing, 2014, pp 97–103 H H C Nguyen, H D Tran, V T Doan, and V T P Anh, “Deadlock avoidance for resource allocation model V VMout-of-N PM,” in Context-Aware Systems and Applications Springer, 2017, pp 172–182 M Singhal, “Deadlock detection in distributed systems,” Computer, vol 22, no 11, pp 37–48, 1989 K Erciyes and V Adve, Distributed Graph Algorithms for Computer Networks Springer, 2013 G Ricart and A K Agrawala, “Author’s response to ‘On mutual exclusion in computer networks’ by Carvalho and Roucairol,” Commun of the ACM, pp 147–148, 1983 I Suzuki and T Kasami, “A distributed mutual exclusion algorithm,” ACM Transactions on Computer Systems, vol 3, no 4, pp 344–349, Nov 1985 M Mizuno, M L Neilsen, and R Rao, “A token based distributed mutual exclusion algorithm based on quorum agreements,” in 11th International Conference on Distributed Computing Systems, 1991, pp 361–368 J.-M Helary, N Plouzeau, and M Raynal, “A distributed algorithm for mutual exclusion in an arbitrary network,” The Computer Journal, vol 31, no 4, pp 289–295, 1988 K Raymond, “A tree-based algorithm for distributed mutual exclusion,” ACM Transactions on Computer Systems, vol 7, no 1, pp 61–77, 1989 M Singhal, “A heuristically-aided algorithm for mutual exclusion in distributed systems,” IEEE Transactions on Computers, vol 38, no 5, pp 651–662, 1989 N Mohamed and T Michel, “How to detect a failure and regenerate the token in the Log(n) distributed algorithm for mutual exclusion,” in Distributed Algorithms Springer Berlin Heidelberg, 1988, pp 155–166 S Mishra and P K Srimani, “Fault-tolerant mutual exclusion algorithms,” Journal of Systems and Software, vol 11, no 2, pp 111–129, 1990 S Nishio, K F Li, and E G Manning, “A resilient mutual exclusion algorithm for computer networks,” IEEE Transactions on Parallel and Distributed Systems, vol 1, no 3, pp 344–356, 1990 L Lamport, “Time, clocks, and the ordering of events in a distributed system,” Communications of the ACM, vol 21, no 7, pp 558–565, 1978 G Ricart and A K Agrawala, “An optimal algorithm for mutual exclusion in computer networks,” Communications of the ACM, vol 24, no 1, pp 9–17, 1981 O Carvalho and G Roucairol, “On mutual exclusion in computer networks,” Communications of the ACM, vol 26, no 2, pp 146–147, Feb 1983 M Raynal, “Prime numbers as a tool to design distributed algorithms,” Information Processing Letters, vol 33, no 1, pp 53–58, 1989 M Maekawa, “A Sqrt(N) algorithm for mutual exclusion in decentralized systems,” ACM Transactions on Computer Systems, vol 3, no 2, pp 145–159, 1985 B A Sanders, “The information structure of distributed mutual exclusion algorithms,” ACM Transactions on Computer Systems, vol 5, no 3, pp 284–299, 1987 D Agrawal and A E Abbadi, “An efficient and fault-tolerant solution for distributed mutual exclusion,” ACM Transactions on Computer Systems, vol 9, no 1, pp 1–20, 1991 M Singhal, “A dynamic information-structure mutual exclu- [29] [30] [31] [32] [33] sion algorithm for distributed systems,” in 9th International Conference on Distributed Computing Systems, 1989, pp 70–78 M G Velazquez, “A survey of distributed mutual exclusion algorithms,” Colorado State University, Tech Rep., 1993 N Yadav, S Yadav, and S Mandiratta, “A review of various mutual exclusion algorithms in distributed environment,” International Journal of Computer Applications, vol 129, no 14, pp 11–16, 2015 S Naseera, “A distributed ring algorithm for coordinator election in distributed systems,” ICTACT Journal on Communication Technology, vol 7, no 3, pp 1341–1344, 2016 L V Sơn, Hệ tin học phân tán Nhà xuất Đại học Quốc gia Tp Hồ Chí Minh, 2002 D H Vĩ and L V Sơn, “Cung cấp tài nguyên truyền thông cho hệ phân tán máy ảo,” Journal of Science and Technology, The University of Danang, vol 11, no 108, pp 90–94, 2016 Đặng Hùng Vĩ sinh năm 1980 Đà Nẵng Tốt nghiệp đại học Trường Đại học Bách khoa, Đại học Đà Nẵng năm 2003 chuyên ngành Công nghệ Thông tin Nhận Thạc sỹ Khoa học Máy tính năm 2008 Đại học Đà Nẵng Hiện nghiên cứu sinh chuyên ngành Khoa học máy tính Đại học Đà Nẵng Lĩnh vực nghiên cứu: Mạng máy tính, mã mạng, hệ phân tán, điện tốn đám mây Lê Văn Sơn sinh năm 1948 Điện Bàn, Quảng Nam Tốt nghiệp Đại học năm 1978, bảo vệ luận án Tiến sĩ năm 1997 Trường Đại học Tổng hợp Donesk, Ukraina Cơng nhận Phó Giáo sư năm 2004 Hiện công tác Hội tin học Đà Nẵng Lĩnh vực nghiên cứu: Hệ điều hành, mạng máy tính, hệ phân tán, tính tốn đám mây Nguyễn Xn Huy sinh năm 1944 Hải Phòng Bảo vệ luận án Tiến sĩ năm 1978 chuyên ngành Toán-Tin Liên Xô Bảo vệ Tiến sĩ Khoa học năm 1988 thuộc chuyên ngành Công nghệ Thông tin Liên Xô Công nhận Phó Giáo sư năm 1992 Nguyên Chủ tịch Hội đồng Tư vấn Giáo dục Microsoft Việt Nam, Nghiên cứu viên cao cấp Viện Công nghệ thông tin, Viện Khoa học Công nghệ Việt Nam Lĩnh vực nghiên cứu: Công nghệ phần mềm, sở liệu 92 ... V Thuật toán Lamport cải tiến áp dụng song song hóa thuật toán Lamport đạt hiệu loại trừ tương hỗ cao so với thuật toán Lamport Ricart-Agrawala Theo kết thực hình 9, áp dụng song song hóa thuật. .. song hóa thuật tốn Lamport nhằm cải tiến thuật tốn loại trừ tương hỗ phân tán Song song hóa thuật toán Lamport cho phép thiết lập trật tự tổng quát chặt chẽ ghi dấu kiện diễn máy chủ Thuật toán. .. song song hóa thuật tốn Lamport thuật tốn loại trừ tương hỗ, tiến trình vào miền găng yêu cầu