
http_dyn_workers.pl -- Dynamically schedule HTTP workers.Most code doesn't need to use this directly; instead use library(http/http_server), which combines this library with the typical HTTP libraries that most servers need.
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:
The policy depends on three settings:
http:schedule_workers(+Dict)[multifile]__http_scheduler as the hook is called in time critical code.
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.