DARDIS: Distributed and randomized DIspatching and scheduling