The common case transactional behavior of multithreaded programs