Next we bound S. Consider a process

Next we bound S. Consider a process i that has just obtained its first fork (i.e., has become first on the queue for that fork). Within time g, it discovers this fact, and within an additional time t~, it performs a test action on its second fork. If it obtains this second fork immediately, then, within an additional time g, it goes to the critical region, for a total time of at most 3g.

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

Tiếp theo chúng tôi ràng buộc S. xem xét một quá trình tôi đã chỉ được ngã ba đầu tiên của nó (tức là, đã trở thành đầu tiên trên hàng đợi cho ngã ba đó). Trong vòng thời gian g, nó phát hiện ra thực tế này, và trong một thời gian bổ sung t ~, nó thực hiện một hành động thử nghiệm trên ngã ba thứ hai của nó. Nếu nó thu được này ngã ba thứ hai ngay lập tức, sau đó, trong vòng một g thời gian bổ sung, nó đi đến khu vực quan trọng, cho một tổng thời gian tối đa 3 g.

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

Tiếp theo chúng ta bị ràng buộc S. Hãy xem xét một quá trình tôi vừa thu được ngã ba đầu tiên của nó (tức là, đã trở thành đầu tiên trên hàng đợi cho ngã ba đó). Trong thời g, nó phát hiện ra sự thật này, và trong vòng thêm một thời gian t ~, nó thực hiện một hành động kiểm tra trên ngã ba thứ hai của mình. Nếu không giành ngã ba thứ hai này ngay lập tức, sau đó, trong một thời gian bổ sung g, nó đi đến các khu vực quan trọng, với tổng thời gian ít nhất 3g.