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).
| Bug | Deadlock type | Avoiding result | Convoider | Grace | Dimmunix | Slider |
| Bug#1 | mutex deadlock | | | | | Bug#2 | mutex deadlock | | | | | Bug#3 | mutex deadlock | | | | | Bug#4 | mutex deadlock | | | | | Bug#5 | mixed deadlock | | | | | Bug#6 | rwlock deadlock | | | | | Bug#7 | mutex deadlock | | | | | Bug#8 | mutex deadlock | | | | | Bug#9 | acyclic deadlock | | | | |
|
|