//          Copyright Oliver Kowalke 2009.
// 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)

#define BOOST_wqueue_SOURCE

#include <boost/fiber/round_robin.hpp>

#include <algorithm>
#include <cmath>
#include <memory>
#include <utility>

#include <boost/assert.hpp>
#include <boost/bind.hpp>
#include <boost/foreach.hpp>
#include <boost/scope_exit.hpp>
#include <boost/thread/locks.hpp>

#include <boost/fiber/detail/scheduler.hpp>
#include <boost/fiber/exceptions.hpp>
#include <boost/fiber/interruption.hpp>

#ifdef BOOST_HAS_ABI_HEADERS
#  include BOOST_ABI_PREFIX
#endif

namespace boost {
namespace fibers {
namespace detail {

class main_notifier : public detail::notify
{
private:
    atomic< std::size_t >    use_count_;
    mutable atomic< bool >   ready_;

    void add_ref() BOOST_NOEXCEPT
    { ++use_count_; }

    void release_ref()
    { if ( 0 == --use_count_) delete this; }

public:
    main_notifier() :
        use_count_( 0), ready_( false)
    {}

    bool is_ready() const BOOST_NOEXCEPT
    {
        return ready_.exchange( false, memory_order_seq_cst);
    }

    void set_ready() BOOST_NOEXCEPT
    { ready_ = true; }

    friend inline void intrusive_ptr_add_ref( main_notifier * p) BOOST_NOEXCEPT
    { p->add_ref(); }

