2016-09-19 07:43:24 +02:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2016 Charybdis Development Team
|
|
|
|
* Copyright (C) 2016 Jason Volk <jason@zemos.net>
|
|
|
|
*
|
|
|
|
* Permission to use, copy, modify, and/or distribute this software for any
|
|
|
|
* purpose with or without fee is hereby granted, provided that the above
|
|
|
|
* copyright notice and this permission notice is present in all copies.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
|
|
|
* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
|
|
|
|
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
|
|
* DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT,
|
|
|
|
* INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
|
|
|
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
|
|
|
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
|
|
|
|
* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
|
|
|
|
* IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
|
|
* POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
#define HAVE_IRCD_CTX_MUTEX_H
|
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
namespace ircd::ctx
|
|
|
|
{
|
|
|
|
class mutex;
|
2017-12-23 23:25:52 +01:00
|
|
|
|
|
|
|
template<class queue> void release_sequence(queue &);
|
2017-08-28 23:51:22 +02:00
|
|
|
}
|
2016-09-19 07:43:24 +02:00
|
|
|
|
2017-08-28 23:51:22 +02:00
|
|
|
//
|
|
|
|
// The mutex only allows one context to lock it and continue,
|
|
|
|
// additional contexts are queued. This can be used with std::
|
|
|
|
// locking concepts.
|
|
|
|
//
|
|
|
|
class ircd::ctx::mutex
|
2016-09-19 07:43:24 +02:00
|
|
|
{
|
|
|
|
bool m;
|
2018-01-14 08:18:42 +01:00
|
|
|
list q;
|
2016-09-19 07:43:24 +02:00
|
|
|
|
|
|
|
public:
|
|
|
|
bool try_lock();
|
|
|
|
template<class time_point> bool try_lock_until(const time_point &);
|
|
|
|
template<class duration> bool try_lock_for(const duration &);
|
|
|
|
|
|
|
|
void lock();
|
|
|
|
void unlock();
|
|
|
|
|
|
|
|
mutex();
|
|
|
|
~mutex() noexcept;
|
|
|
|
};
|
|
|
|
|
|
|
|
inline
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::mutex::mutex():
|
2016-09-19 07:43:24 +02:00
|
|
|
m(false)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
inline
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::mutex::~mutex()
|
2016-09-19 07:43:24 +02:00
|
|
|
noexcept
|
|
|
|
{
|
|
|
|
assert(!m);
|
|
|
|
assert(q.empty());
|
|
|
|
}
|
|
|
|
|
|
|
|
inline void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::mutex::unlock()
|
2016-09-19 07:43:24 +02:00
|
|
|
{
|
2017-09-30 08:06:23 +02:00
|
|
|
assert(m);
|
2016-09-19 07:43:24 +02:00
|
|
|
m = false;
|
2017-12-23 23:25:52 +01:00
|
|
|
release_sequence(q);
|
2016-09-19 07:43:24 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
inline void
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::mutex::lock()
|
2016-09-19 07:43:24 +02:00
|
|
|
{
|
|
|
|
if(likely(try_lock()))
|
|
|
|
return;
|
|
|
|
|
2018-01-14 08:18:42 +01:00
|
|
|
q.push_back(current);
|
2016-09-19 07:43:24 +02:00
|
|
|
while(!try_lock())
|
|
|
|
wait();
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class duration>
|
|
|
|
bool
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::mutex::try_lock_for(const duration &d)
|
2016-09-19 07:43:24 +02:00
|
|
|
{
|
|
|
|
return try_lock_until(steady_clock::now() + d);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class time_point>
|
|
|
|
bool
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::mutex::try_lock_until(const time_point &tp)
|
2016-09-19 07:43:24 +02:00
|
|
|
{
|
|
|
|
if(likely(try_lock()))
|
|
|
|
return true;
|
|
|
|
|
2018-01-14 08:18:42 +01:00
|
|
|
q.push_back(current);
|
2016-09-19 07:43:24 +02:00
|
|
|
while(!try_lock())
|
|
|
|
{
|
|
|
|
if(unlikely(wait_until<std::nothrow_t>(tp)))
|
|
|
|
{
|
2018-01-14 08:18:42 +01:00
|
|
|
q.remove(current);
|
2016-09-19 07:43:24 +02:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline bool
|
2017-08-28 23:51:22 +02:00
|
|
|
ircd::ctx::mutex::try_lock()
|
2016-09-19 07:43:24 +02:00
|
|
|
{
|
|
|
|
if(m)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
m = true;
|
|
|
|
return true;
|
|
|
|
}
|
2017-12-23 23:25:52 +01:00
|
|
|
|
|
|
|
template<class queue>
|
|
|
|
void
|
|
|
|
ircd::ctx::release_sequence(queue &q)
|
|
|
|
{
|
|
|
|
ctx *next; do
|
|
|
|
{
|
|
|
|
if(!q.empty())
|
|
|
|
{
|
|
|
|
next = q.front();
|
|
|
|
q.pop_front();
|
|
|
|
}
|
|
|
|
else next = nullptr;
|
|
|
|
}
|
|
|
|
while(next == current);
|
|
|
|
|
|
|
|
if(next)
|
|
|
|
yield(*next);
|
|
|
|
}
|