(solution) The strategy of allowing processes that are logically runnable to