added deterministic scheduler