Early Experience With A Commercial Hardware Transactional Memory Implementation VERIFIED