One form of group communication is

One form of group communication is called multiway rendezvous, which is a synchronous communication among an arbitrary number of asynchronous pro- cesses. All the processes involved “meet with each other,” i.e., communicate “synchronously” with each other at one time. The solutions to this problem are fairly complex, and we will not consider them further as this model of syn- chronous communication is not popular. Here, we study rendezvous between a pair of processes at a time, which is called binary rendezvous as opposed to the multiway rendezvous.
Support for binary rendezvous communication was first provided by pro- gramming languages such as CSP and Ada. We consider here a subset of
CSP. In these languages, the repetitive command (the ∗ operator) over the
alternative command (the || operator) on multiple guarded commands (each having the form Gi −→ CLi) is used, as follows:
∗[G1 −→ CL1 || G2 −→ CL2 || • • • || Gk −→ CLk].

Each communication command may be a part of a guard Gi, and may also appear within the statement block CLi. A guard Gi is a boolean expression. If a guard Gi evaluates to true then CLi is said to be enabled, otherwise CLi is said to be disabled. A send command of local variable x to process Pk is



denoted as “x ! Pk.” A receive from process Pk into local variable x is denoted
as “Pk ? x.” Some typical observations about synchronous communication under binary rendezvous are as follows:
• For the receive command, the sender must be specified. However, mul- tiple recieve commands can exist. A type check on the data is implicitly performed.
• Send and received commands may be individually disabled or enabled. A
command is disabled if it is guarded and the guard evaluates to false. The guard would likely contain an expression on some local variables.
• Synchronous communication is implemented by scheduling messages
under the covers using asynchronous communication. Scheduling involves pairing of matching send and receive commands that are both enabled. The communication events for the control messages under the covers do not alter the partial order of the execution.
The concept underlying binary rendezvous, which provides synchronous communication, differs from the concept underlying the classification of syn- chronous send and receive primitives as blocking or non-blocking (studied in Chapter 1). Binary rendezvous explicitly assumes that multiple send and receives are enabled. Any send or receive event that can be “matched” with the corresponding receive or send event can be scheduled. This is dynamically scheduling the ordering of events and the partial order of the execution.

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

Một hình thức giao tiếp nhóm được gọi là multiway hẹn, mà là một liên lạc đồng bộ giữa một số tùy ý của pro-cesses không đồng bộ. Tất cả các quá trình liên quan đến "đáp ứng với nhau," tức là, giao tiếp "đồng bộ" với nhau tại một thời gian. Các giải pháp cho vấn đề này là khá phức tạp, và chúng tôi sẽ không xem xét việc họ thêm là mô hình này của syn-chronous giao tiếp không phải là phổ biến. Ở đây, chúng tôi nghiên cứu các điểm hẹn giữa một cặp của các quá trình tại một thời điểm, được gọi là nhị phân hẹn như trái ngược với multiway điểm hẹn.Hỗ trợ cho nhị phân hẹn giao tiếp đầu tiên được cung cấp bởi pro-gramming ngôn ngữ như CSP và Ada. Chúng tôi xem xét ở đây một tập hợp con củaCSP. Bằng các ngôn ngữ, lệnh (điều hành ∗) lặp đi lặp lại trên cácthay thế lệnh (các || nhà điều hành) trên nhiều lệnh bảo vệ (có hình thức Gi −→ CLi) được sử dụng, như sau:∗ [G1 −→ CL1 || G2 −→ CL2 || • • • || GK −→ CLk].Mỗi lệnh giao tiếp có thể là một phần của một người bảo vệ Gi, và cũng có thể xuất hiện trong tuyên bố khối CLi. Một người bảo vệ Gi là một biểu thức boolean. Nếu một người bảo vệ Gi đánh giá đúng sau đó CLi được cho là có hiệu lực, nếu không, CLi ông bị vô hiệu. Một lệnh gửi của địa phương biến x để quá trình Pk là ký hiệu như "x! PK." Nhận được từ quá trình Pk vào địa phương biến x ký hiệunhư là "Pk? x." Một số quan sát thông thường về thông tin liên lạc đồng bộ dưới nhị phân hẹn là như sau:• Cho nhận lệnh, người gửi phải được xác định. Tuy nhiên, mul-tiple nhận được lệnh có thể tồn tại. Kiểm tra loại dữ liệu ngầm thực hiện.• Gửi và nhận được lệnh có thể được cá nhân vô hiệu hóa hoặc kích hoạt. Alệnh bị vô hiệu hóa nếu nó được bảo vệ và bảo vệ đánh giá sai. Bảo vệ sẽ có khả năng chứa một biểu hiện trên một số biến địa phương.• Đồng bộ thông tin liên lạc được thực hiện bằng cách lập kế hoạch thưdưới bìa bằng cách sử dụng giao tiếp không đồng bộ. Lập kế hoạch liên quan đến việc kết nối của phù hợp với gửi và nhận được lệnh cả hai được kích hoạt. Sự kiện liên lạc cho các kiểm soát thư dưới bìa không làm thay đổi bộ một phần của thực hiện.Điểm hẹn nhị phân cơ bản khái niệm, cung cấp thông tin liên lạc đồng bộ, khác với khái niệm cơ bản phân loại syn-chronous gửi và nhận được các nguyên thủy như chặn hoặc không chặn (nghiên cứu trong chương 1). Nhị phân hẹn một cách rõ ràng giả định rằng gửi nhiều và nhận được kích hoạt. Bất kỳ gửi hoặc nhận được sự kiện mà có thể được "phù hợp" với nhận tương ứng hoặc gửi sự kiện có thể được sắp xếp. Điều này tự động lập kế hoạch thứ tự của các sự kiện và Huân thực hiện, một phần.

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

