Low-overhead software transactional memory with progress guarantees and strong semantics