The optimistic concurrency control that reads multiple shards cannot use simple CAS. It probably needs to do something like two-phase committing