tasklet_action()函数中为什么会调用BUG？

html5 • • 问答 

static void tasklet_action(struct softirq_action *a)
{
    // ...

    while (list) {
        struct tasklet_struct *t = list;

        list = list->next;

        if (tasklet_trylock(t)) {
            if (!atomic_read(&t->count)) {
                if (!test_and_clear_bit(TASKLET_STATE_SCHED,
                            &t->state))
                    BUG();

                // ...
    }
}

我的理解是，如果已经安排了一个 tasklet，那么这段代码会抛出一个BUG(). 这是否意味着同一个 tasklet 不能同时运行，也不能被调度？

回答

这只是对 tasklets 的保证属性的完整性检查。您可以在以下位置的评论中include/linux/interrupt.h看到 tasklet 的属性：

   Properties:
   * If tasklet_schedule() is called, then tasklet is guaranteed
     to be executed on some cpu at least once after this.
   * If the tasklet is already scheduled, but its execution is still not
     started, it will be executed only once.
   * If this tasklet is already running on another CPU (or schedule is called
     from tasklet itself), it is rescheduled for later.
   * Tasklet is strictly serialized wrt itself, but not
     wrt another tasklets. If client needs some intertask synchronization,
     he makes it with spinlocks.

根据定义，tasklet 保证在被调度后至少运行一次。这段代码：

    if (!atomic_read(&t->count)) {
        if (!test_and_clear_bit(TASKLET_STATE_SCHED,
                    &t->state))
            BUG();

确保此属性成立，否则存在错误，BUG()用于停止执行并导致运行时恐慌。

这是上述代码的注释版本，以使其更清晰：

    // If the tasklet never ran (t->count == 0)
    if (!atomic_read(&t->count)) {
        // And the tasklet is not scheduled for running (bit TASKLET_STATE_SCHED of t->state is 0)
        if (!test_and_clear_bit(TASKLET_STATE_SCHED,
                    &t->state))
            // There's something wrong, this should never happen!
            BUG();

换句话说，你不能有一个带有t->count == 0and的 tasklet t->state & (1<<TASKLET_STATE_SCHED) == 0。如果发生这种情况，则存在错误。

以上是tasklet_action()函数中为什么会调用BUG？的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>