task.c revision b286683ae86ec4b4f213775b5daf2c00ece4f493
/*
* Copyright (C) 2004-2010 Internet Systems Consortium, Inc. ("ISC")
* Copyright (C) 1998-2003 Internet Software Consortium.
*
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
* REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
* AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
* INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
* LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
* OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
* PERFORMANCE OF THIS SOFTWARE.
*/
/* $Id: task.c,v 1.114 2010/12/04 13:25:59 marka Exp $ */
/*! \file
* \author Principal Author: Bob Halley
*/
/*
* XXXRTH Need to document the states a task can be in, and the rules
* for changing states.
*/
#include <config.h>
#include <isc/condition.h>
#include <isc/platform.h>
#ifdef OPENSSL_LEAKS
#endif
/*%
* For BIND9 internal applications:
* when built with threads we use multiple worker threads shared by the whole
* application.
* when built without threads we share a single global task manager and use
* an integrated event loop for socket, timer, and other generic task events.
* For generic library:
* we don't use either of them: an application can have multiple task managers
* whether or not it's threaded, and if the application is threaded each thread
* is expected to have a separate manager; no "worker threads" are shared by
* the application threads.
*/
#ifdef BIND9
#ifdef ISC_PLATFORM_USETHREADS
#define USE_WORKER_THREADS
#else
#define USE_SHARED_MANAGER
#endif /* ISC_PLATFORM_USETHREADS */
#endif /* BIND9 */
#ifndef USE_WORKER_THREADS
#include "task_p.h"
#endif /* USE_WORKER_THREADS */
#ifdef ISC_TASK_TRACE
task, isc_thread_self(), (m))
(t), isc_thread_self(), (m))
isc_thread_self(), (m))
#else
#define XTRACE(m)
#define XTTRACE(t, m)
#define XTHREADTRACE(m)
#endif
/***
*** Types.
***/
typedef enum {
} task_state_t;
#if defined(HAVE_LIBXML2) && defined(BIND9)
static const char *statenames[] = {
"idle", "ready", "running", "done",
};
#endif
typedef struct isc__task isc__task_t;
typedef struct isc__taskmgr isc__taskmgr_t;
struct isc__task {
/* Not locked. */
/* Locked by task lock. */
unsigned int references;
unsigned int quantum;
unsigned int flags;
char name[16];
void * tag;
/* Locked by task manager lock. */
};
#define TASK_F_SHUTTINGDOWN 0x01
!= 0)
struct isc__taskmgr {
/* Not locked. */
#ifdef ISC_PLATFORM_USETHREADS
unsigned int workers;
#endif /* ISC_PLATFORM_USETHREADS */
/* Locked by task manager lock. */
unsigned int default_quantum;
#ifdef ISC_PLATFORM_USETHREADS
#endif /* ISC_PLATFORM_USETHREADS */
unsigned int tasks_running;
#ifdef USE_SHARED_MANAGER
unsigned int refs;
#endif /* ISC_PLATFORM_USETHREADS */
};
#define DEFAULT_TASKMGR_QUANTUM 10
#define DEFAULT_DEFAULT_QUANTUM 5
#ifdef USE_SHARED_MANAGER
#endif /* USE_SHARED_MANAGER */
/*%
* The following can be either static or public, depending on build environment.
*/
#ifdef BIND9
#define ISC_TASKFUNC_SCOPE
#else
#define ISC_TASKFUNC_SCOPE static
#endif
isc_task_t **taskp);
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE unsigned int
ISC_TASKFUNC_SCOPE unsigned int
void *tag);
ISC_TASKFUNC_SCOPE unsigned int
ISC_TASKFUNC_SCOPE unsigned int
const void *arg);
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE const char *
ISC_TASKFUNC_SCOPE void *
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE void
ISC_TASKFUNC_SCOPE void
static struct isc__taskmethods {
/*%
* The following are defined just for avoiding unused static functions.
*/
#ifndef BIND9
void *purgeevent, *unsendrange,
#endif
} taskmethods = {
{
}
#ifndef BIND9
,
(void *)isc__task_purgeevent, (void *)isc__task_unsendrange,
(void *)isc__task_getname, (void *)isc__task_gettag,
(void *)isc__task_getcurrenttime, (void *)isc__task_beginexclusive,
(void *)isc__task_endexclusive
#endif
};
static isc_taskmgrmethods_t taskmgrmethods = {
};
/***
*** Tasks.
***/
static void
XTRACE("task_finished");
#ifdef USE_WORKER_THREADS
/*
* All tasks have completed and the
* task manager is exiting. Wake up
* any idle worker threads so they
* can exit.
*/
}
#endif /* USE_WORKER_THREADS */
}
isc_task_t **taskp)
{
return (ISC_R_NOMEMORY);
XTRACE("isc_task_create");
if (result != ISC_R_SUCCESS) {
return (result);
}
} else
if (exiting) {
return (ISC_R_SHUTTINGDOWN);
}
return (ISC_R_SUCCESS);
}
ISC_TASKFUNC_SCOPE void
/*
* Attach *targetp to source.
*/
source->references++;
}
static inline isc_boolean_t
/*
* Caller must be holding the task's lock.
*/
XTRACE("task_shutdown");
if (! TASK_SHUTTINGDOWN(task)) {
ISC_MSG_SHUTTINGDOWN, "shutting down"));
}
/*
* Note that we post shutdown events LIFO.
*/
}
}
return (was_idle);
}
static inline void
XTRACE("task_ready");
#ifdef USE_WORKER_THREADS
#endif /* USE_WORKER_THREADS */
}
static inline isc_boolean_t
/*
* Caller must be holding the task lock.
*/
XTRACE("detach");
task->references--;
/*
* There are no references to this task, and no
* pending events. We could try to optimize and
* either initiate shutdown or clean up the task,
* depending on its state, but it's easier to just
* make the task ready and allow run() or the event
* loop to deal with shutting down and termination.
*/
return (ISC_TRUE);
}
return (ISC_FALSE);
}
ISC_TASKFUNC_SCOPE void
/*
* Detach *taskp from its task.
*/
XTRACE("isc_task_detach");
if (was_idle)
}
static inline isc_boolean_t
/*
* Caller must be holding the task lock.
*/
XTRACE("task_send");
}
return (was_idle);
}
ISC_TASKFUNC_SCOPE void
/*
* Send '*event' to 'task'.
*/
XTRACE("isc_task_send");
/*
* We're trying hard to hold locks for as short a time as possible.
* We're also trying to hold as few locks as possible. This is why
* some processing is deferred until after the lock is released.
*/
if (was_idle) {
/*
* We need to add this task to the ready queue.
*
* We've waited until now to do it because making a task
* ready requires locking the manager. If we tried to do
* this while holding the task lock, we could deadlock.
*
* We've changed the state to ready, so no one else will
* be trying to add this task to the ready queue. The
* only way to leave the ready state is by executing the
* task. It thus doesn't matter if events are added,
* removed, or a shutdown is started in the interval
* between the time we released the task lock, and the time
* we add the task to the ready queue.
*/
}
}
ISC_TASKFUNC_SCOPE void
/*
* Send '*event' to '*taskp' and then detach '*taskp' from its
* task.
*/
XTRACE("isc_task_sendanddetach");
/*
* If idle1, then idle2 shouldn't be true as well since we're holding
* the task lock, and thus the task cannot switch from ready back to
* idle.
*/
}
static unsigned int
{
unsigned int count = 0;
XTRACE("dequeue_events");
/*
* Events matching 'sender', whose type is >= first and <= last, and
* whose tag is 'tag' will be dequeued. If 'purging', matching events
* which are marked as unpurgable will not be dequeued.
*
* sender == NULL means "any sender", and tag == NULL means "any tag".
*/
count++;
}
}
return (count);
}
ISC_TASKFUNC_SCOPE unsigned int
{
unsigned int count;
/*
* Purge events from a task's event queue.
*/
XTRACE("isc_task_purgerange");
ISC_TRUE);
}
/*
* Note that purging never changes the state of the task.
*/
return (count);
}
ISC_TASKFUNC_SCOPE unsigned int
void *tag)
{
/*
* Purge events from a task's event queue.
*/
XTRACE("isc_task_purge");
}
/*
* Purge 'event' from a task's event queue.
*
* XXXRTH: WARNING: This method may be removed before beta.
*/
/*
* If 'event' is on the task's event queue, it will be purged,
* unless it is marked as unpurgeable. 'event' does not have to be
* on the task's event queue; in fact, it can even be an invalid
* pointer. Purging only occurs if the event is actually on the task's
* event queue.
*
* Purging never changes the state of the task.
*/
curr_event != NULL;
curr_event = next_event) {
break;
}
}
if (curr_event == NULL)
return (ISC_FALSE);
return (ISC_TRUE);
}
ISC_TASKFUNC_SCOPE unsigned int
{
/*
* Remove events from a task's event queue.
*/
XTRACE("isc_task_unsendrange");
}
ISC_TASKFUNC_SCOPE unsigned int
{
/*
* Remove events from a task's event queue.
*/
XTRACE("isc_task_unsend");
}
const void *arg)
{
/*
* Send a shutdown event with action 'action' and argument 'arg' when
* 'task' is shutdown.
*/
NULL,
arg,
sizeof(*event));
return (ISC_R_NOMEMORY);
if (TASK_SHUTTINGDOWN(task)) {
} else
if (disallowed)
return (result);
}
ISC_TASKFUNC_SCOPE void
/*
* Shutdown 'task'.
*/
if (was_idle)
}
ISC_TASKFUNC_SCOPE void
/*
* Destroy '*taskp'.
*/
}
ISC_TASKFUNC_SCOPE void
/*
* Name 'task'.
*/
}
ISC_TASKFUNC_SCOPE const char *
}
ISC_TASKFUNC_SCOPE void *
}
ISC_TASKFUNC_SCOPE void
}
/***
*** Task Manager.
***/
static void
#ifndef USE_WORKER_THREADS
unsigned int total_dispatch_count = 0;
#endif /* USE_WORKER_THREADS */
/*
* Again we're trying to hold the lock for as short a time as possible
* and to do as little locking and unlocking as possible.
*
* In both while loops, the appropriate lock must be held before the
* while body starts. Code which acquired the lock at the top of
* the loop would be more readable, but would result in a lot of
* extra locking. Compare:
*
* Straightforward:
*
* LOCK();
* ...
* UNLOCK();
* while (expression) {
* LOCK();
* ...
* UNLOCK();
*
* Unlocked part here...
*
* LOCK();
* ...
* UNLOCK();
* }
*
* Note how if the loop continues we unlock and then immediately lock.
* For N iterations of the loop, this code does 2N+1 locks and 2N+1
* unlocks. Also note that the lock is not held when the while
* condition is tested, which may or may not be important, depending
* on the expression.
*
* As written:
*
* LOCK();
* while (expression) {
* ...
* UNLOCK();
*
* Unlocked part here...
*
* LOCK();
* ...
* }
* UNLOCK();
*
* For N iterations of the loop, this code does N+1 locks and N+1
* unlocks. The while expression is always protected by the lock.
*/
#ifndef USE_WORKER_THREADS
#endif
#ifdef USE_WORKER_THREADS
/*
* For reasons similar to those given in the comment in
* isc_task_send() above, it is safe for us to dequeue
* the task while only holding the manager lock, and then
* change the task to running state while only holding the
* task lock.
*/
{
ISC_MSG_WAIT, "wait"));
ISC_MSG_AWAKE, "awake"));
}
#else /* USE_WORKER_THREADS */
if (total_dispatch_count >= DEFAULT_TASKMGR_QUANTUM ||
break;
#endif /* USE_WORKER_THREADS */
ISC_MSG_WORKING, "working"));
unsigned int dispatch_count = 0;
/*
* Note we only unlock the manager lock if we actually
* have a task to do. We must reacquire the manager
* lock before exiting the 'if (task != NULL)' block.
*/
manager->tasks_running++;
ISC_MSG_RUNNING, "running"));
do {
/*
* Execute the event action.
*/
"execute action"));
(isc_task_t *)task,
event);
}
#ifndef USE_WORKER_THREADS
#endif /* USE_WORKER_THREADS */
}
if (task->references == 0 &&
!TASK_SHUTTINGDOWN(task)) {
/*
* There are no references and no
* pending events for this task,
* which means it will not become
* runnable again via an external
* action (such as sending an event
* or detaching).
*
* We initiate shutdown to prevent
* it from becoming a zombie.
*
* We do this here instead of in
* the "if EMPTY(task->events)" block
* below because:
*
* If we post no shutdown events,
* we want the task to finish.
*
* If we did post shutdown events,
* will still want the task's
* quantum to be applied.
*/
}
/*
* Nothing else to do for this task
* right now.
*/
"empty"));
if (task->references == 0 &&
/*
* The task is done.
*/
"done"));
} else
/*
* Our quantum has expired, but
* there is more work to be done.
* We'll requeue it to the ready
* queue later.
*
* We don't check quantum until
* dispatching at least one event,
* so the minimum quantum is one.
*/
"quantum"));
}
} while (!done);
if (finished)
manager->tasks_running--;
#ifdef USE_WORKER_THREADS
if (manager->exclusive_requested &&
}
#endif /* USE_WORKER_THREADS */
if (requeue) {
/*
* We know we're awake, so we don't have
* to wakeup any sleeping threads if the
* ready queue is empty before we requeue.
*
* A possible optimization if the queue is
* empty is to 'goto' the 'if (task != NULL)'
* block, avoiding the ENQUEUE of the task
* and the subsequent immediate DEQUEUE
* (since it is the only executable task).
* We don't do this because then we'd be
* skipping the exit_requested check. The
* cost of ENQUEUE is low anyway, especially
* when you consider that we'd have to do
* an extra EMPTY check to see if we could
* do the optimization. If the ready queue
* were usually nonempty, the 'optimization'
* might even hurt rather than help.
*/
#ifdef USE_WORKER_THREADS
#else
#endif
}
}
}
#ifndef USE_WORKER_THREADS
#endif
}
#ifdef USE_WORKER_THREADS
static isc_threadresult_t
#ifdef _WIN32
#endif
ISC_MSG_STARTING, "starting"));
ISC_MSG_EXITING, "exiting"));
#ifdef OPENSSL_LEAKS
ERR_remove_state(0);
#endif
return ((isc_threadresult_t)0);
}
#endif /* USE_WORKER_THREADS */
static void
#ifdef USE_WORKER_THREADS
#endif /* USE_WORKER_THREADS */
#ifdef USE_SHARED_MANAGER
#endif /* USE_SHARED_MANAGER */
}
{
unsigned int i, started = 0;
/*
* Create a new task manager.
*/
#ifndef USE_WORKER_THREADS
UNUSED(i);
#endif
#ifdef USE_SHARED_MANAGER
return (ISC_R_SUCCESS);
}
#endif /* USE_SHARED_MANAGER */
return (ISC_R_NOMEMORY);
if (result != ISC_R_SUCCESS)
goto cleanup_mgr;
#ifdef USE_WORKER_THREADS
workers * sizeof(isc_thread_t));
goto cleanup_lock;
}
"isc_condition_init() %s",
ISC_MSG_FAILED, "failed"));
goto cleanup_threads;
}
"isc_condition_init() %s",
ISC_MSG_FAILED, "failed"));
goto cleanup_workavailable;
}
#endif /* USE_WORKER_THREADS */
if (default_quantum == 0)
manager->tasks_running = 0;
#ifdef USE_WORKER_THREADS
/*
* Start workers.
*/
for (i = 0; i < workers; i++) {
started++;
}
}
if (started == 0) {
return (ISC_R_NOTHREADS);
}
#endif /* USE_WORKER_THREADS */
#ifdef USE_SHARED_MANAGER
#endif /* USE_SHARED_MANAGER */
return (ISC_R_SUCCESS);
#ifdef USE_WORKER_THREADS
#endif
return (result);
}
ISC_TASKFUNC_SCOPE void
unsigned int i;
/*
* Destroy '*managerp'.
*/
#ifndef USE_WORKER_THREADS
UNUSED(i);
#endif /* USE_WORKER_THREADS */
#ifdef USE_SHARED_MANAGER
return;
}
#endif
XTHREADTRACE("isc_taskmgr_destroy");
/*
* Only one non-worker thread may ever call this routine.
* If a worker thread wants to initiate shutdown of the
* task manager, it should ask some non-worker thread to call
* isc_taskmgr_destroy(), e.g. by signalling a condition variable
* that the startup thread is sleeping on.
*/
/*
* Unlike elsewhere, we're going to hold this lock a long time.
* We need to do so, because otherwise the list of tasks could
* change while we were traversing it.
*
* This is also the only function where we will hold both the
* task manager lock and a task lock at the same time.
*/
/*
* Make sure we only get called once.
*/
/*
* Post shutdown event(s) to every task (if they haven't already been
* posted).
*/
if (task_shutdown(task))
}
#ifdef USE_WORKER_THREADS
/*
* Wake up any sleeping workers. This ensures we get work done if
* there's work left to do, and if there are already no tasks left
* it will cause the workers to see manager->exiting.
*/
/*
* Wait for all the worker threads to exit.
*/
#else /* USE_WORKER_THREADS */
/*
* Dispatch the shutdown events.
*/
#ifdef BIND9
#endif
#endif /* USE_WORKER_THREADS */
}
#ifndef USE_WORKER_THREADS
#ifdef USE_SHARED_MANAGER
#endif
return (ISC_FALSE);
}
#ifdef USE_SHARED_MANAGER
#endif
return (ISC_R_NOTFOUND);
return (ISC_R_SUCCESS);
}
#endif /* USE_WORKER_THREADS */
#ifdef USE_WORKER_THREADS
if (manager->exclusive_requested) {
return (ISC_R_LOCKBUSY);
}
}
#else
#endif
return (ISC_R_SUCCESS);
}
ISC_TASKFUNC_SCOPE void
#ifdef USE_WORKER_THREADS
#else
#endif
}
#ifdef USE_SOCKETIMPREGISTER
return (isc_task_register(isc__taskmgr_create));
}
#endif
isc_task_exiting(isc_task_t *t) {
return (TASK_SHUTTINGDOWN(task));
}
#if defined(HAVE_LIBXML2) && defined(BIND9)
void
/*
* Write out the thread-model, and some details about each depending
* on which type is enabled.
*/
#ifdef ISC_PLATFORM_USETHREADS
#else /* ISC_PLATFORM_USETHREADS */
#endif /* ISC_PLATFORM_USETHREADS */
}
}
}
#endif /* HAVE_LIBXML2 && BIND9 */