Our deadlock detection algorithm re

Our deadlock detection algorithm represents threads (t)
by the abstract context of the thread’s entry method, and lock acquisitions (l) by the abstract context of synchronized
methods; the latter suffices as we presume that methods do
not contain any synchronized blocks in their body. We represent
sets of held locks (L) by sets of abstract contexts of
synchronized methods that acquire the corresponding locks

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

Chúng tôi bế tắc phát hiện thuật toán đại diện cho chủ đề (t)bởi bối cảnh trừu tượng của thread của phương pháp nhập và mua lại khóa (l) bởi bối cảnh trừu tượng của đồng bộ hoáphương pháp; sau đó suffices như chúng tôi đoán rằng phương pháp làmkhông chứa bất kỳ khối được đồng bộ hoá trong cơ thể của họ. Chúng tôi đại diện chobộ đã tổ chức khóa (L) bởi bộ bối cảnh trừu tượng củađồng bộ hóa phương pháp mà có được các ổ khóa tương ứng

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

Thuật toán phát hiện bế tắc của chúng tôi đại diện cho chủ đề (t)
bởi bối cảnh trừu tượng của phương pháp nhập của chủ đề, và mua lại khóa (l) bởi bối cảnh trừu tượng của đồng bộ
phương pháp; sau này cũng đủ như chúng ta cho rằng phương pháp này
không chứa bất kỳ khối đồng bộ trong cơ thể của họ. Chúng tôi đại diện cho
bộ ổ khóa được tổ chức (L) bằng bộ bối cảnh trừu tượng của
phương pháp đồng bộ mà có được những ổ khóa tương ứng