
http_dyn_workers.pl -- Dynamically schedule HTTP workers.This module defines hooks into the HTTP framework to dynamically schedule worker threads. Dynamic scheduling relieves us from finding a good value for the size of the HTTP worker pool.
The decision to add a worker follows these rules:
http:schedule_workers(+Dict)[multifile]
reschedule(+Message, +State0, -State) is semidet[private]
accept_queue(+Dict, -Queue)[private]queue is a member of the provided dict. For older
versions we need a hack.