Previous work on deadlock detection

Previous work on deadlock detection for shared-memory
multi-threaded programs includes static approaches based
on type systems, dataflow analysis, or model checking, as
well as dynamic approaches Conclusion

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

Các công việc trước đây bế tắc phát hiện cho bộ nhớ chia sẻ-ren chương trình bao gồm các phương pháp tiếp cận tĩnh dựaloại hệ thống, phân tích dataflow, hoặc mô hình kiểm tra, nhưcũng như các phương pháp tiếp cận năng động kết luận

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

Nghiên cứu trước đây về phát hiện bế tắc cho chia sẻ bộ nhớ
chương trình đa luồng bao gồm các phương pháp tĩnh dựa
trên các hệ thống loại, phân tích dataflow, hoặc kiểm tra mô hình, như
cũng như cách tiếp cận năng động Kết luận