请教一个同步问题

iterator

假设一段内核代码中有一个函数指针的调用，这个函数指针为p，它的初始值为NULL。指针调用的代码类似于：
if (p)
  (p)(.....);
另外有一个内核模块，在插入的时候可以对p进行赋值，卸载的时候可以把p变为NULL。(p已经被EXPORT)
那么在卸载模块的时候，是不是有可能出现这样的问题，即在if(p)的时候p还不是NULL，可接下来真正调用函数的时候p却被赋成NULL了？
那么该怎么解决这个问题呢？

Godbach

原帖由 iterator 于 2008-11-29 23:45 发表
假设一段内核代码中有一个函数指针的调用，这个函数指针为p，它的初始值为NULL。指针调用的代码类似于：
if (p)
  (p)(.....);
另外有一个内核模块，在插入的时候可以对p进行赋值，卸载的时候可以把p变为NUL ...

内核中常用引用计数来判断模块的使用状态，也可以考虑用在这个函数指针上。另外，就是使用锁来解决。

iterator

假设这个函数是在非常重要的内核路径上呢？换句话说就是在需要被频繁调用的路径上，用引用计数和锁的方式是不是都对性能有影响？怎么能不在if(p)的一端加入任何限制呢？

qtdszws

参考一下bridge的实现

它通过模块的引用计数来控制

lyl19

首先明确你这个模块运行的环境，insmod, rmmod是进程上下文的，如果你的环境是中断上下文的，都不必担心同步问题，如果也是进程上下文的，是否禁止抢占就可以实现了。

NewCore

原帖由 lyl19 于 2008-12-1 22:52 发表
首先明确你这个模块运行的环境，insmod, rmmod是进程上下文的，如果你的环境是中断上下文的，都不必担心同步问题，如果也是进程上下文的，是否禁止抢占就可以实现了。

我觉得：
2.4内核中，应该不用考虑这个问题。
2.6内核中，在对P操作时增加preempt_disable/preempt_enable。