Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Figure 12

The pseudocode of bug#30.