A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
LogTM: log-based transactional memory