2
0
mirror of https://github.com/boostorg/fiber.git synced 2026-02-18 14:02:18 +00:00
Files
fiber/src/mutex.cpp
2013-11-05 16:13:29 +01:00

139 lines
2.9 KiB
C++

// Copyright Oliver Kowalke 2013.
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
#include "boost/fiber/mutex.hpp"
#include <algorithm>
#include <boost/assert.hpp>
#include "boost/fiber/detail/scheduler.hpp"
#include "boost/fiber/interruption.hpp"
#include "boost/fiber/operations.hpp"
#ifdef BOOST_HAS_ABI_HEADERS
# include BOOST_ABI_PREFIX
#endif
namespace boost {
namespace fibers {
mutex::mutex() :
splk_(),
state_( UNLOCKED),
owner_(),
waiting_()
{}
mutex::~mutex()
{
BOOST_ASSERT( ! owner_);
BOOST_ASSERT( waiting_.empty() );
}
void
mutex::lock()
{
detail::notify::ptr_t n( detail::scheduler::instance()->active() );
if ( n)
{
for (;;)
{
unique_lock< detail::spinlock > lk( splk_);
if ( UNLOCKED == state_)
{
state_ = LOCKED;
BOOST_ASSERT( ! owner_);
owner_ = this_fiber::get_id();
return;
}
// store this fiber in order to be notified later
waiting_.push_back( n);
// suspend this fiber
detail::scheduler::instance()->wait( lk);
}
}
else
{
// local notification for main-fiber
detail::scheduler::local_context ctx;
n = detail::scheduler::make_notification( ctx);
for (;;)
{
unique_lock< detail::spinlock > lk( splk_);
if ( UNLOCKED == state_)
{
state_ = LOCKED;
BOOST_ASSERT( ! owner_);
owner_ = this_fiber::get_id();
return;
}
// store this fiber in order to be notified later
waiting_.push_back( n);
lk.unlock();
// wait until main-fiber gets notified
while ( ! n->is_ready() )
{
// run scheduler
detail::scheduler::instance()->run();
}
}
}
}
bool
mutex::try_lock()
{
unique_lock< detail::spinlock > lk( splk_);
if ( UNLOCKED == state_)
{
state_ = LOCKED;
BOOST_ASSERT( ! owner_);
owner_ = this_fiber::get_id();
return true;
}
else
{
lk.unlock();
// let other fiber release the lock
detail::scheduler::instance()->yield();
return false;
}
}
void
mutex::unlock()
{
BOOST_ASSERT( LOCKED == state_);
BOOST_ASSERT( this_fiber::get_id() == owner_);
detail::notify::ptr_t n;
unique_lock< detail::spinlock > lk( splk_);
if ( ! waiting_.empty() )
{
n.swap( waiting_.front() );
waiting_.pop_front();
}
owner_ = detail::fiber_base::id();
state_ = UNLOCKED;
lk.unlock();
if ( n) n->set_ready();
}
}}
#ifdef BOOST_HAS_ABI_HEADERS
# include BOOST_ABI_SUFFIX
#endif