A simple deterministic algorithm for guaranteeing the forward progress of transactions