Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Figure 11

The pseudocode of bug#29.