Research Article

Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Table 6

Deadlock avoidance results by Convoider, Grace, Dimmunix, and Slider (: success; : failure; : wrong output).

BugDeadlock typeAvoiding result
ConvoiderGraceDimmunixSlider

Bug#1mutex deadlock
Bug#2mutex deadlock
Bug#3mutex deadlock
Bug#4mutex deadlock
Bug#5mixed deadlock
Bug#6rwlock deadlock
Bug#7mutex deadlock
Bug#8mutex deadlock
Bug#9acyclic deadlock