Lemma 11.1 1. If a general resource

Lemma 11.1
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.
Proof. The proof is left as an exercise.

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

Bổ đề 11.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 độ. Bằng chứng. Những bằng chứng còn lại như là một tập thể dục.

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

Bổ đề 11.1
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 độ.
Chứng minh. Bằng chứng là trái như một bài tập.