Making the fast case common and the uncommon case simple in unbounded transactional memory