Last-Use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract).