tailieunhanh - Song song hóa thuật toán Lamport trong loại trừ tương hỗ phân tán

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. | Song song hóa thuật toán Lamport trong loại trừ tương 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 và Truyền thông Song song hóa thuật toán Lamport trong 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 1 Trường Đại học Sư phạm Đại học Đà Nẵng 2 Viện Công nghệ Thông tin Viện Hàn lâm Khoa học và Công nghệ Việt Nam Tác giả liên hệ Đặng Hùng Vĩ dhungvi@ 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 Biên tập lĩnh vực điều phối phản biện và quyết định nhận đăng . Trần Minh Quang Tóm tắt Hệ phân tán là 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 cơ chế truyền thông điệp để hợp lực trong môi trường truyền thông. Trong hợp lực nhiều tiến trình cùng tương tranh tài nguyên dùng chung dễ dẫn đến bế tắc trong cung cấp tài nguyên. Loại trừ tương hỗ phân tán cho phép chỉ có một tiến trình duy nhất được thực thi trong miền găng tại một thời điểm đối với một tài nguyên để giải quyết bế tắc. Để đạt được loại trừ tương hỗ phân tán các tiến trình phải được gắn dấu đồng hồ lô-gic để xác lập trật tự và loại trừ các tiến trình gây ra bế tắc. Bài báo 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. Từ khóa Hệ phân tán đồng hồ lô-gic thuật toán Lamport loại trừ tương hỗ phân tán truyền thông điệp. Title A Parallelization of the Lamport Algorithm for Distributed Mutual Exclusion Abstract 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