The JDK contains many classes (e.g.

The JDK contains many classes (e.g. java.util.Vector)
with synchronized methods. When such objects cannot be
accessed by more than one thread, they cannot participate
in a deadlock. Thus, for a tuple (t
a
, l
a
1
, l
a
2
, t
b
, l
b
1
, l
b
2
) to be
a deadlock our escaping condition must be satisfied: Can a
lock acquired at l
a
1 be accessible from more than one thread
(and similarly for each of l
a
2
, l
b
1
, l
b
2
)?
We approximate this condition using a thread-escape
analysis. Our application of this analysis to static deadlock
detection appears novel and we quantify the need for it in
our experiments (Section 5).

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

JDK chứa rất nhiều các lớp học (ví dụ: java.util.Vector)với phương pháp đồng bộ. Khi các đối tượng như vậy không thểtruy cập bởi nhiều hơn một thread, họ không thể tham giatrong một bế tắc. Vì vậy, cho một tuple (tmột, lmột1, lmột2, tb, lb1, lb2) đểmột bế tắc của chúng tôi điều kiện thoát phải được hài lòng: có thể mộtkhóa được mua tại lmột1 có thể truy cập từ nhiều hơn một thread(và tương tự như vậy cho mỗi số lmột2, lb1, lb2)?Chúng tôi xác định tình trạng này bằng cách sử dụng thread thoátphân tích. Chúng tôi áp dụng các phân tích này để tĩnh bế tắcphát hiện xuất hiện cuốn tiểu thuyết và chúng tôi định lượng cần thiết cho nó trongthí nghiệm của chúng tôi (phần 5).

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

JDK chứa nhiều lớp học (ví dụ như java.util.Vector)
với phương pháp đồng bộ. Khi đối tượng như vậy không thể được
truy cập bởi nhiều hơn một chủ đề, họ không thể tham gia
vào một bế tắc. Như vậy, đối với một bộ (t
một
, l
một
1
, l
một
2
, t
b
, l
b
1
, l
b
2
) là
một bế tắc tình trạng thoát của chúng ta phải được thỏa mãn: Có thể một
khóa mua ở l
một
1 có thể truy cập từ nhiều hơn một thread
(và tương tự cho mỗi l
một
2
, l
b
1
, l
b
2
)?
Chúng tôi gần đúng tình trạng này bằng cách sử dụng thread-thoát
phân tích. Ứng dụng của chúng tôi phân tích này để bế tắc tĩnh
phát hiện xuất hiện cuốn tiểu thuyết và chúng tôi xác định số lượng cần thiết của nó trong
các thí nghiệm của chúng tôi (Phần 5).