0
0
Fork 0
mirror of https://github.com/matrix-construct/construct synced 2024-11-16 06:51:08 +01:00
construct/include/ircd/ctx/shared_mutex.h

471 lines
8.2 KiB
C
Raw Normal View History

2018-02-04 03:22:01 +01:00
// Matrix Construct
//
// Copyright (C) Matrix Construct Developers, Authors & Contributors
// Copyright (C) 2016-2018 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. The
// full license for this software is available in the LICENSE file.
2017-09-28 09:06:00 +02:00
#pragma once
#define HAVE_IRCD_CTX_SHARED_MUTEX_H
namespace ircd::ctx
{
class shared_mutex;
}
2020-02-25 01:44:15 +01:00
struct ircd::ctx::shared_mutex
2017-09-28 09:06:00 +02:00
{
dock q;
ctx *u;
ssize_t s;
2017-09-28 09:06:00 +02:00
public:
bool unique() const;
bool upgrade() const;
size_t shares() const;
size_t waiting() const;
bool can_lock() const;
bool can_lock_shared() const;
bool can_lock_upgrade() const;
2017-09-28 09:06:00 +02:00
bool try_lock();
bool try_lock_shared();
bool try_lock_upgrade();
template<class time_point> bool try_lock_until(time_point&&);
template<class time_point> bool try_lock_shared_until(time_point&&);
template<class time_point> bool try_lock_upgrade_until(time_point&&);
template<class duration> bool try_lock_for(duration&&);
template<class duration> bool try_lock_shared_for(duration&&);
template<class duration> bool try_lock_upgrade_for(duration&&);
void lock();
void lock_shared();
void lock_upgrade();
bool try_unlock_shared_and_lock();
bool try_unlock_shared_and_lock_upgrade();
bool try_unlock_upgrade_and_lock();
template<class time_point> bool try_unlock_shared_and_lock_until(time_point&&);
template<class time_point> bool try_unlock_shared_and_lock_upgrade_until(time_point&&);
template<class time_point> bool try_unlock_upgrade_and_lock_until(time_point&&);
template<class duration> bool try_unlock_shared_and_lock_for(duration&&);
template<class duration> bool try_unlock_shared_and_lock_upgrade_for(duration&&);
template<class duration> bool try_unlock_upgrade_and_lock_for(duration&&);
void unlock();
void unlock_shared();
void unlock_upgrade();
void unlock_and_lock_shared();
void unlock_and_lock_upgrade();
void unlock_upgrade_and_lock();
void unlock_upgrade_and_lock_shared();
shared_mutex();
shared_mutex(shared_mutex &&) noexcept;
shared_mutex(const shared_mutex &) = delete;
shared_mutex &operator=(shared_mutex &&) noexcept;
shared_mutex &operator=(const shared_mutex &) = delete;
2017-09-28 09:06:00 +02:00
~shared_mutex() noexcept;
};
inline
ircd::ctx::shared_mutex::shared_mutex()
:u{nullptr}
,s{0}
2017-09-28 09:06:00 +02:00
{
}
inline
ircd::ctx::shared_mutex::shared_mutex(shared_mutex &&o)
noexcept
:q{std::move(o.q)}
,u{std::move(o.u)}
,s{std::move(o.s)}
{
o.s = 0;
o.u = nullptr;
}
inline
ircd::ctx::shared_mutex &
ircd::ctx::shared_mutex::operator=(shared_mutex &&o)
noexcept
{
this->~shared_mutex();
q = std::move(o.q);
u = std::move(o.u);
s = std::move(o.s);
o.s = 0;
o.u = nullptr;
return *this;
}
2017-09-28 09:06:00 +02:00
inline
ircd::ctx::shared_mutex::~shared_mutex()
noexcept
{
assert(!u);
assert(s == 0);
assert(q.empty());
}
inline void
ircd::ctx::shared_mutex::unlock_upgrade_and_lock_shared()
{
assert(u == current);
assert(s >= 0);
u = nullptr;
++s;
q.notify_one();
2017-09-28 09:06:00 +02:00
}
inline void
ircd::ctx::shared_mutex::unlock_upgrade_and_lock()
{
assert(current);
assert(u == current);
q.wait([this]
{
return can_lock();
});
2017-09-28 09:06:00 +02:00
s = std::numeric_limits<decltype(s)>::min();
}
inline void
ircd::ctx::shared_mutex::unlock_and_lock_upgrade()
{
assert(current);
assert(u == current);
assert(s == std::numeric_limits<decltype(s)>::min());
2017-09-28 09:06:00 +02:00
s = 0;
}
inline void
ircd::ctx::shared_mutex::unlock_and_lock_shared()
{
assert(current);
assert(u == current);
assert(s == std::numeric_limits<decltype(s)>::min());
2017-09-28 09:06:00 +02:00
s = 1;
q.notify_one();
2017-09-28 09:06:00 +02:00
}
inline void
ircd::ctx::shared_mutex::unlock_upgrade()
{
assert(current);
assert(u == current);
u = nullptr;
q.notify_one();
2017-09-28 09:06:00 +02:00
}
inline void
ircd::ctx::shared_mutex::unlock_shared()
{
assert(s > 0);
2017-09-28 09:06:00 +02:00
--s;
q.notify_one();
2017-09-28 09:06:00 +02:00
}
inline void
ircd::ctx::shared_mutex::unlock()
{
assert(current);
assert(u == current);
assert(s == std::numeric_limits<decltype(s)>::min());
2017-09-28 09:06:00 +02:00
s = 0;
q.notify_all();
2017-09-28 09:06:00 +02:00
}
template<class duration>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_unlock_upgrade_and_lock_for(duration&& d)
{
return try_unlock_upgrade_and_lock_until(system_clock::now() + d);
2017-09-28 09:06:00 +02:00
}
template<class duration>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_unlock_shared_and_lock_upgrade_for(duration&& d)
{
return try_unlock_shared_and_lock_upgrade_until(system_clock::now() + d);
2017-09-28 09:06:00 +02:00
}
template<class duration>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_unlock_shared_and_lock_for(duration&& d)
{
return try_unlock_shared_and_lock_until(system_clock::now() + d);
2017-09-28 09:06:00 +02:00
}
template<class time_point>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_unlock_upgrade_and_lock_until(time_point&& tp)
{
assert(0);
return false;
}
template<class time_point>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_unlock_shared_and_lock_upgrade_until(time_point&& tp)
{
assert(0);
return false;
}
template<class time_point>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_unlock_shared_and_lock_until(time_point&& tp)
{
assert(0);
return false;
}
inline bool
ircd::ctx::shared_mutex::try_unlock_upgrade_and_lock()
{
if(!try_lock())
return false;
return true;
}
inline bool
ircd::ctx::shared_mutex::try_unlock_shared_and_lock_upgrade()
{
if(!try_lock_upgrade())
return false;
--s;
return true;
}
inline bool
ircd::ctx::shared_mutex::try_unlock_shared_and_lock()
{
assert(current);
2017-09-28 09:06:00 +02:00
if(s != 1)
return false;
assert(!u);
u = current;
s = std::numeric_limits<decltype(s)>::min();
2017-09-28 09:06:00 +02:00
return true;
}
inline void
ircd::ctx::shared_mutex::lock_upgrade()
{
assert(current);
q.wait([this]
{
return can_lock_upgrade();
});
2017-09-28 09:06:00 +02:00
u = current;
2017-09-28 09:06:00 +02:00
}
inline void
ircd::ctx::shared_mutex::lock_shared()
{
q.wait([this]
{
return can_lock_shared();
});
2017-09-28 09:06:00 +02:00
++s;
2017-09-28 09:06:00 +02:00
}
inline void
ircd::ctx::shared_mutex::lock()
{
assert(current);
q.wait([this]
{
return can_lock();
});
2017-09-28 09:06:00 +02:00
u = current;
s = std::numeric_limits<decltype(s)>::min();
2017-09-28 09:06:00 +02:00
}
template<class duration>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_lock_upgrade_for(duration&& d)
{
return try_lock_upgrade_until(system_clock::now() + d);
2017-09-28 09:06:00 +02:00
}
template<class duration>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_lock_shared_for(duration&& d)
{
return try_lock_shared_until(system_clock::now() + d);
2017-09-28 09:06:00 +02:00
}
template<class duration>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_lock_for(duration&& d)
{
return try_lock_until(system_clock::now() + d);
2017-09-28 09:06:00 +02:00
}
template<class time_point>
inline bool
ircd::ctx::shared_mutex::try_lock_upgrade_until(time_point&& tp)
2017-09-28 09:06:00 +02:00
{
assert(current);
const bool can_lock_upgrade
{
q.wait_until(tp, [this]
{
return this->can_lock_upgrade();
})
};
if(can_lock_upgrade)
u = current;
return can_lock_upgrade;
2017-09-28 09:06:00 +02:00
}
template<class time_point>
inline bool
ircd::ctx::shared_mutex::try_lock_shared_until(time_point&& tp)
2017-09-28 09:06:00 +02:00
{
assert(current);
const bool can_lock_shared
{
q.wait_until(tp, [this]
{
return this->can_lock_shared();
})
};
if(can_lock_shared)
++s;
return can_lock_shared;
2017-09-28 09:06:00 +02:00
}
template<class time_point>
inline bool
2017-09-28 09:06:00 +02:00
ircd::ctx::shared_mutex::try_lock_until(time_point&& tp)
{
assert(current);
const bool can_lock
2017-09-28 09:06:00 +02:00
{
q.wait_until(tp, [this]
2017-09-28 09:06:00 +02:00
{
return this->can_lock();
})
};
2017-09-28 09:06:00 +02:00
if(can_lock)
{
u = current;
s = std::numeric_limits<decltype(s)>::min();
}
return can_lock;
2017-09-28 09:06:00 +02:00
}
inline bool
ircd::ctx::shared_mutex::try_lock_upgrade()
{
assert(current);
if(can_lock_upgrade())
{
u = current;
return true;
}
else return false;
}
inline bool
ircd::ctx::shared_mutex::try_lock_shared()
{
++s;
return s >= 0;
}
inline bool
ircd::ctx::shared_mutex::try_lock()
{
assert(current);
if(can_lock())
{
u = current;
s = std::numeric_limits<decltype(s)>::min();
return true;
}
else return false;
}
inline bool
ircd::ctx::shared_mutex::can_lock_upgrade()
const
2017-09-28 09:06:00 +02:00
{
assert(u || can_lock_shared());
return !u;
2017-09-28 09:06:00 +02:00
}
inline bool
ircd::ctx::shared_mutex::can_lock_shared()
const
2017-09-28 09:06:00 +02:00
{
return s >= 0;
}
inline bool
ircd::ctx::shared_mutex::can_lock()
const
2017-09-28 09:06:00 +02:00
{
return s == 0 && (!u || u == current);
2017-09-28 09:06:00 +02:00
}
inline size_t
ircd::ctx::shared_mutex::waiting()
const
{
return q.size();
}
inline size_t
ircd::ctx::shared_mutex::shares()
const
{
return std::max(s, ssize_t(0));
}
inline bool
ircd::ctx::shared_mutex::upgrade()
const
{
return u;
}
inline bool
ircd::ctx::shared_mutex::unique()
const
{
return s == std::numeric_limits<decltype(s)>::min();
}