6.3 Synchronous program order on an

6.3 Synchronous program order on an asynchronous system

There do not exist real systems with instantaneous communication that allows for synchronous communication to be naturally realized. We need to address the basic question of how a system with synchronous communication can be implemented. We first examine non-determinism in program execution, and CSP as a representative synchronous programming language, before examin- ing an implementation of synchronous communication.



Non-determinism
The discussions on the message orderings and their characterizations so far assumed a given partial order. This suggests that the distributed programs are deterministic, i.e., repeated runs of the same program will produce the same partial order. In many cases, programs are non-deterministic in the following senses (we are not considering here the unpredictable message delays that cause different runs to non-deterministically have different global orderings of the events in physical time:)
1. A receive call can receive a message from any sender who has sent a mes- sage, if the expected sender is not specified. The receive calls in most of the algorithms in Chapter 5 are non-deterministic in this sense – the receiver is willing to perform a rendezvous with any willing and ready sender.
2. Multiple send and receive calls which are enabled at a process can be executed in an interchangeable order.
If i sends to j, and j sends to i concurrently using blocking synchronous calls, there results a deadlock, similar to the one in Figure 6.4. However, there is no semantic dependency between the send and the immediately following receive at each of the processes. If the receive call at one of the processes can be scheduled before the send call, then there is no deadlock. In this section, we consider scheduling synchronous communication events (over an asynchronous system).

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

6.3 đồng bộ chương trình lệnh trên một hệ thống không đồng bộCó tồn tại các hệ thống thực sự với giao tiếp tức thời cho phép đồng bộ thông tin liên lạc sẽ được thực hiện tự nhiên. Chúng ta cần đến địa chỉ các câu hỏi cơ bản về làm thế nào một hệ thống với thông tin liên lạc đồng bộ có thể được thực hiện. Chúng tôi lần đầu tiên kiểm tra phòng không determinism trong thực hiện chương trình, và CSP là một đại diện đồng bộ lập trình ngôn ngữ, trước khi examin-ing một thực hiện đồng bộ thông tin liên lạc. Phòng Không-determinismThảo luận về orderings tin nhắn và characterizations của họ cho đến nay cho rằng một đơn đặt hàng một phần nhất định. Điều này cho thấy rằng các chương trình phân phối được xác định, tức là, chạy lặp đi lặp lại của cùng một chương trình sẽ sản xuất một phần theo thứ tự. Trong nhiều trường hợp, chương trình là không xác định trong các giác quan (chúng tôi đang không xem xét ở đây sự chậm trễ không thể đoán trước thư gây ra chạy khác nhau để phòng không deterministically có khác nhau orderings toàn cầu của các sự kiện trong vật lý thời gian:)1. một cuộc gọi nhận được có thể nhận được một tin nhắn từ bất kỳ người gửi những người đã gửi một mes, cây xô thơm, nếu người gửi dự kiến không xác định. Các cuộc gọi nhận được trong hầu hết các thuật toán trong chương 5 phòng không xác định trong ý nghĩa này-nhận sẵn sàng để thực hiện một điểm hẹn với bất kỳ người gửi sẵn sàng và sẵn sàng.2. nhiều gửi và nhận cuộc gọi đó kích hoạt một quá trình có thể được thực hiện theo một thứ tự hoán đổi cho nhau.Nếu tôi sẽ gửi cho j, và j sẽ gửi cho tôi đồng thời bằng cách sử dụng ngăn chặn đồng bộ các cuộc gọi, có kết quả bế tắc một, tương tự như một trong hình 6.4. Tuy nhiên, có là không có phụ thuộc ngữ nghĩa giữa gửi và ngay lập tức sau nhận được tại mỗi của các quá trình. Nếu cuộc gọi nhận được tại một trong các quá trình có thể được sắp xếp trước khi cuộc gọi gửi, sau đó có là không có bế tắc. Trong phần này, chúng tôi xem xét lập kế hoạch sự kiện đồng bộ liên lạc (trên một hệ thống không đồng bộ).

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

6.3 Để chương trình đồng bộ trên một hệ thống không đồng bộ có không tồn tại các hệ thống thực sự với truyền thông tức thời cho phép truyền thông đồng bộ được thực hiện một cách tự nhiên. Chúng tôi cần phải giải quyết các câu hỏi cơ bản về cách thức một hệ thống với truyền thông đồng bộ có thể được thực hiện. Chúng tôi đầu tiên kiểm tra sự bất định trong thực hiện chương trình, và CSP như một ngôn ngữ lập trình đồng bộ đại diện, trước khi examin- ing một thực hiện truyền thông đồng bộ. Non-determinism Các cuộc thảo luận về các tin nhắn và orderings tả những đặc điểm của họ cho đến nay giả định một trật tự phần nhất định. Điều này cho thấy rằng các chương trình phân phối được xác định, ví dụ, chạy lặp đi lặp lại của cùng một chương trình sẽ tạo ra thứ tự từng phần như nhau. Trong nhiều trường hợp, chương trình này là không xác định trong các giác quan sau (chúng tôi không xem xét ở đây là sự chậm trễ thông báo không thể đoán trước đó gây ra chạy khác nhau để phi deterministically có orderings toàn cầu khác nhau của các sự kiện trong thời gian vật lý :) 1. Một cuộc gọi nhận được có thể nhận được một tin nhắn từ người gửi bất cứ ai đã gửi một nhà hiền triết nhắn tin, nếu người gửi sẽ không được xác định. Các nhận cuộc gọi trong hầu hết các thuật toán trong chương 5 là không xác định trong ý nghĩa này - người nhận là sẵn sàng để thực hiện một điểm hẹn với bất kỳ người gửi sẵn sàng và sẵn sàng. 2. Nhiều gửi và nhận cuộc gọi được kích hoạt ở một quá trình có thể được thực hiện trong một trật tự hoán đổi cho nhau. Nếu tôi gửi tới j, j và gửi cho tôi đồng thời sử dụng chặn cuộc gọi đồng bộ, có kết quả một bế tắc, tương tự như trong hình 6.4. Tuy nhiên, có sự phụ thuộc ngữ nghĩa giữa việc gửi và sau đây ngay lập tức nhận được ở từng công đoạn. Nếu cuộc gọi nhận được tại một trong các quá trình có thể được dự kiến trước khi cuộc gọi gửi, sau đó không có bế tắc. Trong phần này, chúng ta xem xét các sự kiện truyền thông đồng bộ lập kế hoạch (trên một hệ thống đồng bộ).