Computing with Reads and Writes in the Absence of Step Contention