These provide uninterruptable and atomic updates on basic data types, and are implemented using the aforementioned hardware instructions.
