The semantics of progress in lock-based transactional memory