Linux上查看内核加载,linux 内核动态载入module

Module Stack

当然罗，Module 所 Reference 到的 Symbol 也是有可能存在于其它的 Module 中，若 A Module 使用了 B Module 的函式，当 A Module 载入到系统时，若 B Module 此时不存在系统中，便会发生 unresolved symbol 的错误。因此要解决 Module Stack 所引发的问题，我们可以在 insmod A Module 前，先把 B Module 载入到系统中。

或是可以透过 modprobe 这个程序，来得知 A Module 有参考到的 Symbol，并自动的帮我们把 B Module 载入到系统中。

我觉得有一篇不错的文章 "Loadable Kernel Modules"(请参阅参考资料3)，其中对 Module Stack 有很不错的说明，如果读者对这部份的有兴趣的话，可以进一步去取的这方面的资料，以下我针对这个部份做一个简短的说明，希望可以对各位有一些帮助。

如下图(十五)，module Y 呼叫了 module X 所提供的函式，则 module Y->deps 会指向一个 module_ref 结构(可参考图(十九))。 module_ref 结构有三个成员，分别为:dep:存放被参考 module 的地址。

ref:存放参考者 module 的地址。

next_ref:存放下一个在 dep 栏位中，有同一个被参考 module 地址的 module_ref 地址。

由于 module X 函式被 module Y 呼叫，所以 module X->refs 会指向图(十五)中的 module_ref 结构。而 module Y 因为呼叫了其它 module 的函式，本身并未被其它的 module 所呼叫，所以 module Y->refs 为 NULL。相同的，module X 函式被 module Y 所呼叫，本身并没有呼叫其它的 module，所以 module X->deps 为 NULL。

接着，我们看图中的 module_ref 结构。由于 module Y 呼叫 module X 的函式，而需参考图(十五)中的 module_ref，所以 module_ref->ref 指向 module Y。相同的，module_ref 依赖 module X 来提供资讯给 module Y，所以 module_ref->dep 指向 module X。最后，由于这是单纯 module Y 呼叫 module X 函式的 module stack，并没有同一个 module 函式被一个以上的 module 呼叫。所以，在图(十五)中的 module_ref->next_ref 为 NULL。

图(十五)，module Y 呼叫了 module X 的函式

再来，我们以三个module的例子来做说明。由图(十五)进一步扩充，如下图(十六)，在载入 module X 与 module Y 后，接着载入 module Z。module Z 同时呼叫了 module X 与 module Y 的函式。

首先，module Z呼叫module Y 的函式，所以 module Z->deps 指向 module_ref A，module Z 并没有被其它 module 所呼叫，故 module Z->refs为NULL。而 module Y 函式被 module Z 呼叫，module Y->refs 指向 module_ref A。如同图(十五)例子的说明，module_ref A->ref 指向 module Z，而 module_ref A->dep 指向 module Y。

接着，我们再看呼叫 module X 函式的情形。module Z 与 module Y 都呼叫了 module X 的函式，在图(十六)中我们可以看到 module_ref B 所在位置为 module_ref A 之后，而 module_ref B->ref 指向 module Z，module Z 透过参考 module_ref B 来取得 module X 资讯。而 module_ref B->dep 指向 module X，值得注意的是 module_ref B 的 next_ref 指向 module_ref C。因为 module Z 与 module Y 共同呼叫了 module X 的函式，所以这两个 module_ref 亦建立了关系。在 module_ref C 中，module_ref C->ref 指向 module Y，而 module_ref C->dep 指向 module X，module_ref C->next_ref 为 NULL。由于 module Y 呼叫了 module X 的函式，所以在图(十六)中，module Y->deps 指向 module_ref C。

图(十六)，moduleZ 呼叫了 module Y、module X 的函式

图(十七)，module 的 struct

图(十八)，module_symbol 的 struct

图(十九)，module_ref 的 struct

结语

最后，读者可以由以下图(二十)与图(二十一)了解两种载入 module 机制的不同。笔者在写这篇文章的过程中收获实在不少。有许多自己不曾注意过的细节，为了能够清楚的表达，我都尽可能的自己去走一遍。最后能够有机会把我的心得与各位分享，真的很开心，希望各位有任何意见的话，可以写信与我联络，我的 E-Mail 是: n9688408@sparc1.cc.ncku.edu.tw。

图(二十)，kerneld 载入 driver 的流程图

图(二十一)，kmod 载入 driver 的流程图

参考资料Alessandro Rubini,"Dynamic Kernels:Modularized Device Driver," Linux Journal,Issue 23,Mar. 1996

Alessandro Rubini,"Dynamic Kernels:Discovery",Linux Journal,Issue 24,Apr. 1996

Juan-Mariano de Goyeneche and Elena Apolinario Fernandez de Sousa,"Loadable Kernel Modules",IEEE Software,January/February 1999

ALESSANDRO RUBINI,"LINUX DEVICE DRIVER",O‘REILLY‘,1998

Linux 2.0.35 and 2.2.12 kernel source code