deluge/libtorrent/include/asio/detail/task_io_service.hpp

420 lines
10 KiB
C++
Raw Normal View History

2007-07-04 08:24:30 +00:00
//
// task_io_service.hpp
// ~~~~~~~~~~~~~~~~~~~
//
2008-03-08 23:47:38 +00:00
// Copyright (c) 2003-2008 Christopher M. Kohlhoff (chris at kohlhoff dot com)
2007-07-04 08:24:30 +00:00
//
// 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)
//
#ifndef ASIO_DETAIL_TASK_IO_SERVICE_HPP
#define ASIO_DETAIL_TASK_IO_SERVICE_HPP
#if defined(_MSC_VER) && (_MSC_VER >= 1200)
# pragma once
#endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
#include "asio/detail/push_options.hpp"
#include "asio/error_code.hpp"
#include "asio/io_service.hpp"
#include "asio/detail/call_stack.hpp"
#include "asio/detail/event.hpp"
#include "asio/detail/handler_alloc_helpers.hpp"
#include "asio/detail/handler_invoke_helpers.hpp"
2007-11-23 23:36:34 +00:00
#include "asio/detail/handler_queue.hpp"
2007-07-04 08:24:30 +00:00
#include "asio/detail/mutex.hpp"
#include "asio/detail/service_base.hpp"
#include "asio/detail/task_io_service_fwd.hpp"
namespace asio {
namespace detail {
template <typename Task>
class task_io_service
: public asio::detail::service_base<task_io_service<Task> >
{
public:
// Constructor.
task_io_service(asio::io_service& io_service)
: asio::detail::service_base<task_io_service<Task> >(io_service),
mutex_(),
task_(use_service<Task>(io_service)),
2007-09-21 00:55:58 +00:00
task_interrupted_(true),
2007-07-04 08:24:30 +00:00
outstanding_work_(0),
stopped_(false),
shutdown_(false),
first_idle_thread_(0)
{
2007-11-23 23:36:34 +00:00
handler_queue_.push(&task_handler_);
2007-07-04 08:24:30 +00:00
}
void init(size_t /*concurrency_hint*/)
{
}
// Destroy all user-defined handler objects owned by the service.
void shutdown_service()
{
asio::detail::mutex::scoped_lock lock(mutex_);
shutdown_ = true;
lock.unlock();
// Destroy handler objects.
2007-11-23 23:36:34 +00:00
while (!handler_queue_.empty())
2007-07-04 08:24:30 +00:00
{
2007-11-23 23:36:34 +00:00
handler_queue::handler* h = handler_queue_.front();
handler_queue_.pop();
2007-07-04 08:24:30 +00:00
if (h != &task_handler_)
h->destroy();
}
// Reset handler queue to initial state.
2007-11-23 23:36:34 +00:00
handler_queue_.push(&task_handler_);
2007-07-04 08:24:30 +00:00
}
// Run the event loop until interrupted or no more work.
size_t run(asio::error_code& ec)
{
typename call_stack<task_io_service>::context ctx(this);
idle_thread_info this_idle_thread;
2007-09-21 00:55:58 +00:00
this_idle_thread.next = 0;
2007-07-04 08:24:30 +00:00
asio::detail::mutex::scoped_lock lock(mutex_);
size_t n = 0;
while (do_one(lock, &this_idle_thread, ec))
if (n != (std::numeric_limits<size_t>::max)())
++n;
return n;
}
// Run until interrupted or one operation is performed.
size_t run_one(asio::error_code& ec)
{
typename call_stack<task_io_service>::context ctx(this);
idle_thread_info this_idle_thread;
2007-09-21 00:55:58 +00:00
this_idle_thread.next = 0;
2007-07-04 08:24:30 +00:00
asio::detail::mutex::scoped_lock lock(mutex_);
return do_one(lock, &this_idle_thread, ec);
}
// Poll for operations without blocking.
size_t poll(asio::error_code& ec)
{
typename call_stack<task_io_service>::context ctx(this);
asio::detail::mutex::scoped_lock lock(mutex_);
size_t n = 0;
while (do_one(lock, 0, ec))
if (n != (std::numeric_limits<size_t>::max)())
++n;
return n;
}
// Poll for one operation without blocking.
size_t poll_one(asio::error_code& ec)
{
typename call_stack<task_io_service>::context ctx(this);
asio::detail::mutex::scoped_lock lock(mutex_);
return do_one(lock, 0, ec);
}
// Interrupt the event processing loop.
void stop()
{
asio::detail::mutex::scoped_lock lock(mutex_);
2007-09-21 00:55:58 +00:00
stop_all_threads(lock);
2007-07-04 08:24:30 +00:00
}
// Reset in preparation for a subsequent run invocation.
void reset()
{
asio::detail::mutex::scoped_lock lock(mutex_);
stopped_ = false;
}
// Notify that some work has started.
void work_started()
{
asio::detail::mutex::scoped_lock lock(mutex_);
++outstanding_work_;
}
// Notify that some work has finished.
void work_finished()
{
asio::detail::mutex::scoped_lock lock(mutex_);
if (--outstanding_work_ == 0)
2007-09-21 00:55:58 +00:00
stop_all_threads(lock);
2007-07-04 08:24:30 +00:00
}
// Request invocation of the given handler.
template <typename Handler>
void dispatch(Handler handler)
{
if (call_stack<task_io_service>::contains(this))
asio_handler_invoke_helpers::invoke(handler, &handler);
else
post(handler);
}
// Request invocation of the given handler and return immediately.
template <typename Handler>
void post(Handler handler)
{
// Allocate and construct an operation to wrap the handler.
2007-11-23 23:36:34 +00:00
handler_queue::scoped_ptr ptr(handler_queue::wrap(handler));
2007-07-04 08:24:30 +00:00
asio::detail::mutex::scoped_lock lock(mutex_);
// If the service has been shut down we silently discard the handler.
if (shutdown_)
return;
// Add the handler to the end of the queue.
2007-11-23 23:36:34 +00:00
handler_queue_.push(ptr.get());
2007-07-04 08:24:30 +00:00
ptr.release();
// An undelivered handler is treated as unfinished work.
++outstanding_work_;
// Wake up a thread to execute the handler.
2007-09-21 00:55:58 +00:00
if (!interrupt_one_idle_thread(lock))
{
if (!task_interrupted_)
{
task_interrupted_ = true;
2007-07-04 08:24:30 +00:00
task_.interrupt();
2007-09-21 00:55:58 +00:00
}
}
2007-07-04 08:24:30 +00:00
}
private:
struct idle_thread_info;
size_t do_one(asio::detail::mutex::scoped_lock& lock,
idle_thread_info* this_idle_thread, asio::error_code& ec)
{
if (outstanding_work_ == 0 && !stopped_)
{
2007-09-21 00:55:58 +00:00
stop_all_threads(lock);
2007-07-04 08:24:30 +00:00
ec = asio::error_code();
return 0;
}
bool polling = !this_idle_thread;
bool task_has_run = false;
while (!stopped_)
{
2007-11-23 23:36:34 +00:00
if (!handler_queue_.empty())
2007-07-04 08:24:30 +00:00
{
// Prepare to execute first handler from queue.
2007-11-23 23:36:34 +00:00
handler_queue::handler* h = handler_queue_.front();
handler_queue_.pop();
2007-07-04 08:24:30 +00:00
if (h == &task_handler_)
{
2007-11-23 23:36:34 +00:00
bool more_handlers = (!handler_queue_.empty());
2007-09-21 00:55:58 +00:00
task_interrupted_ = more_handlers || polling;
2007-07-04 08:24:30 +00:00
// If the task has already run and we're polling then we're done.
if (task_has_run && polling)
{
2007-11-23 23:36:34 +00:00
task_interrupted_ = true;
handler_queue_.push(&task_handler_);
2007-07-04 08:24:30 +00:00
ec = asio::error_code();
return 0;
}
task_has_run = true;
2007-11-23 23:36:34 +00:00
lock.unlock();
2007-07-04 08:24:30 +00:00
task_cleanup c(lock, *this);
// Run the task. May throw an exception. Only block if the handler
// queue is empty and we have an idle_thread_info object, otherwise
// we want to return as soon as possible.
task_.run(!more_handlers && !polling);
}
else
{
2007-09-21 00:55:58 +00:00
lock.unlock();
2007-07-04 08:24:30 +00:00
handler_cleanup c(lock, *this);
// Invoke the handler. May throw an exception.
2007-11-23 23:36:34 +00:00
h->invoke(); // invoke() deletes the handler object
2007-07-04 08:24:30 +00:00
ec = asio::error_code();
return 1;
}
}
else if (this_idle_thread)
{
// Nothing to run right now, so just wait for work to do.
2007-09-21 00:55:58 +00:00
this_idle_thread->next = first_idle_thread_;
2007-07-04 08:24:30 +00:00
first_idle_thread_ = this_idle_thread;
2007-09-21 00:55:58 +00:00
this_idle_thread->wakeup_event.clear(lock);
this_idle_thread->wakeup_event.wait(lock);
2007-07-04 08:24:30 +00:00
}
else
{
ec = asio::error_code();
return 0;
}
}
ec = asio::error_code();
return 0;
}
// Stop the task and all idle threads.
2007-09-21 00:55:58 +00:00
void stop_all_threads(
asio::detail::mutex::scoped_lock& lock)
2007-07-04 08:24:30 +00:00
{
stopped_ = true;
2007-09-21 00:55:58 +00:00
interrupt_all_idle_threads(lock);
if (!task_interrupted_)
{
task_interrupted_ = true;
2007-07-04 08:24:30 +00:00
task_.interrupt();
2007-09-21 00:55:58 +00:00
}
2007-07-04 08:24:30 +00:00
}
// Interrupt a single idle thread. Returns true if a thread was interrupted,
// false if no running thread could be found to interrupt.
2007-09-21 00:55:58 +00:00
bool interrupt_one_idle_thread(
asio::detail::mutex::scoped_lock& lock)
2007-07-04 08:24:30 +00:00
{
if (first_idle_thread_)
{
2007-09-21 00:55:58 +00:00
idle_thread_info* idle_thread = first_idle_thread_;
first_idle_thread_ = idle_thread->next;
idle_thread->next = 0;
idle_thread->wakeup_event.signal(lock);
2007-07-04 08:24:30 +00:00
return true;
}
return false;
}
// Interrupt all idle threads.
2007-09-21 00:55:58 +00:00
void interrupt_all_idle_threads(
asio::detail::mutex::scoped_lock& lock)
2007-07-04 08:24:30 +00:00
{
2007-09-21 00:55:58 +00:00
while (first_idle_thread_)
2007-07-04 08:24:30 +00:00
{
2007-09-21 00:55:58 +00:00
idle_thread_info* idle_thread = first_idle_thread_;
first_idle_thread_ = idle_thread->next;
idle_thread->next = 0;
idle_thread->wakeup_event.signal(lock);
2007-07-04 08:24:30 +00:00
}
}
2007-11-23 23:36:34 +00:00
// Helper class to perform task-related operations on block exit.
2007-07-04 08:24:30 +00:00
class task_cleanup;
friend class task_cleanup;
class task_cleanup
{
public:
task_cleanup(asio::detail::mutex::scoped_lock& lock,
task_io_service& task_io_svc)
: lock_(lock),
task_io_service_(task_io_svc)
{
}
~task_cleanup()
{
// Reinsert the task at the end of the handler queue.
lock_.lock();
2007-09-21 00:55:58 +00:00
task_io_service_.task_interrupted_ = true;
2007-11-23 23:36:34 +00:00
task_io_service_.handler_queue_.push(&task_io_service_.task_handler_);
2007-07-04 08:24:30 +00:00
}
private:
asio::detail::mutex::scoped_lock& lock_;
task_io_service& task_io_service_;
};
// Helper class to perform handler-related operations on block exit.
class handler_cleanup;
friend class handler_cleanup;
class handler_cleanup
{
public:
handler_cleanup(asio::detail::mutex::scoped_lock& lock,
task_io_service& task_io_svc)
: lock_(lock),
task_io_service_(task_io_svc)
{
}
~handler_cleanup()
{
lock_.lock();
if (--task_io_service_.outstanding_work_ == 0)
2007-09-21 00:55:58 +00:00
task_io_service_.stop_all_threads(lock_);
2007-07-04 08:24:30 +00:00
}
private:
asio::detail::mutex::scoped_lock& lock_;
task_io_service& task_io_service_;
};
// Mutex to protect access to internal data.
asio::detail::mutex mutex_;
// The task to be run by this service.
Task& task_;
// Handler object to represent the position of the task in the queue.
class task_handler
2007-11-23 23:36:34 +00:00
: public handler_queue::handler
2007-07-04 08:24:30 +00:00
{
public:
task_handler()
2007-11-23 23:36:34 +00:00
: handler_queue::handler(0, 0)
2007-07-04 08:24:30 +00:00
{
}
} task_handler_;
2007-09-21 00:55:58 +00:00
// Whether the task has been interrupted.
bool task_interrupted_;
2007-07-04 08:24:30 +00:00
// The count of unfinished work.
int outstanding_work_;
2007-11-23 23:36:34 +00:00
// The queue of handlers that are ready to be delivered.
handler_queue handler_queue_;
2007-07-04 08:24:30 +00:00
// Flag to indicate that the dispatcher has been stopped.
bool stopped_;
// Flag to indicate that the dispatcher has been shut down.
bool shutdown_;
// Structure containing information about an idle thread.
struct idle_thread_info
{
event wakeup_event;
idle_thread_info* next;
};
// The number of threads that are currently idle.
idle_thread_info* first_idle_thread_;
};
} // namespace detail
} // namespace asio
#include "asio/detail/pop_options.hpp"
#endif // ASIO_DETAIL_TASK_IO_SERVICE_HPP