C语言 为什么在 LKM 中使用静态函数是一种约定



我最近一直在研究这个问题,并查看了各种文章和堆栈溢出帖子,但我似乎找不到直接的答案。在创建内核模块时,我看到大多数代码如下所示:

#include <linux/init.h>
static int test_init(void) {return 0;}
static void test_exit(void) {;}
module_init(test_init);
module_exit(test_exit);
  • 我发现的一个可能原因是这样做会增加将恶意代码注入正在运行的模块的难度。

  • 另一个是命名空间的混乱程度较低,但这难道不是您正在链接和编译的内核模块上下文中的问题,仅此而已吗?如果insmod真的像 ld 那样将代码链接到内核中,那么我可以看到名称冲突会如何搞砸系统。这是原因吗?

我想不出任何其他原因,我希望在盲目开始使用约定之前澄清这一点。

提前谢谢你

如果在 .c 文件之外不需要某个函数,则应在该 .c 文件中将其声明为静态。

这只是很好的封装。

它避免了名称冲突,并让读者知道您的意图。

如果编译器决定内联静态函数的所有调用实例,则编译器不需要输出函数的目标代码,因为它知道所有实例都是内联的。但是,如果您不将其声明为静态,则编译器无法确定它不是从其他地方调用的。

此外,将某些内容声明为静态会阻止它进入全局命名空间。这在没有名称重整的 C 中很重要,因此只能有一个具有一个名称的函数(即使它作用于不同的类型)。因此,您可以为静态函数使用短函数名称,知道它们不会与其他任何人发生冲突。

没有特定于内核或操作系统的内容。只是良好的编程实践。

最新更新