1. If a general resource-allocation

1. If a general resource-allocation algorithm has any time bound b, then it is lockout-free.
2. If an algorithm in the model of this chapter guarantees well-formedness and lockout-freedom, then it also guarantees progress.

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

1. nếu có một thuật toán phân bổ nguồn lực chung bất cứ lúc nào ràng buộc b, sau đó là khóa miễn phí. 2. nếu một thuật toán trong mô hình của chương này đảm bảo tốt-formedness và khóa-tự do, sau đó nó cũng đảm bảo tiến độ.

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

1. Nếu một thuật toán phân bổ nguồn lực tổng hợp có bất kỳ ràng buộc thời gian b, sau đó nó là khóa miễn phí.
2. Nếu một thuật toán trong mô hình của chương bảo đảm này nổi formedness và khóa-tự do, thì nó cũng đảm bảo tiến độ.