Concurrent code and expensive instructions

You are quite right, incrementing by any constant (and especially the constant zero!) guarantees linearizability.

And I agree that it can make a lot of sense to apply distributed-system algorithms to shared-memory systems, especially to the fastpath portions of shared-memory systems.