do_purchase completed without dirty read