Một hình thức truyền thông nhóm được gọi là điểm hẹn Multiway, đó là một thông tin liên lạc đồng bộ giữa một số tùy ý của các quá trình trình không đồng bộ. Tất cả các quá trình liên quan đến "gặp nhau", tức là, giao tiếp "đồng bộ" với nhau cùng một lúc. Các giải pháp cho vấn đề này là khá phức tạp, và chúng tôi sẽ không xem xét thêm cho họ như mô hình truyền thông này không đồng hội chứng không phải là phổ biến. Ở đây, chúng ta nghiên cứu hẹn giữa một cặp của các quá trình tại một thời điểm, mà được gọi là điểm hẹn nhị phân như trái ngược với các Multiway điểm hẹn.
Hỗ trợ cho hẹn truyền nhị phân lần đầu tiên được cung cấp bởi các ngôn ngữ lập trình như CSP và Ada. Chúng tôi coi đây là một tập hợp con của
CSP. Trong các ngôn ngữ, các lệnh lặp đi lặp lại (các nhà điều hành *) trên các
lệnh thay thế (các nhà điều hành ||) trên nhiều lệnh bảo vệ (từng có các hình thức Gi - → CLI) được sử dụng, như sau:
* [G1 - → CL1 || G2 - → CL2 || • • • || Gk -. → CLK] Mỗi lệnh thông tin liên lạc có thể là một phần của một người bảo vệ Gi, và cũng có thể xuất hiện trong CLI khối tuyên bố. Một Gi bảo vệ là một biểu thức boolean. Nếu một người bảo vệ Gi để đánh giá đúng thì CLI là nói để được kích hoạt, nếu không CLI được cho là bị vô hiệu. Một lệnh gửi các địa phương biến x để xử lý Pk được ký hiệu là "x! Vn. "A nhận được từ quá trình pk vào địa phương biến x được ký hiệu là" pk? x "Một số quan sát điển hình về truyền thông đồng bộ theo điểm hẹn nhị phân như sau:. • Đối với các lệnh nhận, người gửi phải được xác định. Tuy nhiên, tiple mul- nhận được lệnh này có thể tồn tại. Một loại kiểm tra trên dữ liệu được thực hiện ngầm. • Gửi và nhận các lệnh có thể được vô hiệu hóa hoặc kích hoạt riêng. Một lệnh được vô hiệu hóa nếu nó được canh giữ và bảo vệ cho giá trị false. Người bảo vệ có khả năng sẽ có một biểu hiện trên một số biến địa phương. • truyền thông đồng bộ được thực hiện bằng cách lập lịch thông điệp theo bao gồm việc sử dụng truyền thông không đồng bộ. Lập kế hoạch liên quan đến việc kết nối của phù hợp với gửi và nhận lệnh được cả hai được kích hoạt. Các sự kiện truyền thông cho các thông điệp điều khiển theo bao không làm thay đổi thứ tự một phần của việc thực hiện. Các khái niệm hẹn nhị phân cơ bản, cung cấp thông tin liên lạc đồng bộ, khác với khái niệm cơ bản việc phân loại các hội chứng không đồng gửi và nhận nguyên thủy như chặn hay không -blocking (nghiên cứu trong Chương 1). Hẹn nhị phân một cách rõ ràng cho rằng nhiều gửi và nhận đều được kích hoạt. Bất kỳ gửi hoặc nhận được sự kiện mà có thể "phù hợp" với tương ứng nhận hoặc gửi sự kiện có thể được sắp xếp. Điều này là tự động lập kế hoạch đặt hàng của các sự kiện và thứ tự một phần của việc thực hiện.