Our algorithm is based on sound and

Our algorithm is based on sound and unsound approximations
of our six necessary conditions (Section 3.2). Effectively
approximating these conditions needs precise callgraph
and points-to information—we use a form of combined
call-graph and may-alias analysis called k-objectsensitive
analysis [14] (Section 3.1). Finally, to improve
usability, our algorithm generates and groups counterexamples
to explain the deadlocks it detects (Section 3.3).

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

Thuật toán của chúng tôi dựa trên âm thanh và unsound xấp xỉchúng tôi điều kiện cần thiết sáu (phần 3.2). Có hiệu quảsố các điều kiện cần chính xác callgraphvà điểm đến thông tin-chúng tôi sử dụng một hình thức kết hợpđồ thị gọi và bí danh có thể phân tích được gọi là k-objectsensitivephân tích [14] (phần 3.1). Cuối cùng, để cải thiệnkhả năng sử dụng, thuật toán của chúng tôi tạo ra và nhóm counterexamplesđể giải thích các deadlocks phát hiện (phần 3.3).

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

Thuật toán của chúng tôi dựa trên âm thanh và xấp xỉ không lành mạnh
của sáu điều kiện cần thiết của chúng tôi (mục 3.2). Hiệu quả
xấp xỉ những điều kiện cần callgraph chính xác
và các điểm đến thông tin chúng tôi sử dụng một hình thức kết hợp
gọi đồ thị và phân tích may-alias gọi k-objectsensitive
phân tích [14] (mục 3.1). Cuối cùng, để cải thiện
khả năng sử dụng, thuật toán của chúng tôi tạo ra và nhóm counterexamples
để giải thích sự bế tắc nó phát hiện (mục 3.3).