Safe Writes, Idempotency, and Concurrent Updates