(các loại tin nhắn)
M, ack (M), yêu cầu (M), cho phép (M)
(1) Pi muốn thực hiện SEND (M) để một quá trình ưu tiên thấp hơn Pj:
Pi thực gửi (M) và khối cho đến khi nó nhận được ack (M) từ Pj. SEND gửi sự kiện (M) bây giờ hoàn tất.
Bất kỳ thông báo ông (từ một quá trình ưu tiên cao hơn) và yêu cầu (Mr) yêu cầu đồng bộ hóa (từ một quá trình ưu tiên thấp hơn) đã nhận được trong thời gian toả đã được xếp hàng đợi.
(2) Pi muốn thực thi GỬI (M) để một quá trình ưu tiên cao hơn Pj:
(2a) Pi tìm kiếm sự cho phép của Pj bằng cách thực hiện gửi (theo yêu cầu (M)).
// để tránh bế tắc trong đó các quá trình tuần tự xếp hàng chặn
// tin nhắn.
(2b) Trong khi Pi là chờ đợi sự cho phép, nó vẫn không bị chặn.
(i) Nếu một thông báo ông đến từ một quá trình ưu tiên cao hơn Vn, Pi chấp nhận ông bằng cách lên lịch một sự kiện NHẬN (Mr) và sau đó thực hiện gửi (ack (Mr)) để Pk.
(ii) Nếu một yêu cầu (Mr) đến từ một quá trình ưu tiên thấp hơn Pk, Pi cutes exe- gửi (cho phép (Mr)) để Pk và khối chờ đợi cho các nhà hiền triết bày những thông điệp ông Khi ông đến, (Mr) NHẬN sự kiện được thực thi.
(2c) Khi có sự cho phép (M) đến, Pi biết đối tác Pj là synchro- nized và Pi thực gửi (M). SEND (M) bây giờ hoàn thành.
(3) yêu cầu (M) đến tại Pi từ một quá trình ưu tiên thấp hơn Pj:
Đồng thời yêu cầu (M) được xử lý bởi Pi, quá trình Pi thực gửi (cho phép (M)) để Pj và khối chờ đợi thông điệp M. Khi M đến, các sự kiện NHẬN (M) được thực thi và quá trình unblocks.
(4) Tin M đến lúc Pi từ một quá trình ưu tiên cao hơn Pj:
Vào thời điểm nhắn M được xử lý bởi Pi , quá trình Pi thực hiện NHẬN (M) (được giả định là luôn luôn được kích hoạt) và sau đó gửi (ack (M)) để Pj.
(5) Xử lý khi Pi là cấm:
Khi Pi là cấm, nó dequeues tiếp theo (nếu có ) thông điệp từ hàng đợi và xử lý nó như một thông điệp đến (theo quy tắc 3 hoặc 4). Thuật toán 6.1 Một thực hiện đơn giản hóa của trật tự đồng bộ. Mã đưa ra là cho quá trình Pi, 1 ≤ i ≤ n. Do đó, khi gửi đến một quá trình ưu tiên cao hơn, người gửi yêu cầu quá trình ưu tiên cao hơn thông qua các yêu cầu (M) để cho phép gửi. Khi quá trình ưu tiên cao hơn cho phép gửi, quá trình ưu tiên cao hơn, đó là người nhận, khối.
đang được dịch, vui lòng đợi..
