Khác với hệ thống tập trung, dữ liệu và các chức năng trên hệ phân tán được lưu trữ trên các máy tính thuộc các vùng địa lý khác nhau và tại một thời điểm có nhiều công việc được thực hiện một cách đồng thời. Bài viết này nghiên cứu đồng bộ hóa thời gian logic trong hệ phân tán nhằm phát hiện ra các sự kiện có thể thực hiện song song trong các ứng dụng phân tán.
TẠP CHÍ KHOA HỌC VÀ CƠNG NGHỆ, Trường Đại học Khoa học, ĐH Huế Tập 16, Số (2020) MỘT GIẢI PHÁP PHÁT HIỆN CÁC SỰ KIỆN SONG SONG TRONG CÁC TIẾN TRÌNH CỦA ỨNG DỤNG PHÂN TÁN Nguyễn Hồng Hà Khoa Công nghệ thông tin, Trường Đại học Khoa học, Đại học Huế Email: nhha@husc.edu.vn, nhha76@gmail.com Ngày nhận bài: 27/4/2020; ngày hoàn thành phản biện: 4/5/2020; ngày duyệt đăng: 14/7/2020 TÓM TẮT Khác với hệ thống tập trung, liệu chức hệ phân tán lưu trữ máy tính thuộc vùng địa lý khác thời điểm có nhiều cơng việc thực cách đồng thời Vì vậy, để phát kiện song song tiến trình nhằm tối ưu thời gian thực hệ thống thách thức lớn Trước đây, người ta sử dụng thời gian thực để phát kiện song song Khi truyền nhận liệu nút hệ phân tán, thời gian thực có độ trể lớn nên độ xác không cao Bài báo nghiên cứu đồng hóa thời gian logic hệ phân tán nhằm phát kiện thực song song ứng dụng phân tán Từ khóa: đồng hóa thời gian, xử lý phân tán, thuật tốn Lamport, thuật toán Vector Clock MỞ ĐẦU Hệ phân tán hệ thống có chức liệu phân tán trạm (máy tính) kết nối với mạng máy tính *2] Trong hệ phân tán, liệu chức lưu trữ máy tính vị trí địa lý khác nhiều cơng việc thực đồng thời Vì vậy, hệ phân tán gặp số thách thức đồng sau: đồng thời gian hệ thống, quốc gia có múi khác nhau; thời điểm có nhiều tiến trình cộng tác nhau; kiện tiến trình trao đổi thơng tin với Vì vậy, để xác định kiện tiến trình thực đồng thời với kiện tiến trình khác Đây thách thức lớn Để giải vấn đề này, Gusella Zatti Đại học California Flaviu Cristian đưa giải thuật Berkeley Cristian để đồng thời gian thực [5] Cả hai 23 Một giải pháp phát kiện song song tiến trình ứng dụng phân tán giải thuật sử dụng đồng hồ UTC làm mốc thời gian để đồng Nhưng hai thuật toán áp dụng mạng nội có độ trễ thấp, sử dụng mạng diện rộng độ xác khơng cao độ trể thời gian lớn Năm 2016, Đặng Hồng Vỹ *1+ sử dụng thuật toán Lamport để đồng hóa thời gian logic hệ phân tán Nghiên cứu xác định quan hệ phần tiến trình, cịn nhiều trường hợp chưa xác định tiến trình xảy trước, tiến trình xảy sau chưa xác định kiện xảy đồng thời Yan Cai ; W.K Chan [3] sử dụng thuật toán Vector Clock để đồng thời gian logic Nghiên cứu xác định quan hệ phần, quan hệ trước sau tiến trình chưa xác định kiện xảy đồng thời Bài báo nghiên cứu thuật toán Vector Clock [4], từ đưa mơ hình, giải thuật cài đặt thử nghiệm nhằm đưa kiện xảy đồng thời Từ xác định kiện cài đặt song song với nhằm tối ưu thời gian hệ thống MƠ HÌNH HỆ THỐNG a Mơ hình tiến trình Một hệ thống xử lý phân tán gồm n tiến trình, ký hiệu: P={p1, p2,