the server and awaits a reply from

the server and awaits a reply from it. Conceptually, the reply constitutes a token signifying permission to enter the critical section. If no other process has the token at the time of the request, then the server replies immediately, granting the token. If the token is currently held by another process, then the server does not reply, but queues the request. When a process exits the critical section, it sends a message to the server, giving it back the token. If the queue of waiting processes is not empty, then the server chooses the oldest entry in the queue, removes it and replies to the corresponding process. The chosen process then holds the token. In the figure, we show a situation in which p2’s request has been appended to the queue, which already contained p4’s request. p3 exits the critical section, and the server removes p4’s entry and grants permission to enter to p4 by replying to it. Process p1 does not currently require entry to the critical section. Given our assumption that no failures occur, it is easy to see that the safety and liveness conditions are met by this algorithm. The reader should verify, however, that the algorithm does not satisfy property ME3. We now evaluate the performance of this algorithm. Entering the critical section – even when no process currently occupies it – takes two messages (a request followed by a grant) and delays the requesting process by the time required for this round-trip. Exiting the critical section takes one release message. Assuming asynchronous message passing, this does not delay the exiting process. The server may become a performance bottleneck for the system as a whole. The synchronization delay is the time taken for a round-trip: a release message to the server, followed by a grant message to the next process to enter the critical section. A ring-basedalgorithm •
p n
p 2
p 3
p 4
Token
Figure 15.3 A ring of processes transferring a mutual exclusion token
p 1
One of the simplest ways to arrange mutual exclusion between the N processes without requiring an additional process is to arrange them in a logical ring. This requires only that each process pi has a communication channel to the next process in the ring, p i +1 mod N. The idea is that exclusion is conferred by obtaining a token in the form of a message passed from process to process in a single direction –

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

Các máy chủ và đang chờ một thư trả lời từ nó. Khái niệm, trả lời cấu thành một mã thông báo biểu hiện sự cho phép để vào phần quan trọng. Nếu không có quá trình khác đã kỷ niệm tại thời điểm yêu cầu, sau đó các máy chủ trả lời ngay lập tức, cung cấp các kỷ niệm. Nếu mã thông báo hiện nay được tổ chức bởi một tiến trình, sau đó máy chủ không trả lời, nhưng hàng đợi yêu cầu. Khi một quá trình ra khỏi phần quan trọng, nó sẽ gửi một tin nhắn đến máy chủ, đem lại cho nó trở lại kỷ niệm. Nếu một hàng chờ đợi quá trình không phải là sản phẩm nào, sau đó hệ phục vụ chọn mục lâu đời nhất trong hàng đợi, loại bỏ nó và trả lời để quá trình tương ứng. Quá trình lựa chọn sau đó tổ chức kỷ niệm. Trong hình, chúng tôi hiển thị một tình huống trong đó yêu cầu của p2 đã được nối thêm vào hàng đợi, trong đó đã có yêu cầu của p4. P3 thoát khỏi phần quan trọng, và các máy chủ loại bỏ mục nhập của p4 và cho phép để nhập để p4 bằng cách trả lời nó. Quá trình p1 không hiện đang yêu cầu các mục nhập vào phần quan trọng. Cho chúng tôi giả định rằng không có lỗi xảy ra, đó là dễ dàng để xem các điều kiện an toàn và liveness được đáp ứng bằng thuật toán này. Người đọc cần kiểm chứng, Tuy nhiên, các thuật toán không đáp ứng bất động sản ME3. Chúng tôi bây giờ đánh giá hiệu suất của thuật toán này. Bước vào phần quan trọng-ngay cả khi không có quá trình hiện nay chiếm nó-mất hai thư (yêu cầu theo một khoản trợ cấp) và trì hoãn quá trình yêu cầu bởi thời gian cần thiết cho trọn vòng này. Thoát khỏi phần quan trọng mất một phát hành thông báo. Giả sử không đồng bộ thư đi qua, điều này không trì hoãn quá trình xuất cảnh. Hệ phục vụ có thể trở thành một nút cổ chai hiệu năng hệ thống như một toàn thể. Sự chậm trễ đồng bộ hoá là thời gian cho một trọn vòng: thư phát hành đến máy chủ, theo một thông báo cấp cho quá trình tiếp theo để vào phần quan trọng. • Vòng-basedalgorithm p np 2p 3p 4Mã thông báoCon số 15.3 A vòng của quá trình chuyển giao một mã thông báo loại trừ lẫn nhaup 1Một trong những cách đơn giản nhất để sắp xếp các loại trừ lẫn nhau giữa các quá trình N mà không đòi hỏi một quá trình bổ sung là để sắp xếp chúng trong một vòng hợp lý. Điều này đòi hỏi chỉ mỗi quá trình pi đã có một kênh giao tiếp đến quá trình tiếp theo trên võ đài, p i + 1 mod N. Ý tưởng là loại trừ được trao bằng cách lấy một mã thông báo ở dạng một tin nhắn thông qua quá trình trình theo một hướng duy nhất-