To define properties of synchronize

To define properties of synchronizers formally, we associate a pulse number with
each stat,e s on a process. It is initialized t,o 0 for all processes. A process can
go from pulse i t,o i + 1 only if it knows that it, has received and acted on all the
messages sent during pulse i - 1.

Kết quả (Việt) 1:

Để xác định các thuộc tính của synchronizers chính thức, chúng tôi kết hợp một số xung với mỗi stat, e s trên một quá trình. Đó là t khởi tạo, o 0 cho tất cả quá trình. Một quá trình có thể đi từ xung tôi t, o i + 1 chỉ nếu nó biết rằng nó đã nhận được và được hoạt động trên tất cả các thư được gửi trong xung tôi - 1.

Kết quả (Việt) 2:

Để xác định tính chất của synchronizers chính thức, chúng tôi kết hợp với một số xung với
mỗi stat, es trên một quá trình. Nó được khởi t, o 0 cho tất cả các quá trình. Một quá trình có thể
đi từ xung nó, oi + 1 chỉ nếu nó biết rằng nó đã nhận được và hành động trên tất cả các
tin nhắn được gửi trong xung i - 1.