Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Figure 7

The pseudocode of bug#9: two threads wait on two condvars.