Implementation tradeoffs in the design of flexible transactional memory support