MetaTM/TxLinux: Transactional Memory for an Operating System | IEEE Journals & Magazine | IEEE Xplore