This is a very great positive to using atomic blocks - writing code with locks and having to catch exceptions has been the cause of many bugs in the past (forgetting to unlock on those cases, for example). Atomic/transactional blocks are helpful in that on aborts, the write buffer / undo log deals with reverting for us

This makes me wonder how atomic regions deal with memory writes towards peripherals, since writes to memory mapped io might not be undoable like memory writes to memory.