implement ATOMIC-UPDATE