package resource-pooling

  1. Overview
  2. Docs
Library for pooling resources like connections, threads, or similar

Install 

dune-project
 Dependency

github.com Edit opam file Versions (9)

Authors

  1. J
    Jan Rochel (BeSport)

Maintainers

  1. J
    Jan Rochel <jan@besport.com>

Sources

0.5.2.tar.gz
md5=22ecba9404b21baf5236967714b1bfbf
sha512=76f8bf781990b63d327f3ae31b6df4f79ff5e5149c4e878bd59627043ae4e5761c5fb03fa6beb83c3c1471603a2a74174d3db8e20add131cd5849db08f79a398

doc/index.html

resource-pooling

API

Library resource-pooling

  • Resource_pool External resource pools.
  • Server_pool This module is built around Resource_pool. While a pool of type Resource_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 call use to access one of the connections, which are served in a round-robin fashion.