Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning‐based approach-Reference-Cited by-同舟云学术

Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning‐based approach

Published:2019-05-09 Issue:10 Volume:32 Page:
ISSN:1532-0626
Container-title:Concurrency and Computation: Practice and Experience
language:en
Short-container-title:Concurrency Computat Pract Exper

Author:

Ghorbani Mehrdad¹,Babamir Seyed Morteza¹^ORCID

Affiliation:

1. Department of Computer EngineeringUniversity of Kashan Kashan Iran

Publisher

Wiley

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/cpe.5324

Reference23 articles.

1. A randomized dynamic program analysis technique for detecting real deadlocks

2. JulaH TralamazzaD ZamfirC CandeaG.Deadlock immunity: Enabling systems to defend against deadlocks. Paper presented at: 8th USENIX Conference on Operating Systems Design and Implementation;2008;San Diego CA.

3. JezekK HolyL SlezacekA BradaP.Software components compatibility verification based on static byte‐code analysis. Paper presented at: 39th Euromicro Conference on Software Engineering and Advanced Applications;2013;Santander Spain.

4. RacerX: effective, static detection of race conditions and deadlocks;Engler D;Race,2003

5. Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Petri Net Unfolding-Based Detection and Replay of Program Deadlocks;IEEE Access;2024

2. TemLock: A Lightweight Template-based Approach for Fixing Deadlocks Caused by ReentrantLock;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03

3. Latest advances in parallel, distributed, and network‐based processing;Concurrency and Computation: Practice and Experience;2020-02-11