linux系统中输出原始的数组,Linux Kernel代码艺术——数组初始化

港控/mmm° 2023-01-20 15:56 12阅读 0赞

前几天看内核中系统调用代码，在系统调用向量表初始化中，有下面这段代码写的让我有点摸不着头脑：

const sys\_call\_ptr\_t sys\_call\_table\[\_\_NR\_syscall\_max+1\] = \{

/\*

\* Smells like a compiler bug -- it doesn't work

\* when the & below is removed.

\*/

\[0 ... \_\_NR\_syscall\_max\] = &sys\_ni\_syscall,

\#include

\};

咱先不管上面代码的意思，先来回顾一下 C 语言中数组初始化的相关知识，然后再回头来理解上面这段代码。

数组初始化

C 语言中数组的初始化，可以在定义时就给出其初始值，以逗号隔开，用花括号括起来，例如：

int my\_array\[5\] = \{0, 1, 2, 3, 4\};

当然你可以不用显示地去初始化所有的元素，例如，下面的代码就是显示初始化了数组的前三项，后面两项默认为0：

int my\_array\[5\] = \{0, 1, 2\};

在 C89 标准中，要求按照数组中元素固定的顺序对数组的元素进行初始化；然而在 ISO C99 中，你可以以任意的顺序对数组元素初始化，只是需要给出数组元素所在的索引号；当然 GNU 编译器 GCC 对 C89 进行了扩展，也允许这么做。为了指明初始特殊的数组元素，需要在元素值前加上 \[index\] =，如：

int my\_array\[6\] = \{ \[4\] = 29, \[2\] = 15 \};

或者写成：

int my\_array\[6\] = \{ \[4\] 29, \[2\] 15 \}; //省略到索引与值之间的=，GCC 2.5 之后该用法已经过时了，但 GCC 仍然支持

两者均等价于：

int my\_array\[6\] = \{0, 0, 15, 0, 29, 0\};

GNU 还有一个扩展：在需要将一个范围内的元素初始化为同一值时，可以使用 \[first ... last\] = value 这样的语法：

int my\_array\[100\] = \{ \[0 ... 9\] = 1, \[10 ... 98\] = 2, 3 \};

这是将my\_array数组的第0~9个元素初始化为1， 第10~98个元素初始化为2， 第99个元素初始化为3(你也可以显示地写成\[99\] = 3)。\*\* 注意 \*\*：在语法中... 两边必须要留有空格符。

回到上面

对数组特定元素进行初始化我之前还真没遇到过，但也是 C 标准所支持的。内核中系统调用表是指根据系统调用号来找到系统调用的函数入口地址，结合上面数组初始化这个语法点，再回头看看上面系统调用表的定义：

const sys\_call\_ptr\_t sys\_call\_table\[\_\_NR\_syscall\_max+1\] = \{

\[0 ... \_\_NR\_syscall\_max\] = &sys\_ni\_syscall,

\#include

\};

先对表中所有 \_\_NR\_syscall\_max+1 项初始化为指向 sys\_ni\_syscall 的函数，该函数只返回 -ENOSYS，表示该系统调用未实现。接下来包含一个头文件\#include ，该文件是在编译时生成的，内容为：

\_\_SYSCALL\_I386(0, sys\_restart\_syscall, sys\_restart\_syscall)

\_\_SYSCALL\_I386(1, sys\_exit, sys\_exit)

\_\_SYSCALL\_I386(2, sys\_fork, stub32\_fork)

\_\_SYSCALL\_I386(3, sys\_read, sys\_read)

\_\_SYSCALL\_I386(4, sys\_write, sys\_write)

\_\_SYSCALL\_I386(5, sys\_open, compat\_sys\_open)

...

\_\_SYSCALL\_I386 是一个宏定义：

\#define \_\_SYSCALL\_I386(nr, sym, compat) \[nr\] = sym,

这样上面的系统调用表定义就展开为：

const sys\_call\_ptr\_t sys\_call\_table\[\_\_NR\_syscall\_max+1\] = \{

\[0 ... \_\_NR\_syscall\_max\] = &sys\_ni\_syscall,

\[0\] = sys\_restart\_syscall,

\[1\] = sys\_exit,

\[2\] = sys\_fork,

\[3\] = sys\_read,

//...

\};

当用户进程发生系统调用，通过软中断 int 0x80 或者 sysenter 指令陷入到内核态，首先保存寄存器，然后检查系统调用号是否合法，最后跳转到相应的内核系统调用函数中执行：

ENTRY(system\_call)

pushl\_cfi %eax \# 保存原始 eax

SAVE\_ALL \# 保存寄存器帧

GET\_THREAD\_INFO(%ebp)

testl $\_TIF\_WORK\_SYSCALL\_ENTRY,TI\_flags(%ebp) \# 检查是否跟踪系统调用标志

jnz syscall\_trace\_entry

cmpl $(NR\_syscalls), %eax \# 检查系统调用号是否合法

jae syscall\_badsys

syscall\_call:

call \*sys\_call\_table(,%eax,4) \# 调用相应函数，等价于 call sys\_call\_table\[%eax\*4\]

上面就是系统调用的进入过程，比较简单，这里只是说明了我们之前定义的系统调用表 sys\_call\_table 的用处。

再举一例

内核中还有其他地方应用到此种初始化数组的方法：

/\* There are machines which are known to not boot with the GDT

being 8-byte unaligned. Intel recommends 16 byte alignment. \*/

static const u64 boot\_gdt\[\] \_\_attribute\_\_((aligned(16))) = \{

/\* CS: code, read/execute, 4 GB, base 0 \*/

\[GDT\_ENTRY\_BOOT\_CS\] = GDT\_ENTRY(0xc09b, 0, 0xfffff),

/\* DS: data, read/write, 4 GB, base 0 \*/

\[GDT\_ENTRY\_BOOT\_DS\] = GDT\_ENTRY(0xc093, 0, 0xfffff),

/\* TSS: 32-bit tss, 104 bytes, base 4096 \*/

/\* We only have a TSS here to keep Intel VT happy;

we don't actually use it for anything. \*/

\[GDT\_ENTRY\_BOOT\_TSS\] = GDT\_ENTRY(0x0089, 4096, 103),

\};

这是对系统启动时对全局符号表GDT的初始化。

参考资料：

linux系统中输出原始的数组,Linux Kernel代码艺术——数组初始化

发表评论取消回复

还没有评论，来说两句吧...

相关阅读

相关 linux kernel内存初始化过程

相关 php中数组怎么输出数组

相关 java数组初始化(Java数组初始化方法)

相关 php输出数组示例代码

相关数组（静态初始化、动态初始化、数组内存分析、数组对象）

相关 linux系统中输出原始的数组,Linux Kernel代码艺术——数组初始化

相关 LINUX 格式输出系统时间代码

相关 Linux kernel之SMP初始化

相关数组初始化

相关 linux shell ls 输出存进数组变量