Library for pooling resources like connections, threads, or similar
This package provides the following libraries (via dune):
Resource_pooling.Resource_poolExternal resource pools.
Resource_pooling.Server_poolThis module is built around
Resource_pool. While a pool of type
Resource_pool.tmanages a number of resources, here we manage a cluster of such pools. A typical use case would be a cluster of servers, where for each server we maintain a number of connections. A user of this module can call
useto access one of the connections, which are served in a round-robin fashion.
Dependencies: lwt, lwt_log