proba_push_pull