tree d3f68fcd60156887b4cff884a5392cbb63ff225d
parent e3b148266a8ab1219fe952bdac9b006e767f44a8
author Mircea Trofin <mtrofin@google.com> 1655863913 -0700
committer Mircea Trofin <mtrofin@google.com> 1656118267 -0700

Use dask for worker management.

The intention is to make the middleware replaceable, but under
assumptions that are strongly Dask-inspired.