Concurrency Bug Avoiding Based on Optimized Software Transactional Memory

Figure 4

The mechanism to make system I/O revocable.