We describe a straightforward way t

We describe a straightforward way to generalize the strategy in the RightLeftDP algorithm to an arbitrary resource-allocation problem, given by an arbitrary explicit resource specification. The generalization still has the virtue of having a time bound that is independent of the number of processes. However, the bound is not very small--there is still room for performance improvement. We continue to assume that each resource has an associated shared variable, shared by all processes that require that resource. As in RightLeftDP, we assume that the variable contains a FIFO queue to record who is waiting for the resource. As in RightLeftDP, each process waits for its required resources one at a time. To avoid deadlock, however, we assume that the resources are totally ordered and allow each process to obtain its needed resources in order, according to this total ordering--smallest to largest. This strategy is known as hierarchical resource allocation. It is not hard to see that hierarchical resource allocation guarantees progress. Roughly speaking, if process i waits for a resource held by process j, then j could only be delayed by waiting for a resource that is strictly larger (in the resource ordering) than the one for which i is waiting; since there are only finitely many processes, the one that holds the largest resource is not blocked. The FIFO nature of the queues also prevents lockout.

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

Chúng tôi mô tả một cách đơn giản để khái quát về chiến lược trong các thuật toán RightLeftDP cho một vấn đề phân bổ nguồn lực tùy ý, được đưa ra bởi một đặc tả tùy ý rõ ràng nguồn. Tổng quát vẫn có đức hạnh của việc có một thời gian bị ràng buộc mà không phụ thuộc số lượng các quy trình. Tuy nhiên, sự ràng buộc không phải là rất nhỏ - vẫn có chỗ cho cải thiện hiệu suất. Chúng tôi tiếp tục để giả định rằng mỗi tài nguyên có một liên kết chia sẻ biến, được chia sẻ bởi tất cả các quá trình đòi hỏi tài nguyên đó. Như RightLeftDP, chúng tôi giả định rằng các biến có chứa một hàng đợi FIFO để ghi những người chờ đợi cho các nguồn tài nguyên. Như RightLeftDP, mỗi quá trình chờ đợi cho các nguồn tài nguyên yêu cầu một lúc một thời gian. Để tránh bế tắc, Tuy nhiên, chúng tôi giả định rằng các nguồn tài nguyên được hoàn toàn ra lệnh cho phép mỗi quá trình để có được cần thiết tài nguyên của nó theo thứ tự, theo này đặt hàng tổng--nhỏ nhất đến lớn nhất. Chiến lược này được gọi là phân bổ nguồn lực theo cấp bậc. Nó không phải là khó khăn để xem phân bổ nguồn lực phân cấp đảm bảo tiến độ. Khoảng nói, nếu quá trình tôi chờ đợi cho một nguồn tài nguyên được tổ chức bởi quá trình j, sau đó j chỉ có thể được trì hoãn bởi chờ đợi cho một nguồn tài nguyên nghiêm lớn (theo thứ tự tài nguyên) so với cái mà tôi đang chờ đợi; kể từ khi có chỉ finitely nhiều quá trình, một nắm giữ các nguồn tài nguyên lớn nhất không bị chặn. FIFO bản chất của các hàng đợi cũng ngăn không khóa.

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

Chúng tôi mô tả một cách đơn giản để khái quát các chiến lược trong các thuật toán RightLeftDP cho một vấn đề phân bổ nguồn lực độc đoán, đưa ra bởi một đặc điểm kỹ thuật tài nguyên rõ ràng tùy ý. Các tổng quát vẫn có những đức hạnh của việc có một thời gian ràng buộc mà là độc lập với số của quy trình. Tuy nhiên, các ràng buộc không phải là rất nhỏ - vẫn có chỗ cho sự cải thiện hiệu suất. Chúng tôi tiếp tục giả định rằng các tài nguyên có biến chia sẻ liên kết, chia sẻ bởi tất cả các quy trình đòi hỏi nguồn tài nguyên đó. Như trong RightLeftDP, chúng tôi giả định rằng các biến chứa một hàng đợi FIFO để ghi lại những người đang chờ đợi các tài nguyên. Như trong RightLeftDP, mỗi quá trình chờ đợi cho một nguồn lực cần thiết của nó tại một thời điểm. Để tránh bế tắc, tuy nhiên, chúng tôi giả định rằng các nguồn lực được hoàn toàn ra lệnh và cho phép mỗi quá trình để có được nguồn lực cần thiết của nó trong trật tự, theo tổng số đặt hàng này - nhỏ nhất đến lớn nhất. Chiến lược này được gọi là phân bổ nguồn lực theo cấp bậc. Nó không phải là khó để thấy rằng tài nguyên thứ bậc đảm bảo phân bổ tiến bộ. Nói đại khái, nếu quá trình tôi chờ đợi cho một nguồn lực được tổ chức bởi quá trình j thì j chỉ có thể được trì hoãn bằng cách chờ đợi cho một nguồn tài nguyên đó là nghiêm chỉnh lớn hơn (trong thứ tự tài nguyên) so với cái mà tôi đang chờ đợi; kể từ khi có chỉ có hữu hạn nhiều quá trình, một trong đó nắm giữ các tài nguyên lớn nhất không bị chặn. FIFO bản chất của hàng đợi cũng ngăn khóa.