    friend inline void intrusive_ptr_release( main_notifier * p)
    { p->release_ref(); }
};

}

round_robin::round_robin() :
    active_fiber_(),
    notifier_( new detail::main_notifier() ),
    wqueue_(),
    rqueue_mtx_(),
    rqueue_()
{}

round_robin::~round_robin()
{
#if 0
    BOOST_ASSERT( ! active_fiber_);
    unique_lock< detail::spinlock > lk( rqueue_mtx_);
    BOOST_FOREACH( detail::fiber_base::ptr_t const& p, rqueue_)
    {
        p->release();
    }

    BOOST_FOREACH( detail::fiber_base::ptr_t const& p, wqueue_)
    {
        p->release();
    }
#endif
}

void
round_robin::spawn( detail::fiber_base::ptr_t const& f)
{
    BOOST_ASSERT( f);
    BOOST_ASSERT( f->is_ready() );

    detail::fiber_base::ptr_t tmp = active_fiber_;
    try
    {
        active_fiber_ = f;
        // resume new active fiber
        active_fiber_->set_running();
        active_fiber_->resume();
        BOOST_ASSERT( f == active_fiber_);
    }
    catch (...)
    {
        active_fiber_ = tmp;
        throw;
    }
    active_fiber_ = tmp;
}

bool
round_robin::run()
{
    // loop over waiting queue
    wqueue_t wqueue;
    BOOST_FOREACH( detail::fiber_base::ptr_t const& f, wqueue_)
    {
        BOOST_ASSERT( ! f->is_running() );
        BOOST_ASSERT( ! f->is_terminated() );

        // set fiber to state_ready if interruption was requested
        // or the fiber was woken up
        if ( f->interruption_requested() )
            f->set_ready();
        if ( f->is_ready() )
        {
            unique_lock< detail::spinlock > lk( rqueue_mtx_);
            rqueue_.push_back( f);
        }
        else wqueue.push_back( f);
    }
    // exchange local with global waiting queue
    wqueue_.swap( wqueue);

    // pop new fiber from ready-queue which is not complete
    // (example: fiber in ready-queue could be canceled by active-fiber)
    detail::fiber_base::ptr_t f;
    do
    {
        unique_lock< detail::spinlock > lk( rqueue_mtx_);
        if ( rqueue_.empty() ) return false;
        f.swap( rqueue_.front() );
        rqueue_.pop_front();
        lk.unlock();

        if ( f->is_ready() ) break;
        if ( f->is_waiting() ) wqueue_.push_back( f);
        else BOOST_ASSERT_MSG( false, "fiber with invalid state in ready-queue");
    }
    while ( true);

    // resume fiber
    spawn( f);

    return true;
}

void
round_robin::wait( unique_lock< detail::spinlock > & lk)
{
    BOOST_ASSERT( active_fiber_);
    //FIXME: mabye other threads can change the state of active fiber?
    BOOST_ASSERT( active_fiber_->is_running() );

    // set active_fiber to state_waiting
    active_fiber_->set_waiting();
    // push active fiber to wqueue_
    wqueue_.push_back( active_fiber_);
    // store active fiber in local var
    detail::fiber_base::ptr_t tmp = active_fiber_;
    // release lock
    lk.unlock();
    // suspend fiber
    tmp->suspend();
    // fiber is resumed

    BOOST_ASSERT( tmp->is_running() );
    BOOST_ASSERT( tmp == detail::scheduler::instance().active() );
}

void
round_robin::yield()
{
    BOOST_ASSERT( active_fiber_);
    //FIXME: mabye other threads can change the state of active fiber?
    BOOST_ASSERT( active_fiber_->is_running() );

    // set active fiber to state_waiting
    active_fiber_->set_ready();
    // Note: adding to rqueue_ could result in a raise
    // between adding to rqueue_ and calling yield another
    // thread could steel fiber from rqueue_ and resume it
    // at the same time as yield is called
    wqueue_.push_back( active_fiber_);
    // store active fiber in local var
    detail::fiber_base::ptr_t tmp = active_fiber_;
    // suspend fiber
    tmp->suspend();
    // fiber is resumed

    BOOST_ASSERT( tmp->is_running() );
    BOOST_ASSERT( tmp == detail::scheduler::instance().active() );
}

void
round_robin::join( detail::fiber_base::ptr_t const& f)
{
    BOOST_ASSERT( f);
    BOOST_ASSERT( f != active_fiber_);

    if ( active_fiber_)
    {
        // set active fiber to state_waiting
        active_fiber_->set_waiting();
        // push active fiber to wqueue_
        wqueue_.push_back( active_fiber_);
        // add active fiber to joinig-list of f
        if ( ! f->join( active_fiber_) )
            // f must be already terminated therefore we set
            // active fiber to state_ready
            // FIXME: better state_running and no suspend
            active_fiber_->set_ready();
        // store active fiber in local var
        detail::fiber_base::ptr_t tmp = active_fiber_;
        // suspend fiber until f terminates
        tmp->suspend();
        // fiber is resumed by f

        BOOST_ASSERT( tmp->is_running() );
        BOOST_ASSERT( tmp == detail::scheduler::instance().active() );

        // check if fiber was interrupted
        this_fiber::interruption_point();
    }
    else
    {
        while ( ! f->is_terminated() )
            run();
    }

    // check if joined fiber has an exception
    // rethrow exception if YES
    if ( f->has_exception() ) f->rethrow();

    BOOST_ASSERT( f->is_terminated() );
}

void
round_robin::priority( detail::fiber_base::ptr_t const& f, int prio)
{
    BOOST_ASSERT( f);

    f->priority( prio);
}

detail::notify::ptr_t
round_robin::notifier()
{ return notifier_; }

void
round_robin::migrate_to( fiber const& f)
{
    BOOST_ASSERT( f);

    spawn( detail::scheduler::extract( f) );
}

fiber
round_robin::steel_from()
{
    detail::fiber_base::ptr_t f;

    unique_lock< detail::spinlock > lk( rqueue_mtx_);
    if ( ! rqueue_.empty() )
    {
        f.swap( rqueue_.back() );
        rqueue_.pop_back();
    }
    lk.unlock();

    return fiber( f);
}

}}

#ifdef BOOST_HAS_ABI_HEADERS
#  include BOOST_ABI_SUFFIX
#endif