systems requiring immediate read-after-write consistency are hard