The progress property, however, fai

The progress property, however, fails. Consider an execution in which all of the processes enter their trying regions, one after the other. Next, all of the processes grab their right forks. At this point, each process is ready to try to obtain its left fork. But since all forks have already been picked up, no process can do so. The system is now deadlocked--there is no way that any further progress can be made. Theorem 11.2 implies that it is necessary to break the symmetry of a ring network in order to solve the Dining Philosophers problem. There are several ways of doing this. The processes could use different programs, or the same program but different initial states or unique identifiers. Or, the variables could be initialized differently. Or, we could use randomization. In the rest of this chapter, we will illustrate some of these approaches.

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

Bất động sản tiến bộ, Tuy nhiên, thất bại. Xem xét thực hiện một trong đó tất cả các quá trình nhập của khu vực cố gắng, sau khi một khác. Tiếp theo, tất cả các quá trình lấy nhánh bên phải của họ. Tại thời điểm này, mỗi quá trình đã sẵn sàng để thử để có được nó ngã ba bên trái. Nhưng kể từ khi tất cả nhánh đã được vớt lên, không có quá trình có thể làm như vậy. Hệ thống này là bây giờ bế tắc - không còn cách bất kỳ tiến bộ hơn nữa có thể được thực hiện. Định lý 11.2 ngụ ý rằng nó là cần thiết để phá vỡ đối xứng của một mạng lưới vòng để giải quyết vấn đề ăn uống nhà triết học. Có rất nhiều cách để làm điều này. Các quá trình có thể sử dụng các chương trình khác nhau, hoặc chương trình tương tự nhưng khác nhau ban đầu kỳ hoặc định danh duy nhất. Hoặc các biến thể được khởi chạy một cách khác nhau. Hoặc, chúng tôi có thể sử dụng ngẫu nhiên. Trong phần còn lại của chương này, chúng tôi sẽ minh họa cho một số trong những cách tiếp cận.

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

Các tài sản tiến bộ, tuy nhiên, thất bại. Hãy xem xét một thực hiện, trong đó tất cả các quy trình nhập khu vực cố gắng của họ, một sau khi khác. Tiếp theo, tất cả các quy trình lấy dĩa quyền của họ. Tại thời điểm này, mỗi quá trình là sẵn sàng để cố gắng có được ngã ba trái của nó. Nhưng kể từ khi tất cả các dĩa đã được vớt lên, không có quá trình có thể làm như vậy. Hệ thống này hiện đang bế tắc - không có cách nào rằng bất kỳ tiến bộ hơn nữa có thể được thực hiện. Định lý 11.2 ngụ ý rằng nó là cần thiết để phá vỡ tính đối xứng của một mạng vòng để giải quyết các vấn đề triết gia ăn. Có một số cách để làm điều này. Các quy trình có thể sử dụng các chương trình khác nhau, hoặc các chương trình tương tự nhưng khác nhau về trạng thái đầu hoặc định danh duy nhất. Hoặc, các biến có thể được khởi tạo khác nhau. Hoặc chúng ta có thể sử dụng ngẫu nhiên. Trong phần còn lại của chương này, chúng tôi sẽ minh họa một số trong những phương pháp tiếp cận.