Thrifty-malloc: A HW/SW codesign for the dynamic management of hardware transactional memory in embedded multicore systems