SynQuake for transactional memory evaluation