Softirq, Tasklets and Workqueues
Introduction to deferred interrupts (Softirq, Tasklets and Workqueues)
It is the nine part of the Interrupts and Interrupt Handling in the Linux kernel chapter and in the previous Previous part we saw implementation of the init_IRQ
from that defined in the arch/x86/kernel/irqinit.c source code file. So, we will continue to dive into the initialization stuff which is related to the external hardware interrupts in this part.
Interrupts may have different important characteristics and there are two among them:
Handler of an interrupt must execute quickly;
Sometime an interrupt handler must do a large amount of work.
As you can understand, it is almost impossible to make so that both characteristics were valid. Because of these, previously the handling of interrupts was split into two parts:
Top half;
Bottom half;
In the past there was one way to defer interrupt handling in Linux kernel. And it was called: the bottom half
of the processor, but now it is already not actual. Now this term has remained as a common noun referring to all the different ways of organizing deferred processing of an interrupt.The deferred processing of an interrupt suggests that some of the actions for an interrupt may be postponed to a later execution when the system will be less loaded. As you can suggest, an interrupt handler can do large amount of work that is impermissible as it executes in the context where interrupts are disabled. That's why processing of an interrupt can be split in two different parts. In the first part, the main handler of an interrupt does only minimal and the most important job. After this it schedules the second part and finishes its work. When the system is less busy and context of the processor allows to handle interrupts, the second part starts its work and finishes to process remaining part of a deferred interrupt.
There are three types of deferred interrupts
in the Linux kernel:
softirqs
;tasklets
;workqueues
;
And we will see a description of all of these types in this part. As I said, we saw only a little bit about this theme, so, now is time to dive deep into details about this theme.
Softirqs
With the advent of parallelisms in the Linux kernel, all new schemes of implementation of the bottom half handlers are built on the performance of the processor specific kernel thread that called ksoftirqd
(will be discussed below). Each processor has its own thread that is called ksoftirqd/n
where the n
is the number of the processor. We can see it in the output of the systemd-cgls
util:
The spawn_ksoftirqd
function starts these threads. As we can see this function called as early initcall:
Softirqs are determined statically at compile-time of the Linux kernel and the open_softirq
function takes care of softirq
initialization. The open_softirq
function defined in the kernel/softirq.c:
and as we can see this function uses two parameters:
the index of the
softirq_vec
array;a pointer to the softirq function to be executed;
First of all let's look on the softirq_vec
array:
it defined in the same source code file. As we can see, the softirq_vec
array may contain NR_SOFTIRQS
or 10
types of softirqs
that has type softirq_action
. First of all about its elements. In the current version of the Linux kernel there are ten softirq vectors defined; two for tasklet processing, two for networking, two for the block layer, two for timers, and one each for the scheduler and read-copy-update processing. All of these kinds are represented by the following enum:
All names of these kinds of softirqs are represented by the following array:
Or we can see it in the output of the /proc/softirqs
:
As we can see the softirq_vec
array has softirq_action
types. This is the main data structure related to the softirq
mechanism, so all softirqs
represented by the softirq_action
structure. The softirq_action
structure consists a single field only: an action pointer to the softirq function:
So, after this we can understand that the open_softirq
function fills the softirq_vec
array with the given softirq_action
. The registered deferred interrupt (with the call of the open_softirq
function) for it to be queued for execution, it should be activated by the call of the raise_softirq
function. This function takes only one parameter -- a softirq index nr
. Let's look on its implementation:
Here we can see the call of the raise_softirq_irqoff
function between the local_irq_save
and the local_irq_restore
macros. The local_irq_save
defined in the include/linux/irqflags.h header file and saves the state of the IF flag of the eflags register and disables interrupts on the local processor. The local_irq_restore
macro defined in the same header file and does the opposite thing: restores the interrupt flag
and enables interrupts. We disable interrupts here because a softirq
interrupt runs in the interrupt context and that one softirq (and no others) will be run.
The raise_softirq_irqoff
function marks the softirq as deferred by setting the bit corresponding to the given index nr
in the softirq
bit mask (__softirq_pending
) of the local processor. It does it with the help of the:
macro. After this, it checks the result of the in_interrupt
that returns irq_count
value. We already saw the irq_count
in the first part of this chapter and it is used to check if a CPU is already on an interrupt stack or not. We just exit from the raise_softirq_irqoff
, restore IF
flag and enable interrupts on the local processor, if we are in the interrupt context, otherwise we call the wakeup_softirqd
:
Where the wakeup_softirqd
function activates the ksoftirqd
kernel thread of the local processor:
Each ksoftirqd
kernel thread runs the run_ksoftirqd
function that checks existence of deferred interrupts and calls the __do_softirq
function depending on the result of the check. This function reads the __softirq_pending
softirq bit mask of the local processor and executes the deferrable functions corresponding to every bit set. During execution of a deferred function, new pending softirqs
might occur. The main problem here that execution of the userspace code can be delayed for a long time while the __do_softirq
function will handle deferred interrupts. For this purpose, it has the limit of the time when it must be finished:
Checks of the existence of the deferred interrupts are performed periodically. There are several points where these checks occur. The main point is the call of the do_IRQ
function defined in arch/x86/kernel/irq.c, which provides the main means for actual interrupt processing in the Linux kernel. When do_IRQ
finishes handling an interrupt, it calls the exiting_irq
function from the arch/x86/include/asm/apic.h that expands to the call of the irq_exit
function. irq_exit
checks for deferred interrupts and the current context and calls the invoke_softirq
function:
that also executes __do_softirq
. To summarize, each softirq
goes through the following stages:
Registration of a
softirq
with theopen_softirq
function.Activation of a
softirq
by marking it as deferred with theraise_softirq
function.After this, all marked
softirqs
will be triggered in the next time the Linux kernel schedules a round of executions of deferrable functions.And execution of the deferred functions that have the same type.
As I already wrote, the softirqs
are statically allocated and it is a problem for a kernel module that can be loaded. The second concept that built on top of softirq
-- the tasklets
solves this problem.
Tasklets
If you read the source code of the Linux kernel that is related to the softirq
, you notice that it is used very rarely. The preferable way to implement deferrable functions are tasklets
. As I already wrote above the tasklets
are built on top of the softirq
concept and generally on top of two softirqs
:
TASKLET_SOFTIRQ
;HI_SOFTIRQ
.
In short words, tasklets
are softirqs
that can be allocated and initialized at runtime and unlike softirqs
, tasklets that have the same type cannot be run on multiple processors at a time. Ok, now we know a little bit about the softirqs
, of course previous text does not cover all aspects about this, but now we can directly look on the code and to know more about the softirqs
step by step on practice and to know about tasklets
. Let's return back to the implementation of the softirq_init
function that we talked about in the beginning of this part. This function is defined in the kernel/softirq.c source code file, let's look on its implementation:
We can see definition of the integer cpu
variable at the beginning of the softirq_init
function. Next we will use it as parameter for the for_each_possible_cpu
macro that goes through the all possible processors in the system. If the possible processor
is the new terminology for you, you can read more about it the CPU masks chapter. In short words, possible cpus
is the set of processors that can be plugged in anytime during the life of that system boot. All possible processors
stored in the cpu_possible_bits
bitmap, you can find its definition in the kernel/cpu.c:
Ok, we defined the integer cpu
variable and go through the all possible processors with the for_each_possible_cpu
macro and makes initialization of the two following per-cpu variables:
tasklet_vec
;tasklet_hi_vec
;
These two per-cpu
variables defined in the same source code file as the softirq_init
function and represent two tasklet_head
structures:
Where tasklet_head
structure represents a list of Tasklets
and contains two fields, head and tail:
The tasklet_struct
structure is defined in the include/linux/interrupt.h and represents the Tasklet
. Previously we did not see this word in this book. Let's try to understand what the tasklet
is. Actually, the tasklet is one of mechanisms to handle deferred interrupt. Let's look on the implementation of the tasklet_struct
structure:
As we can see this structure contains five fields, they are:
Next tasklet in the scheduling queue;
State of the tasklet;
Represent current state of the tasklet, active or not;
Main callback of the tasklet;
Parameter of the callback.
In our case, we set only for initialize only two arrays of tasklets in the softirq_init
function: the tasklet_vec
and the tasklet_hi_vec
. Tasklets and high-priority tasklets are stored in the tasklet_vec
and tasklet_hi_vec
arrays, respectively. So, we have initialized these arrays and now we can see two calls of the open_softirq
function that is defined in the kernel/softirq.c source code file:
at the end of the softirq_init
function. The main purpose of the open_softirq
function is the initialization of softirq
. Let's look on the implementation of the open_softirq
function.
In our case they are: tasklet_action
and the tasklet_hi_action
or the softirq
function associated with the HI_SOFTIRQ
softirq is named tasklet_hi_action
and softirq
function associated with the TASKLET_SOFTIRQ
is named tasklet_action
. The Linux kernel provides API for the manipulating of tasklets
. First of all it is the tasklet_init
function that takes tasklet_struct
, function and parameter for it and initializes the given tasklet_struct
with the given data:
There are additional methods to initialize a tasklet statically with the two following macros:
The Linux kernel provides three following functions to mark a tasklet as ready to run:
The first function schedules a tasklet with the normal priority, the second with the high priority and the third out of turn. Implementation of the all of these three functions is similar, so we will consider only the first -- tasklet_schedule
. Let's look on its implementation:
As we can see it checks and sets the state of the given tasklet to the TASKLET_STATE_SCHED
and executes the __tasklet_schedule
with the given tasklet. The __tasklet_schedule
looks very similar to the raise_softirq
function that we saw above. It saves the interrupt flag
and disables interrupts at the beginning. After this, it updates tasklet_vec
with the new tasklet and calls the raise_softirq_irqoff
function that we saw above. When the Linux kernel scheduler will decide to run deferred functions, the tasklet_action
function will be called for deferred functions which are associated with the TASKLET_SOFTIRQ
and tasklet_hi_action
for deferred functions which are associated with the HI_SOFTIRQ
. These functions are very similar and there is only one difference between them -- tasklet_action
uses tasklet_vec
and tasklet_hi_action
uses tasklet_hi_vec
.
Let's look on the implementation of the tasklet_action
function:
In the beginning of the tasklet_action
function, we disable interrupts for the local processor with the help of the local_irq_disable
macro (you can read about this macro in the second part of this chapter). In the next step, we take a head of the list that contains tasklets with normal priority and set this per-cpu list to NULL
because all tasklets must be executed in a general way. After this we enable interrupts for the local processor and go through the list of tasklets in the loop. In every iteration of the loop we call the tasklet_trylock
function for the given tasklet that updates state of the given tasklet on TASKLET_STATE_RUN
:
If this operation was successful we execute tasklet's action (it was set in the tasklet_init
) and call the tasklet_unlock
function that clears tasklet's TASKLET_STATE_RUN
state.
In general, that's all about tasklets
concept. Of course this does not cover full tasklets
, but I think that it is a good point from where you can continue to learn this concept.
The tasklets
are widely used concept in the Linux kernel, but as I wrote in the beginning of this part there is third mechanism for deferred functions -- workqueue
. In the next paragraph we will see what it is.
Workqueues
The workqueue
is another concept for handling deferred functions. It is similar to tasklets
with some differences. Workqueue functions run in the context of a kernel process, but tasklet
functions run in the software interrupt context. This means that workqueue
functions must not be atomic as tasklet
functions. Tasklets always run on the processor from which they were originally submitted. Workqueues work in the same way, but only by default. The workqueue
concept represented by the:
structure that is defined in the kernel/workqueue.c source code file in the Linux kernel. I will not write the source code of this structure here, because it has quite a lot of fields, but we will consider some of those fields.
In its most basic form, the work queue subsystem is an interface for creating kernel threads to handle work that is queued from elsewhere. All of these kernel threads are called -- worker threads
. The work queue are maintained by the work_struct
that defined in the include/linux/workqueue.h. Let's look on this structure:
Here are two things that we are interested: func
-- the function that will be scheduled by the workqueue
and the data
- parameter of this function. The Linux kernel provides special per-cpu threads that are called kworker
:
This process can be used to schedule the deferred functions of the workqueues (as ksoftirqd
for softirqs
). Besides this we can create new separate worker thread for a workqueue
. The Linux kernel provides following macros for the creation of workqueue:
for static creation. It takes two parameters: name of the workqueue and the workqueue function. For creation of workqueue in runtime, we can use the:
macro that takes work_struct
structure that has to be created and the function to be scheduled in this workqueue. After a work
was created with the one of these macros, we need to put it to the workqueue
. We can do it with the help of the queue_work
or the queue_delayed_work
functions:
The queue_work
function just calls the queue_work_on
function that queues work on specific processor. Note that in our case we pass the WORK_CPU_UNBOUND
to the queue_work_on
function. It is a part of the enum
that is defined in the include/linux/workqueue.h and represents workqueue which are not bound to any specific processor. The queue_work_on
function tests and set the WORK_STRUCT_PENDING_BIT
bit of the given work
and executes the __queue_work
function with the workqueue
for the given processor and given work
:
The __queue_work
function gets the work pool
. Yes, the work pool
not workqueue
. Actually, all works
are not placed in the workqueue
, but to the work pool
that is represented by the worker_pool
structure in the Linux kernel. As you can see above, the workqueue_struct
structure has the pwqs
field which is list of worker_pools
. When we create a workqueue
, it stands out for each processor the pool_workqueue
. Each pool_workqueue
associated with worker_pool
, which is allocated on the same processor and corresponds to the type of priority queue. Through them workqueue
interacts with worker_pool
. So in the __queue_work
function we set the cpu to the current processor with the raw_smp_processor_id
(you can find information about this macro in the fourth part of the Linux kernel initialization process chapter), getting the pool_workqueue
for the given workqueue_struct
and insert the given work
to the given workqueue
:
As we can create works
and workqueue
, we need to know when they are executed. As I already wrote, all works
are executed by the kernel thread. When this kernel thread is scheduled, it starts to execute works
from the given workqueue
. Each worker thread executes a loop inside the worker_thread
function. This thread makes many different things and part of these things are similar to what we saw before in this part. As it starts executing, it removes all work_struct
or works
from its workqueue
.
That's all.
Conclusion
It is the end of the ninth part of the Interrupts and Interrupt Handling chapter and we continued to dive into external hardware interrupts in this part. In the previous part we saw initialization of the IRQs
and main irq_desc
structure. In this part we saw three concepts: the softirq
, tasklet
and workqueue
that are used for the deferred functions.
The next part will be last part of the Interrupts and Interrupt Handling
chapter and we will look on the real hardware driver and will try to learn how it works with the interrupts subsystem.
If you have any questions or suggestions, write me a comment or ping me at twitter.
Please note that English is not my first language, And I am really sorry for any inconvenience. If you find any mistakes please send me PR to linux-insides.
Links
Last updated