Previous static deadlock detection

Previous static deadlock detection approaches are based
on type systems [3,4], dataflow analyses [1,7,12,13,17,19,
21], or model checking [5, 6, 11] (Section 7). The annotation
burden for type-based approaches is often significant
while model checking approaches currently do not scale to
beyond a few thousand lines of code. Approaches based on
dataflow analysis, on the other hand, have been applied to
large programs but are highly imprecise.

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

Trước tĩnh bế tắc phát hiện phương pháp tiếp cận dựatrên hệ thống kiểu [3,4], phân tích dataflow [1,7,12,13,17,19,21], hoặc mô hình kiểm tra [5, 6, 11] (phần 7). Các chú thíchgánh nặng cho loại dựa trên phương pháp tiếp cận thường xuyên là quan trọngtrong khi mô hình kiểm tra phương pháp tiếp cận hiện nay không quy mô tongoài một vài nghìn dòng mã. Phương pháp tiếp cận dựa trênphân tích dataflow, mặt khác, đã được áp dụng chochương trình lớn nhưng đánh giá cao không chính xác.

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

Phương pháp phát hiện bế tắc tĩnh trước đó được dựa
trên các hệ thống loại [3,4], dataflow phân tích [1,7,12,13,17,19,
21], hoặc mô hình kiểm tra [5, 6, 11] (Phần 7). Các chú thích
gánh nặng cho các cách tiếp cận dựa trên kiểu thường là đáng kể
trong khi các phương pháp kiểm tra mô hình hiện nay không có quy mô đến
vượt quá một vài ngàn dòng mã. Phương pháp tiếp cận dựa trên
phân tích dataflow, mặt khác, đã được áp dụng cho
các chương trình lớn nhưng là rất không chính xác.