DARDIS: Distributed and randomized dispatching and scheduling