099429aa32
Reviewed by: dfr Approved by: re (kib)
324 lines
9.5 KiB
Groff
324 lines
9.5 KiB
Groff
.\" -*- nroff -*-
|
|
.\"
|
|
.\" Copyright (c) 2000 Doug Rabson
|
|
.\"
|
|
.\" All rights reserved.
|
|
.\"
|
|
.\" This program is free software.
|
|
.\"
|
|
.\" Redistribution and use in source and binary forms, with or without
|
|
.\" modification, are permitted provided that the following conditions
|
|
.\" are met:
|
|
.\" 1. Redistributions of source code must retain the above copyright
|
|
.\" notice, this list of conditions and the following disclaimer.
|
|
.\" 2. Redistributions in binary form must reproduce the above copyright
|
|
.\" notice, this list of conditions and the following disclaimer in the
|
|
.\" documentation and/or other materials provided with the distribution.
|
|
.\"
|
|
.\" THIS SOFTWARE IS PROVIDED BY THE DEVELOPERS ``AS IS'' AND ANY EXPRESS OR
|
|
.\" IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|
.\" OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
|
.\" IN NO EVENT SHALL THE DEVELOPERS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
.\" INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
|
.\" NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
.\" DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
.\" THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
.\" (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
|
.\" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
.\"
|
|
.\" $FreeBSD$
|
|
.\"
|
|
.Dd August 18, 2009
|
|
.Dt TASKQUEUE 9
|
|
.Os
|
|
.Sh NAME
|
|
.Nm taskqueue
|
|
.Nd asynchronous task execution
|
|
.Sh SYNOPSIS
|
|
.In sys/param.h
|
|
.In sys/kernel.h
|
|
.In sys/malloc.h
|
|
.In sys/queue.h
|
|
.In sys/taskqueue.h
|
|
.Bd -literal
|
|
typedef void (*task_fn_t)(void *context, int pending);
|
|
|
|
typedef void (*taskqueue_enqueue_fn)(void *context);
|
|
|
|
struct task {
|
|
STAILQ_ENTRY(task) ta_link; /* link for queue */
|
|
u_short ta_pending; /* count times queued */
|
|
u_short ta_priority; /* priority of task in queue */
|
|
task_fn_t ta_func; /* task handler */
|
|
void *ta_context; /* argument for handler */
|
|
};
|
|
.Ed
|
|
.Ft struct taskqueue *
|
|
.Fn taskqueue_create "const char *name" "int mflags" "taskqueue_enqueue_fn enqueue" "void *context"
|
|
.Ft struct taskqueue *
|
|
.Fn taskqueue_create_fast "const char *name" "int mflags" "taskqueue_enqueue_fn enqueue" "void *context"
|
|
.Ft void
|
|
.Fn taskqueue_free "struct taskqueue *queue"
|
|
.Ft int
|
|
.Fn taskqueue_enqueue "struct taskqueue *queue" "struct task *task"
|
|
.Ft int
|
|
.Fn taskqueue_enqueue_fast "struct taskqueue *queue" "struct task *task"
|
|
.Ft void
|
|
.Fn taskqueue_run "struct taskqueue *queue"
|
|
.Ft void
|
|
.Fn taskqueue_run_fast "struct taskqueue *queue"
|
|
.Ft void
|
|
.Fn taskqueue_drain "struct taskqueue *queue" "struct task *task"
|
|
.Ft int
|
|
.Fn taskqueue_member "struct taskqueue *queue" "struct thread *td"
|
|
.Fn TASK_INIT "struct task *task" "int priority" "task_fn_t *func" "void *context"
|
|
.Fn TASKQUEUE_DECLARE "name"
|
|
.Fn TASKQUEUE_DEFINE "name" "taskqueue_enqueue_fn enqueue" "void *context" "init"
|
|
.Fn TASKQUEUE_FAST_DEFINE "name" "taskqueue_enqueue_fn enqueue" "void *context" "init"
|
|
.Fn TASKQUEUE_DEFINE_THREAD "name"
|
|
.Fn TASKQUEUE_FAST_DEFINE_THREAD "name"
|
|
.Sh DESCRIPTION
|
|
These functions provide a simple interface for asynchronous execution
|
|
of code.
|
|
.Pp
|
|
The function
|
|
.Fn taskqueue_create
|
|
is used to create new queues.
|
|
The arguments to
|
|
.Fn taskqueue_create
|
|
include a name that should be unique,
|
|
a set of
|
|
.Xr malloc 9
|
|
flags that specify whether the call to
|
|
.Fn malloc
|
|
is allowed to sleep,
|
|
a function that is called from
|
|
.Fn taskqueue_enqueue
|
|
when a task is added to the queue,
|
|
and a pointer to the memory location where the identity of the
|
|
thread that services the queue is recorded.
|
|
.\" XXX The rest of the sentence gets lots in relation to the first part.
|
|
The function called from
|
|
.Fn taskqueue_enqueue
|
|
must arrange for the queue to be processed
|
|
(for instance by scheduling a software interrupt or waking a kernel
|
|
thread).
|
|
The memory location where the thread identity is recorded is used
|
|
to signal the service thread(s) to terminate--when this value is set to
|
|
zero and the thread is signaled it will terminate.
|
|
If the queue is intended for use in fast interrupt handlers
|
|
.Fn taskqueue_create_fast
|
|
should be used in place of
|
|
.Fn taskqueue_create .
|
|
.Pp
|
|
The function
|
|
.Fn taskqueue_free
|
|
should be used to free the memory used by the queue.
|
|
Any tasks that are on the queue will be executed at this time after
|
|
which the thread servicing the queue will be signaled that it should exit.
|
|
.Pp
|
|
To add a task to the list of tasks queued on a taskqueue, call
|
|
.Fn taskqueue_enqueue
|
|
with pointers to the queue and task.
|
|
If the task's
|
|
.Va ta_pending
|
|
field is non-zero,
|
|
then it is simply incremented to reflect the number of times the task
|
|
was enqueued.
|
|
Otherwise,
|
|
the task is added to the list before the first task which has a lower
|
|
.Va ta_priority
|
|
value or at the end of the list if no tasks have a lower priority.
|
|
Enqueueing a task does not perform any memory allocation which makes
|
|
it suitable for calling from an interrupt handler.
|
|
This function will return
|
|
.Er EPIPE
|
|
if the queue is being freed.
|
|
.Pp
|
|
The function
|
|
.Fn taskqueue_enqueue_fast
|
|
should be used in place of
|
|
.Fn taskqueue_enqueue
|
|
when the enqueuing must happen from a fast interrupt handler.
|
|
This method uses spin locks to avoid the possibility of sleeping in the fast
|
|
interrupt context.
|
|
.Pp
|
|
To execute all the tasks on a queue,
|
|
call
|
|
.Fn taskqueue_run
|
|
or
|
|
.Fn taskqueue_run_fast
|
|
depending on the flavour of the queue.
|
|
When a task is executed,
|
|
first it is removed from the queue,
|
|
the value of
|
|
.Va ta_pending
|
|
is recorded and then the field is zeroed.
|
|
The function
|
|
.Va ta_func
|
|
from the task structure is called with the value of the field
|
|
.Va ta_context
|
|
as its first argument
|
|
and the value of
|
|
.Va ta_pending
|
|
as its second argument.
|
|
After the function
|
|
.Va ta_func
|
|
returns,
|
|
.Xr wakeup 9
|
|
is called on the task pointer passed to
|
|
.Fn taskqueue_enqueue .
|
|
.Pp
|
|
The
|
|
.Fn taskqueue_drain
|
|
function is used to wait for the task to finish.
|
|
There is no guarantee that the task will not be
|
|
enqueued after call to
|
|
.Fn taskqueue_drain .
|
|
.Pp
|
|
The
|
|
.Fn taskqueue_member
|
|
function returns
|
|
.No 1
|
|
if the given thread
|
|
.Fa td
|
|
is part of the given taskqeueue
|
|
.Fa queue
|
|
and
|
|
.No 0
|
|
otherwise.
|
|
.Pp
|
|
A convenience macro,
|
|
.Fn TASK_INIT "task" "priority" "func" "context"
|
|
is provided to initialise a
|
|
.Va task
|
|
structure.
|
|
The values of
|
|
.Va priority ,
|
|
.Va func ,
|
|
and
|
|
.Va context
|
|
are simply copied into the task structure fields and the
|
|
.Va ta_pending
|
|
field is cleared.
|
|
.Pp
|
|
Five macros
|
|
.Fn TASKQUEUE_DECLARE "name" ,
|
|
.Fn TASKQUEUE_DEFINE "name" "enqueue" "context" "init" ,
|
|
.Fn TASKQUEUE_FAST_DEFINE "name" "enqueue" "context" "init" ,
|
|
and
|
|
.Fn TASKQUEUE_DEFINE_THREAD "name"
|
|
.Fn TASKQUEUE_FAST_DEFINE_THREAD "name"
|
|
are used to declare a reference to a global queue, to define the
|
|
implementation of the queue, and declare a queue that uses its own thread.
|
|
The
|
|
.Fn TASKQUEUE_DEFINE
|
|
macro arranges to call
|
|
.Fn taskqueue_create
|
|
with the values of its
|
|
.Va name ,
|
|
.Va enqueue
|
|
and
|
|
.Va context
|
|
arguments during system initialisation.
|
|
After calling
|
|
.Fn taskqueue_create ,
|
|
the
|
|
.Va init
|
|
argument to the macro is executed as a C statement,
|
|
allowing any further initialisation to be performed
|
|
(such as registering an interrupt handler etc.)
|
|
.Pp
|
|
The
|
|
.Fn TASKQUEUE_DEFINE_THREAD
|
|
macro defines a new taskqueue with its own kernel thread to serve tasks.
|
|
The variable
|
|
.Vt struct taskqueue *taskqueue_name
|
|
is used to enqueue tasks onto the queue.
|
|
.Pp
|
|
.Fn TASKQUEUE_FAST_DEFINE
|
|
and
|
|
.Fn TASKQUEUE_FAST_DEFINE_THREAD
|
|
act just like
|
|
.Fn TASKQUEUE_DEFINE
|
|
and
|
|
.Fn TASKQUEUE_DEFINE_THREAD
|
|
respectively but taskqueue is created with
|
|
.Fn taskqueue_create_fast .
|
|
.Ss Predefined Task Queues
|
|
The system provides four global taskqueues,
|
|
.Va taskqueue_fast ,
|
|
.Va taskqueue_swi ,
|
|
.Va taskqueue_swi_giant ,
|
|
and
|
|
.Va taskqueue_thread .
|
|
The
|
|
.Va taskqueue_fast
|
|
queue is for swi handlers dispatched from fast interrupt handlers,
|
|
where sleep mutexes cannot be used.
|
|
The swi taskqueues are run via a software interrupt mechanism.
|
|
The
|
|
.Va taskqueue_swi
|
|
queue runs without the protection of the
|
|
.Va Giant
|
|
kernel lock, and the
|
|
.Va taskqueue_swi_giant
|
|
queue runs with the protection of the
|
|
.Va Giant
|
|
kernel lock.
|
|
The thread taskqueue
|
|
.Va taskqueue_thread
|
|
runs in a kernel thread context, and tasks run from this thread do
|
|
not run under the
|
|
.Va Giant
|
|
kernel lock.
|
|
If the caller wants to run under
|
|
.Va Giant ,
|
|
he should explicitly acquire and release
|
|
.Va Giant
|
|
in his taskqueue handler routine.
|
|
.Pp
|
|
To use these queues,
|
|
call
|
|
.Fn taskqueue_enqueue
|
|
with the value of the global taskqueue variable for the queue you wish to
|
|
use
|
|
.Va ( taskqueue_swi ,
|
|
.Va taskqueue_swi_giant ,
|
|
or
|
|
.Va taskqueue_thread ) .
|
|
Use
|
|
.Fn taskqueue_enqueue_fast
|
|
for the global taskqueue variable
|
|
.Va taskqueue_fast .
|
|
.Pp
|
|
The software interrupt queues can be used,
|
|
for instance, for implementing interrupt handlers which must perform a
|
|
significant amount of processing in the handler.
|
|
The hardware interrupt handler would perform minimal processing of the
|
|
interrupt and then enqueue a task to finish the work.
|
|
This reduces to a minimum
|
|
the amount of time spent with interrupts disabled.
|
|
.Pp
|
|
The thread queue can be used, for instance, by interrupt level routines
|
|
that need to call kernel functions that do things that can only be done
|
|
from a thread context.
|
|
(e.g., call malloc with the M_WAITOK flag.)
|
|
.Pp
|
|
Note that tasks queued on shared taskqueues such as
|
|
.Va taskqueue_swi
|
|
may be delayed an indeterminate amount of time before execution.
|
|
If queueing delays cannot be tolerated then a private taskqueue should
|
|
be created with a dedicated processing thread.
|
|
.Sh SEE ALSO
|
|
.Xr ithread 9 ,
|
|
.Xr kthread 9 ,
|
|
.Xr swi 9
|
|
.Sh HISTORY
|
|
This interface first appeared in
|
|
.Fx 5.0 .
|
|
There is a similar facility called tqueue in the Linux kernel.
|
|
.Sh AUTHORS
|
|
This manual page was written by
|
|
.An Doug Rabson .
|