Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Figure 8

The pseudocode of bug#15.