tasklet的链表问题

pengchao311

今天无意中看了下tasklet的原代码
void __tasklet_schedule(struct tasklet_struct *t)
{
        unsigned long flags;

        local_irq_save(flags);
        t->next = NULL;
        *__this_cpu_read(tasklet_vec.tail) = t;
        __this_cpu_write(tasklet_vec.tail, &(t->next));
        raise_softirq_irqoff(TASKLET_SOFTIRQ);
        local_irq_restore(flags);
}

这里的tasklet_vec是一个单向的链表，head用来遍历，tail用来添加元素。
但是
         t->next = NULL;
        *__this_cpu_read(tasklet_vec.tail) = t;
        __this_cpu_write(tasklet_vec.tail, &(t->next));
这怎么能实现添加新成员的功能，
还有t应该是和&(t->next)相等的，
那上面两句是一样的功能。
我觉得要这样写才能实现
        t->next = NULL;
        (*__this_cpu_read(tasklet_vec.tail) ).next= t;
        __this_cpu_write(tasklet_vec.tail, t);
希望哪位大牛能解释下。

yangPSO

我看的是linux-2.6.31版本，在软中断初始化函数中，有：
                per_cpu(tasklet_vec, cpu).tail =
                        &per_cpu(tasklet_vec, cpu).head;

因此，在队列空时，tail成员指向head成员。


添加一个tasklet_struct结构的代码如函数__tasklet_schedule下面代码：
        *__get_cpu_var(tasklet_vec).tail = t;
        __get_cpu_var(tasklet_vec).tail = &(t->next);

所以当添加第一个tasklet_struct结构后，tail指向该task的next成员，而head指向task。
当继续添加一些tasklet_struct结构后，tail指向最后一个task的next成员，而head指向第一个task。

不知道对不对？

pengchao311

这个地方我也看过，但是per_cpu(tasklet_vec, cpu).tail =&per_cpu(tasklet_vec, cpu).head
相当于tasklet_vec.tail =&tasklet_vec.head,
但*__get_cpu_var(tasklet_vec).tail = t;后
相当于*(tasklet_vec.tail ) = t会把前面的值重新赋值，这也是我不解的地方，难倒这其中还有什么悬妙的地方。
请哪位大牛解释下。

yangPSO

在队列为空，*__get_cpu_var(tasklet_vec).tail 作为左值时就是head成员变量本身，把t赋值给head成员不是很正常吗，没什么悬妙的

kkddkkdd11

h = 0
t = &h

*t = h = n1
t = &n1->n

*t = n1->n = n2
t = &n2->n

.
.
.

pengchao311

恩，我上机试了下，是你说的那样的，这里面有个指针赋值我理解错了，多谢。