Fri 19 Jul 2019 11:15 - 11:45 at Bouzy - Session 1 Chair(s): Sung-Shik Jongmans

Deadlocks are one of the most complex problems in concurrent programming because they significantly affect program reliability. In this study, we present a Deadlock Detector and Solver (DDS), a novel approach for detecting and resolving deadlocks during the execution of multithreaded Java programs. These programs typically rely on mutually exclusive locks to synchronize access to shared data structures. A supervisory controller running alongside the monitored program automatically detects deadlocks caused by hold-and-wait cycles involving mutex locks. Recovery from a deadlock uses a preemptive strategy, forcing one of the deadlocked threads to release its lock. The lock is returned to the thread when it is safe to do so. Empirical evaluations of the DDS show that it incurs a reasonable run-time overhead, never exceeding 18% of the original program’s run-time, and it is usually much lower than that.

Fri 19 Jul

vortex-2019-papers
10:30 - 12:10: VORTEX 2019 - Session 1 at Bouzy
Chair(s): Sung-Shik JongmansOpen University of the Netherlands
vortex-2019-papers10:30 - 11:15
Talk
Giles RegerUniversity of Manchester
vortex-2019-papers11:15 - 11:45
Talk
Eman AldakheelUniversity of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy
Pre-print
vortex-2019-papers11:45 - 12:15
Talk
Luca FranceschiniDIBRIS, University of Genova, Italy
Pre-print