2016-02-23 14:00:59 +00:00
|
|
|
|
#pragma once
|
2023-04-01 03:18:41 +00:00
|
|
|
|
///@file
|
2016-02-23 14:00:59 +00:00
|
|
|
|
|
|
|
|
|
#include <functional>
|
2016-02-23 15:40:16 +00:00
|
|
|
|
#include <limits>
|
|
|
|
|
#include <list>
|
|
|
|
|
#include <memory>
|
|
|
|
|
#include <cassert>
|
2016-02-23 14:00:59 +00:00
|
|
|
|
|
|
|
|
|
#include "sync.hh"
|
|
|
|
|
#include "ref.hh"
|
|
|
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
|
2023-03-27 01:12:25 +00:00
|
|
|
|
/**
|
|
|
|
|
* This template class implements a simple pool manager of resources
|
|
|
|
|
* of some type R, such as database connections. It is used as
|
|
|
|
|
* follows:
|
|
|
|
|
*
|
|
|
|
|
* class Connection { ... };
|
|
|
|
|
*
|
|
|
|
|
* Pool<Connection> pool;
|
|
|
|
|
*
|
|
|
|
|
* {
|
|
|
|
|
* auto conn(pool.get());
|
|
|
|
|
* conn->exec("select ...");
|
|
|
|
|
* }
|
|
|
|
|
*
|
|
|
|
|
* Here, the Connection object referenced by ‘conn’ is automatically
|
|
|
|
|
* returned to the pool when ‘conn’ goes out of scope.
|
|
|
|
|
*/
|
2016-02-23 14:00:59 +00:00
|
|
|
|
template <class R>
|
|
|
|
|
class Pool
|
|
|
|
|
{
|
|
|
|
|
public:
|
|
|
|
|
|
2023-03-27 01:12:25 +00:00
|
|
|
|
/**
|
|
|
|
|
* A function that produces new instances of R on demand.
|
|
|
|
|
*/
|
2016-02-23 14:00:59 +00:00
|
|
|
|
typedef std::function<ref<R>()> Factory;
|
|
|
|
|
|
2023-03-27 01:12:25 +00:00
|
|
|
|
/**
|
|
|
|
|
* A function that checks whether an instance of R is still
|
|
|
|
|
* usable. Unusable instances are removed from the pool.
|
|
|
|
|
*/
|
2016-02-24 10:39:56 +00:00
|
|
|
|
typedef std::function<bool(const ref<R> &)> Validator;
|
|
|
|
|
|
2016-02-23 14:00:59 +00:00
|
|
|
|
private:
|
|
|
|
|
|
|
|
|
|
Factory factory;
|
2016-02-24 10:39:56 +00:00
|
|
|
|
Validator validator;
|
2016-02-23 14:00:59 +00:00
|
|
|
|
|
|
|
|
|
struct State
|
|
|
|
|
{
|
2016-02-23 15:40:16 +00:00
|
|
|
|
size_t inUse = 0;
|
|
|
|
|
size_t max;
|
|
|
|
|
std::vector<ref<R>> idle;
|
2016-02-23 14:00:59 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
Sync<State> state;
|
|
|
|
|
|
2016-02-24 12:31:46 +00:00
|
|
|
|
std::condition_variable wakeup;
|
2016-02-23 15:40:16 +00:00
|
|
|
|
|
2016-02-23 14:00:59 +00:00
|
|
|
|
public:
|
|
|
|
|
|
2016-02-24 12:07:32 +00:00
|
|
|
|
Pool(size_t max = std::numeric_limits<size_t>::max(),
|
2016-02-24 10:39:56 +00:00
|
|
|
|
const Factory & factory = []() { return make_ref<R>(); },
|
|
|
|
|
const Validator & validator = [](ref<R> r) { return true; })
|
2016-02-23 14:00:59 +00:00
|
|
|
|
: factory(factory)
|
2016-02-24 10:39:56 +00:00
|
|
|
|
, validator(validator)
|
2016-02-23 15:40:16 +00:00
|
|
|
|
{
|
|
|
|
|
auto state_(state.lock());
|
|
|
|
|
state_->max = max;
|
|
|
|
|
}
|
|
|
|
|
|
2017-04-26 16:38:16 +00:00
|
|
|
|
void incCapacity()
|
|
|
|
|
{
|
|
|
|
|
auto state_(state.lock());
|
|
|
|
|
state_->max++;
|
|
|
|
|
/* we could wakeup here, but this is only used when we're
|
|
|
|
|
* about to nest Pool usages, and we want to save the slot for
|
|
|
|
|
* the nested use if we can
|
|
|
|
|
*/
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void decCapacity()
|
|
|
|
|
{
|
|
|
|
|
auto state_(state.lock());
|
|
|
|
|
state_->max--;
|
|
|
|
|
}
|
|
|
|
|
|
2016-02-23 15:40:16 +00:00
|
|
|
|
~Pool()
|
|
|
|
|
{
|
|
|
|
|
auto state_(state.lock());
|
|
|
|
|
assert(!state_->inUse);
|
|
|
|
|
state_->max = 0;
|
|
|
|
|
state_->idle.clear();
|
|
|
|
|
}
|
2016-02-23 14:00:59 +00:00
|
|
|
|
|
|
|
|
|
class Handle
|
|
|
|
|
{
|
|
|
|
|
private:
|
|
|
|
|
Pool & pool;
|
2016-02-23 15:40:16 +00:00
|
|
|
|
std::shared_ptr<R> r;
|
2024-04-05 01:52:34 +00:00
|
|
|
|
bool bad = false;
|
2016-02-23 14:00:59 +00:00
|
|
|
|
|
|
|
|
|
friend Pool;
|
|
|
|
|
|
|
|
|
|
Handle(Pool & pool, std::shared_ptr<R> r) : pool(pool), r(r) { }
|
|
|
|
|
|
2024-03-21 22:50:10 +00:00
|
|
|
|
public:
|
|
|
|
|
Handle(Handle && h) : pool(h.pool), r(h.r) { h.r.reset(); }
|
|
|
|
|
|
|
|
|
|
Handle(const Handle & l) = delete;
|
|
|
|
|
|
|
|
|
|
~Handle()
|
|
|
|
|
{
|
2024-04-05 01:51:52 +00:00
|
|
|
|
if (!r) return;
|
|
|
|
|
{
|
|
|
|
|
auto state_(pool.state.lock());
|
2024-04-05 01:52:51 +00:00
|
|
|
|
if (!bad)
|
2024-04-05 01:51:52 +00:00
|
|
|
|
state_->idle.push_back(ref<R>(r));
|
|
|
|
|
assert(state_->inUse);
|
|
|
|
|
state_->inUse--;
|
|
|
|
|
}
|
|
|
|
|
pool.wakeup.notify_one();
|
2016-02-23 14:00:59 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
R * operator -> () { return &*r; }
|
|
|
|
|
R & operator * () { return *r; }
|
2024-04-05 01:52:34 +00:00
|
|
|
|
|
|
|
|
|
void markBad() { bad = true; }
|
2016-02-23 14:00:59 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
Handle get()
|
|
|
|
|
{
|
|
|
|
|
{
|
|
|
|
|
auto state_(state.lock());
|
2016-02-23 15:40:16 +00:00
|
|
|
|
|
|
|
|
|
/* If we're over the maximum number of instance, we need
|
|
|
|
|
to wait until a slot becomes available. */
|
|
|
|
|
while (state_->idle.empty() && state_->inUse >= state_->max)
|
|
|
|
|
state_.wait(wakeup);
|
|
|
|
|
|
2016-02-24 10:39:56 +00:00
|
|
|
|
while (!state_->idle.empty()) {
|
2016-02-23 14:00:59 +00:00
|
|
|
|
auto p = state_->idle.back();
|
|
|
|
|
state_->idle.pop_back();
|
2016-02-24 10:39:56 +00:00
|
|
|
|
if (validator(p)) {
|
|
|
|
|
state_->inUse++;
|
|
|
|
|
return Handle(*this, p);
|
|
|
|
|
}
|
2016-02-23 14:00:59 +00:00
|
|
|
|
}
|
2016-02-23 15:40:16 +00:00
|
|
|
|
|
|
|
|
|
state_->inUse++;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* We need to create a new instance. Because that might take a
|
|
|
|
|
while, we don't hold the lock in the meantime. */
|
|
|
|
|
try {
|
|
|
|
|
Handle h(*this, factory());
|
|
|
|
|
return h;
|
|
|
|
|
} catch (...) {
|
|
|
|
|
auto state_(state.lock());
|
|
|
|
|
state_->inUse--;
|
2017-03-03 18:21:43 +00:00
|
|
|
|
wakeup.notify_one();
|
2016-02-23 15:40:16 +00:00
|
|
|
|
throw;
|
2016-02-23 14:00:59 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-03-03 18:05:50 +00:00
|
|
|
|
size_t count()
|
2016-02-23 14:00:59 +00:00
|
|
|
|
{
|
|
|
|
|
auto state_(state.lock());
|
2016-02-24 12:07:32 +00:00
|
|
|
|
return state_->idle.size() + state_->inUse;
|
2016-02-23 14:00:59 +00:00
|
|
|
|
}
|
2017-03-03 18:05:50 +00:00
|
|
|
|
|
|
|
|
|
size_t capacity()
|
|
|
|
|
{
|
|
|
|
|
return state.lock()->max;
|
|
|
|
|
}
|
2016-02-23 14:00:59 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
}
|