Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

<table class="table-group" id="tab9"><tr><td><table class="table"><tr><td class="thead-hr" colspan="3"><hr/></td></tr><tr class="thead"><td class="align_left" rowspan="2">Bug</td><td class="align_center" colspan="2">Avoiding result</td></tr><tr class="thead"><td class="align_center">Convoider</td><td class="align_center">Grace</td></tr><tr><td class="thead-hr" colspan="3"><hr/></td></tr><tr><td class="align_left">Bug#29</td><td class="align_center"><object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.002.svgz" name="9404323.tab-inline.002" type="image/svg+xml"></object></td><td class="align_center"><object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.002.svgz" name="9404323.tab-inline.002" type="image/svg+xml"></object></td></tr><tr><td class="align_left">Bug#30</td><td class="align_center"><object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.001.svgz" name="9404323.tab-inline.001" type="image/svg+xml"></object></td><td class="align_center"><object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.001.svgz" name="9404323.tab-inline.001" type="image/svg+xml"></object></td></tr><tr><td class="align_left">Bug#31</td><td class="align_center"><object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.001.svgz" name="9404323.tab-inline.001" type="image/svg+xml"></object></td><td class="align_center"><object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.001.svgz" name="9404323.tab-inline.001" type="image/svg+xml"></object></td></tr><tr class="table-tr"><td colspan="3"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Order violation results by Convoider and Grace (<object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.001.svgz" name="9404323.tab-inline.001" type="image/svg+xml"></object>: success; <object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.002.svgz" name="9404323.tab-inline.002" type="image/svg+xml"></object>: failure; <object data="https://static.hindawi.com/articles/sp/volume-2019/9404323/figures/9404323.tab-inline.003.svgz" name="9404323.tab-inline.003" type="image/svg+xml"></object>: wrong output).</div>

Scientific Programming

tab9

Table 9

Table 9: Concurrency Bug Avoiding Based on Optimized Software Transactional Memory 