Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Figure 10

The pseudocode of bug#24.