Ngày nay, một trong những hướng nghiên cứu quan trọng trong hệ thống phân tán đó là vấn
đề đồng bộ hóa các tiến trình sử dụng tài nguyên dùng chung. Để đạt được điều đó thì chúng
ta phải đảm bảo được trật tự như nhau các thông điệp yêu cầu tài nguyên ở tất cả các
trạm/máy chủ có trong hệ. Đề tài tập trung nghiên cứu vấn đề đồng bộ hóa các tiến trình của
bài toán bãi đỗ xe nhiều cổng với hệ thống thời gian vector (Vector time) của Fidge, Mattern và
Schmuck. Giải pháp này có thể đảm bảo được trật tự nhân quả chặt chẽ của các sự kiện diễn
ra trong hệ thống phân tán, đảm bảo các tiến trình trong bài toán hoạt động hoàn toàn ăn khớp
với nhau và đạt được trạng thái gắn bó tài nguyên thông tin dùng chung.
