使用内核链表API需要在API外面加锁么,API里面没有加锁

mordorwww

static inline void __list_add(struct list_head *new,
                              struct list_head *prev,
                              struct list_head *next)
{
        next->prev = new;
        new->next = next;
        new->prev = prev;
        prev->next = new;
}

jeppeter

回复 1# mordorwww

说明你没有理解加锁的正确用法，加锁与不加锁，决定性因素是你的变量可不可能被两个不同的进程同时改写，或者一个改写，一个读取，如果存在这个可能，就要加锁，如果不存在这个可能就不用加锁。

mordorwww

jeppeter 发表于 2017-02-20 11:13
回复 1# mordorwww

说明你没有理解加锁的正确用法，加锁与不加锁，决定性因素是你的变量可不可能被两个 ...

指多线程的情况
API里没有加锁，我想问的是，有一种链表是无锁的(无锁编程)，但是内核这个链表不是无锁吧？你多线程对这个链表增删结点的时候，是需要在外面加锁吧？

jeppeter

回复 3# mordorwww

你这里说的几个概念，
1， 所谓无锁编程，这个有两种可能，一种是同一进程的事件驱动，另一种是把同一个资源给一个进程或者线程进行操作，其它的进程或者线程与它进行通信，来间接的对资源进行处理。
2， 用户态与内核态，看是对什么资源，如一些关于进程和内存，或者是文件的资源，在内核态与用户态是有相对应的，但处理方式是用户态调用内核态的函数，另一些则是用户态与内核态是互相不知情的，也就是内核态不知道用户是否有这个资源，用户态也不知道内核有没有这个资源，举个最简单的例子，就是一个数据库程序对自己的日志进行管理 ，这个日志对内核态来说完全不知道，可能这个日志会用到文件和内存，但作为日志，内核是不知道有这个东西的存在，所以它不会对日志处理进行加锁，当然日志要用到的内存或者文件操作会相应的加锁。

所以基于以上两点：你还是回到最前面的定义，是否会同时有两个进程对这个资源进行改写，或者一个读，一个写。如果存在这个可能，就要加锁，至于你说的在哪个地方进行加锁，那是你的程序设计的问题。这个要考虑其它如整体架构或者优化处理的问题。至少人前面表达的意思，你的资源内核好像不知道，如果不知道的情况，那内核就不会进行加锁，当然如页面异常处理这种涉及内核的资源处理的时候，会对页面资源进行加锁。但内核不会对你上层的用户态不知的资源进行加锁处理。

mordorwww

jeppeter 发表于 2017-02-20 14:46
回复 3# mordorwww

你这里说的几个概念，

你理解错了，无锁编程是指多个线程访问临界资源不用加锁或者不使用传统的锁
我想知道内核的这个链表API可能并不是无锁编程，调用链表API需要额外加锁

nswcfd

链表有_rcu后缀的API，那个是无锁的。

另外，楼上各位说的都对，只是角度不同罢了。