An efficient software transactional memory using commit-time invalidation