package resource-pooling
Library for pooling resources like connections, threads, or similar
Install
Dune Dependency
Authors
Maintainers
Sources
0.6.tar.gz
md5=b6942cd4659ebd9227d0742024aa9d9d
sha512=2da07942c1adc09f60f493330ea67b6577c8bea13a9a70ac90f0ff29041bc3a88a9ea261e87864c6b1348076ba046b989ce39f59aa6d725395634b326e85e26d
doc/index.html
resource-pooling
API
Library resource-pooling
Resource_pool
External resource pools.Server_pool
This module is built aroundResource_pool
. While a pool of typeResource_pool.t
manages 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 calluse
to access one of the connections, which are served in a round-robin fashion.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page