total ordering holdback queue implementation