Transactional Memory (Synthesis Lectures on Computer Architecture)