Đồng bộ mạng lưới trừu tượng: Một tin nhắn được gửi trong xung tôi nhận được ở xung i + 1
Synchronizer cho biết khi nào một quá trình có thể tạo ra một xung
Một quá trình có thể đi từ xung i i + 1 chỉ khi nó đã nhận được và hành động trên tất cả các tin nhắn được gửi trong thời gian xung i-1
đang được dịch, vui lòng đợi..