Reordering push and rmi