We present an effective static dead

We present an effective static deadlock detection algorithm
for Java. Our algorithm uses a novel combination of
static analyses each of which approximates a different necessary
condition for a deadlock. We have implemented the
algorithm and report upon our experience applying it to a
suite of multi-threaded Java programs. While neither sound
nor complete, our approach is effective in practice, finding
all known deadlocks as well as discovering previously unknown
ones in our benchmarks with few false alarms.

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

Chúng tôi trình bày một thuật toán phát hiện hiệu quả bế tắc tĩnhcho Java. Thuật toán của chúng tôi sử dụng một sự kết hợp mới lạtĩnh phân tích mỗi trong số đó xấp xỉ cần thiết khác nhauđiều kiện để một bế tắc. Chúng tôi đã thực hiện cácthuật toán và báo cáo theo kinh nghiệm của chúng tôi áp dụng nó vào mộtbộ chương trình Java đa luồng. Trong khi không phải âm thanhcũng không hoàn chỉnh, phương pháp tiếp cận của chúng tôi là có hiệu quả trong thực tế, việc tìm kiếmTất cả được biết đến deadlocks cũng như khám phá trước đây không rõnhững người trong tiêu chuẩn của chúng tôi với vài báo động sai.

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

Chúng tôi trình bày một thuật toán phát hiện bế tắc tĩnh hiệu quả
cho Java. Thuật toán của chúng tôi sử dụng một sự kết hợp mới lạ của
tĩnh phân tích từng trong đó xấp xỉ một cần thiết khác nhau
điều kiện cho một bế tắc. Chúng tôi đã thực hiện các
thuật toán và báo cáo dựa trên kinh nghiệm của chúng tôi áp dụng nó vào một
bộ các chương trình đa luồng Java. Trong khi không có âm thanh
cũng không hoàn chỉnh, cách tiếp cận của chúng tôi là hiệu quả trong thực tế, việc tìm kiếm
tất cả các bế tắc tiếng cũng như khám phá trước đó chưa biết
những người thân trong các tiêu chuẩn của chúng tôi với vài báo động sai.