We say that a shared memory system

We say that a shared memory system A solves the general resource-allocation problem for a given collection of users provided that, in combination with those users, it satisfies the well-formedness, exclusion, and progress conditions. We say that A solves the general resource-allocation problem provided that it solves it for every collection of users. The progress condition for the trying region is weaker than one might like in the present setting. For general resource-allocation problems, we would like also to say that users that do not conflict with each other should not prevent each other from entering the critical region, even if they hold onto the resources forever. We do not know a good way of stating such a condition, for arbitrary exclusion specifications. However, for explicit resource specifications, we can at least state the following condition.

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

Chúng ta nói rằng một hệ thống bộ nhớ dùng chung A giải quyết vấn đề phân bổ nguồn lực chung đối với một bộ sưu tập nhất định của người sử dụng với điều kiện là, kết hợp với những người dùng, nó đáp ứng tốt-formedness, loại trừ và điều kiện tiến bộ. Chúng ta nói rằng A giải quyết vấn đề phân bổ nguồn lực chung cung cấp rằng nó giải quyết cho mỗi bộ sưu tập của người dùng. Điều kiện tiến bộ cho khu vực cố gắng là yếu hơn so với một trong những có thể giống như trong các thiết lập hiện tại. Cho các vấn đề phân bổ nguồn lực nói chung, chúng tôi xin cũng nói rằng người dùng không xung đột với nhau không nên ngăn cản nhau vào khu vực quan trọng, thậm chí nếu họ giữ lên các nguồn tài nguyên mãi mãi. Chúng tôi không biết một cách tốt để nói như vậy một điều kiện, để loại trừ bất kỳ đặc điểm kỹ thuật. Tuy nhiên, đối với nguồn lực rõ ràng thông số kỹ thuật, chúng tôi có thể ít nêu các điều kiện sau đây.

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

Chúng ta nói rằng một chia sẻ bộ nhớ hệ thống A giải quyết vấn đề phân bổ nguồn lực chung của một bộ sưu tập cho người sử dụng với điều kiện, kết hợp với những người sử dụng, nó thỏa mãn các điều kiện tốt formedness, loại trừ, và tiến bộ. Chúng ta nói rằng A giải quyết vấn đề phân bổ nguồn lực nói chung cung cấp mà nó giải quyết nó cho mỗi bộ sưu tập của người dùng. Các điều kiện tiến bộ cho khu vực cố gắng là yếu hơn người ta có thể thích trong bối cảnh hiện nay. Đối với vấn đề phân bổ nguồn lực chung, chúng tôi cũng muốn nói rằng người dùng mà không mâu thuẫn với nhau không nên ngăn chặn mỗi khác xâm nhập vào khu vực quan trọng, thậm chí nếu họ giữ được các nguồn lực mãi mãi. Chúng tôi không biết một cách tốt để nêu một tình trạng như vậy, đối với thông số kỹ thuật loại trừ tùy ý. Tuy nhiên, với thông số kỹ thuật tài nguyên rõ ràng, chúng ta có thể ít nhất là nêu rõ các điều kiện sau đây.