By default all workers defined via proof.conf or xpd.worker are assigned to each session. It is possible to assign only a sub-set of workers to the session by using the option 'wmx' of the xpd.schedparam directive. The way the sub-set is chosen out of the whole set of avalable workers is either round-robin or random.