Actually, while the write itself is generally atomic, most systems don't guarantee that the entire increment operation is (for performance reasons). And since

Actually, while the write itself is generally atomic, most systems don't guarantee that the entire increment operation is (for performance reasons). And since abort still needs to work even without locks and on every platform...