hacking.rst (29750B)
1.. include:: ../disclaimer-zh_CN.rst 2 3:Original: Documentation/kernel-hacking/hacking.rst 4 5:译者: 6 7 吴想成 Wu XiangCheng <bobwxc@email.cn> 8 9============== 10内核骇客指北 11============== 12 13:作者: Rusty Russell 14 15引言 16===== 17 18欢迎咱优雅的读者们来阅读Rusty的非常不靠谱的Linux内核骇客（Hacking）指南。本文 19描述了内核代码的常见例程和一般要求：其目标是引导有经验的C程序员入门Linux内核 20开发。我回避了实现细节：这是代码要做的，也忽略了很多有用的例程。 21 22在你读这篇文章之前，请理解我从来没有想过要写这篇文章，因为我的资历太低了； 23但我一直想读这样的文章，自己写是唯一的方法。我希望它能成长为一个最佳实践、 24通用起点和其他信息的汇编。 25 26玩家 27======= 28 29在任何时候，系统中的每个CPU都可以： 30 31- 与任何进程无关，服务于硬件中断； 32 33- 与任何进程无关，服务于软件中断（softirq）或子任务（tasklet）； 34 35- 运行于内核空间中，与进程（用户上下文）相关联； 36 37- 在用户空间中运行进程。 38 39它们之间有优先级顺序。最下面的两个可以互相抢占，但上面为严格的层次结构： 40每个层级只能被上方的抢占。例如，当一个软中断在CPU上运行时，没有其他软中断 41会抢占它，但是硬件中断可以抢占它。不过，系统中的任何其他CPU都是独立执行的。 42 43我们将会看到许多方法，用户上下文可以阻止中断，从而成为真正的不可抢占。 44 45用户上下文 46------------ 47 48用户上下文是指当您从系统调用或其他陷阱进入时：就像用户空间一样，您可以被更 49重要的任务和中断抢占。您可以通过调用 :c:func:`schedule()` 进行睡眠。 50 51.. note:: 52 53 在模块加载和卸载以及块设备层上的操作时，你始终处于用户上下文中。 54 55在用户上下文中，当前 ``current`` 指针（指示我们当前正在执行的任务）是有效的， 56且 :c:func:`in_interrupt()` （ ``include/linux/preempt.h`` ）值为非（false）。 57 58.. warning:: 59 60 请注意，如果您禁用了抢占或软中断（见下文），:c:func:`in_interrupt()` 会 61 返回假阳性。 62 63硬件中断（Hard IRQs） 64---------------------- 65 66像定时器、网卡和键盘等都是可能在任意时刻产生中断的真实硬件。内核运行中断 67处理程序，为硬件提供服务。内核确保处理程序永远不会重入：如果相同的中断到达， 68它将被排队（或丢弃）。因为它会关闭中断，所以处理程序必须很快：通常它只是 69确认中断，标记一个“软件中断”以执行并退出。 70 71您可以通过 in_hardirq() 返回真来判断您处于硬件中断状态。 72 73.. warning:: 74 75 请注意，如果中断被禁用，这将返回假阳性（见下文）。 76 77软件中断上下文：软中断（Softirqs）与子任务（Tasklets） 78------------------------------------------------------- 79 80当系统调用即将返回用户空间或硬件中断处理程序退出时，任何标记为挂起（通常通 81过硬件中断）的“软件中断”将运行（ ``kernel/softirq.c`` ）。 82 83此处完成了许多真正的中断处理工作。在向SMP过渡的早期，只有“bottom halves下半 84部”（BHs）机制，无法利用多个CPU的优势。在从那些一团糟的就电脑切换过来后不久， 85我们放弃了这个限制，转而使用“软中断”。 86 87``include/linux/interrupt.h`` 列出了不同的软中断。定时器软中断是一个非常重要 88的软中断（ ``include/linux/timer.h`` ）：您可以注册它以在给定时间后为您调用 89函数。 90 91软中断通常是一个很难处理的问题，因为同一个软中断将同时在多个CPU上运行。因此， 92子任务（ ``include/linux/interrupt.h`` ）更常用：它们是动态可注册的（意味着 93您可以拥有任意数量），并且它们还保证任何子任务都只能在一个CPU上运行，不同的 94子任务也可以同时运行。 95 96.. warning:: 97 98 “tasklet”这个名字是误导性的：它们与“任务”无关，可能更多与当时 99 阿列克谢·库兹涅佐夫享用的糟糕伏特加有关。 100 101你可以使用 :c:func:`in_softirq()` 宏（ ``include/linux/preempt.h`` ）来确认 102是否处于软中断（或子任务）中。 103 104.. warning:: 105 106 注意，如果持有 :ref:`bottom half lock <local_bh_disable_zh>` 锁，这将返回 107 假阳性。 108 109一些基本规则 110================ 111 112缺少内存保护 113 如果你损坏了内存，无论是在用户上下文还是中断上下文中，整个机器都会崩溃。 114 你确定你不能在用户空间里做你想做的事吗？ 115 116缺少浮点或MMX 117 FPU上下文不会被保存；即使在用户上下文中，FPU状态也可能与当前进程不一致： 118 您会弄乱某些用户进程的FPU状态。如果真的要这样做，就必须显式地保存/恢复 119 完整的FPU状态（并避免上下文切换）。这通常不是个好主意；请优先用定点算法。 120 121严格的堆栈限制 122 对于大多数32位体系结构，根据配置选项的不同内核堆栈大约为3K到6K；对于大 123 多数64位机器，内核堆栈大约为14K，并且经常与中断共享，因此你无法使用全部。 124 应避免深度递归和栈上的巨型本地数组（用动态分配它们来代替）。 125 126Linux内核是可移植的 127 就这样吧。您的代码应该是纯64位的，并且不依赖于字节序（endian）。您还应该 128 尽量减少CPU特定的东西，例如内联汇编（inline assembly）应该被干净地封装和 129 最小化以便于移植。一般来说，它应该局限于内核树中有体系结构依赖的部分。 130 131输入输出控制（ioctls）：避免编写新的系统调用 132============================================== 133 134系统调用（system call）通常看起来像这样:: 135 136 asmlinkage long sys_mycall(int arg) 137 { 138 return 0; 139 } 140 141 142首先，在大多数情况下，您无需创建新的系统调用。创建一个字符设备并为其实现适当 143的输入输出控制（ioctls）。这比系统调用灵活得多，不必写进每个体系结构的 144``include/asm/unistd.h`` 和 ``arch/kernel/entry.S`` 文件里，而且更容易被Linus 145接受。 146 147如果您的程序所做的只是读取或写入一些参数，请考虑实现 :c:func:`sysfs()` 接口。 148 149在输入输出控制中，您处于进程的用户上下文。出现错误时，返回一个负的错误参数 150（errno，请参阅 ``include/uapi/asm-generic/errno-base.h`` 、 151``include/uapi/asm-generic/errno.h`` 和 ``include/linux/errno.h`` ），否则返 152回0。 153 154在睡眠之后，您应该检查是否出现了信号：Unix/Linux处理信号的方法是暂时退出系统 155调用，并返回 ``-ERESTARTSYS`` 错误。系统调用入口代码将切换回用户上下文，处理 156信号处理程序，然后系统调用将重新启动（除非用户禁用了该功能）。因此，您应该准 157备好处理重新启动，例如若您处理某些数据结构到一半。 158 159:: 160 161 if (signal_pending(current)) 162 return -ERESTARTSYS; 163 164 165如果你要做更长时间的计算：优先考虑用户空间。如果你真的想在内核中做这件事，你 166应该定期检查你是否需要让出CPU（请记得每个CPU都有协作多任务）。 167习惯用法:: 168 169 cond_resched(); /* Will sleep */ 170 171 172接口设计的小注释：UNIX系统调用的格言是“提供机制而不是策略 173Provide mechanism not policy”。 174 175死锁的“配方” 176==================== 177 178您不能调用任何可能睡眠的程序，除非： 179 180- 您处于用户上下文中。 181 182- 你未拥有任何自旋锁。 183 184- 您已经启用中断（实际上，Andi Kleen说调度代码将为您启用它们，但这可能不是 185 您想要的）。 186 187注意，有些函数可能隐式地睡眠：常见的是用户空间访问函数（\*_user）和没有 188``GFP_ATOMIC`` 的内存分配函数。 189 190您应该始终打开 ``CONFIG_DEBUG_ATOMIC_SLEEP`` 项来编译内核，如果您违反这些 191规则，它将警告您。如果你 **真的** 违反了规则，你最终会锁住你的电脑。 192 193真的会这样。 194 195 196常用函数/程序 197=============== 198 199:c:func:`printk()` 200------------------ 201 202定义于 ``include/linux/printk.h`` 203 204:c:func:`printk()` 将内核消息提供给控制台、dmesg和syslog守护进程。它对于调 205试和报告错误很有用，并且可以在中断上下文中使用，但是使用时要小心：如果机器 206的控制台中充斥着printk消息则会无法使用。它使用与ANSI C printf基本兼容的格式 207字符串，并通过C字符串串联为其提供第一个“优先”参数:: 208 209 printk(KERN_INFO "i = %u\n", i); 210 211 212参见 ``include/linux/kern_levels.h`` ；了解其他 ``KERN_`` 值；syslog将这些值 213解释为级别。特殊用法：打印IP地址使用:: 214 215 __be32 ipaddress; 216 printk(KERN_INFO "my ip: %pI4\n", &ipaddress); 217 218 219:c:func:`printk()` 内部使用的1K缓冲区，不捕获溢出。请确保足够使用。 220 221.. note:: 222 223 当您开始在用户程序中将printf打成printk时，就知道自己是真正的内核程序员了 224 :) 225 226.. note:: 227 228 另一个注释：最初的unix第六版源代码在其printf函数的顶部有一个注释：“printf 229 不应该用于叽叽喳喳”。你也应该遵循此建议。 230 231:c:func:`copy_to_user()` / :c:func:`copy_from_user()` / :c:func:`get_user()` / :c:func:`put_user()` 232--------------------------------------------------------------------------------------------------- 233 234定义于 ``include/linux/uaccess.h`` / ``asm/uaccess.h`` 235 236**[睡眠]** 237 238:c:func:`put_user()` 和 :c:func:`get_user()` 用于从用户空间中获取和向用户空 239间中传出单个值（如int、char或long）。指向用户空间的指针永远不应该直接取消 240引用：应该使用这些程序复制数据。两者都返回 ``-EFAULT`` 或 0。 241 242:c:func:`copy_to_user()` 和 :c:func:`copy_from_user()` 更通用：它们从/向用户 243空间复制任意数量的数据。 244 245.. warning:: 246 247 与 :c:func:`put_user()` 和 :c:func:`get_user()` 不同，它们返回未复制的 248 数据量（即0仍然意味着成功）。 249 250【是的，这个愚蠢的接口真心让我尴尬。火爆的口水仗大概每年都会发生。 251—— Rusty Russell】 252 253这些函数可以隐式睡眠。它不应该在用户上下文之外调用（没有意义）、调用时禁用中断 254或获得自旋锁。 255 256:c:func:`kmalloc()`/:c:func:`kfree()` 257------------------------------------- 258 259定义于 ``include/linux/slab.h`` 260 261**[可能睡眠：见下]** 262 263这些函数用于动态请求指针对齐的内存块，类似用户空间中的malloc和free，但 264:c:func:`kmalloc()` 需要额外的标志词。重要的值： 265 266``GFP_KERNEL`` 267 可以睡眠和交换以释放内存。只允许在用户上下文中使用，但这是分配内存最可靠 268 的方法。 269 270``GFP_ATOMIC`` 271 不会睡眠。较 ``GFP_KERNEL`` 更不可靠，但可以从中断上下文调用。你 **应该** 272 有一个很好的内存不足错误处理策略。 273 274``GFP_DMA`` 275 分配低于16MB的ISA DMA。如果你不知道那是什么，那你就不需要了。非常不可靠。 276 277如果您看到一个从无效上下文警告消息调用的睡眠的函数，那么您可能在没有 278``GFP_ATOMIC`` 的情况下从中断上下文调用了一个睡眠的分配函数。你必须立即修复， 279快点！ 280 281如果你要分配至少 ``PAGE_SIZE`` （ ``asm/page.h`` 或 ``asm/page_types.h`` ） 282字节，请考虑使用 :c:func:`__get_free_pages()` （ ``include/linux/gfp.h`` ）。 283它采用顺序参数（0表示页面大小，1表示双页，2表示四页……）和与上述相同的内存 284优先级标志字。 285 286如果分配的字节数超过一页，可以使用 :c:func:`vmalloc()` 。它将在内核映射中分 287配虚拟内存。此块在物理内存中不是连续的，但是MMU（内存管理单元）使它看起来像 288是为您准备好的连续空间（因此它只是看起来对cpu连续，对外部设备驱动程序则不然）。 289如果您真的需要为一些奇怪的设备提供大量物理上连续的内存，那么您就会遇到问题： 290Linux对此支持很差，因为正在运行的内核中的内存碎片化会使它变得很困难。最好的 291方法是在引导过程的早期通过 :c:func:`alloc_bootmem()` 函数分配。 292 293在创建自己的常用对象缓存之前，请考虑使用 ``include/linux/slab.h`` 中的slab 294缓存。 295 296:c:macro:`current` 297------------------ 298 299定义于 ``include/asm/current.h`` 300 301此全局变量（其实是宏）包含指向当前任务结构（task structure）的指针，因此仅在 302用户上下文中有效。例如，当进程进行系统调用时，这将指向调用进程的任务结构。 303在中断上下文中不为空（**not NULL**）。 304 305:c:func:`mdelay()`/:c:func:`udelay()` 306------------------------------------- 307 308定义于 ``include/asm/delay.h`` / ``include/linux/delay.h`` 309 310:c:func:`udelay()` 和 :c:func:`ndelay()` 函数可被用于小暂停。不要对它们使用 311大的值，因为这样会导致溢出——帮助函数 :c:func:`mdelay()` 在这里很有用，或者 312考虑 :c:func:`msleep()`。 313 314:c:func:`cpu_to_be32()`/:c:func:`be32_to_cpu()`/:c:func:`cpu_to_le32()`/:c:func:`le32_to_cpu()` 315----------------------------------------------------------------------------------------------- 316 317定义于 ``include/asm/byteorder.h`` 318 319:c:func:`cpu_to_be32()` 系列函数（其中“32”可以替换为64或16，“be”可以替换为 320“le”）是在内核中进行字节序转换的常用方法：它们返回转换后的值。所有的变体也 321提供反向转换函数： 322:c:func:`be32_to_cpu()` 等。 323 324这些函数有两个主要的变体：指针变体，例如 :c:func:`cpu_to_be32p()` ，它获取 325指向给定类型的指针，并返回转换后的值。另一个变体是“in-situ”系列，例如 326:c:func:`cpu_to_be32s()` ，它转换指针引用的值，并返回void。 327 328:c:func:`local_irq_save()`/:c:func:`local_irq_restore()` 329-------------------------------------------------------- 330 331定义于 ``include/linux/irqflags.h`` 332 333 334这些程序禁用本地CPU上的硬中断，并还原它们。它们是可重入的；在其一个 335``unsigned long flags`` 参数中保存以前的状态。如果您知道中断已启用，那么可 336直接使用 :c:func:`local_irq_disable()` 和 :c:func:`local_irq_enable()`。 337 338.. _local_bh_disable_zh: 339 340:c:func:`local_bh_disable()`/:c:func:`local_bh_enable()` 341-------------------------------------------------------- 342 343定义于 ``include/linux/bottom_half.h`` 344 345 346这些程序禁用本地CPU上的软中断，并还原它们。它们是可重入的；如果之前禁用了 347软中断，那么在调用这对函数之后仍然会禁用它们。它们阻止软中断和子任务在当前 348CPU上运行。 349 350:c:func:`smp_processor_id()` 351---------------------------- 352 353定义于 ``include/linux/smp.h`` 354 355:c:func:`get_cpu()` 禁用抢占（这样您就不会突然移动到另一个cpu）并返回当前 356处理器号，介于0和 ``NR_CPUS`` 之间。请注意，CPU编号不一定是连续的。完成后， 357使用 :c:func:`put_cpu()` 再次返回。 358 359如果您知道您不能被另一个任务抢占（即您处于中断上下文中，或已禁用抢占），您 360可以使用 :c:func:`smp_processor_id()`。 361 362``__init``/``__exit``/``__initdata`` 363------------------------------------ 364 365定义于 ``include/linux/init.h`` 366 367引导之后，内核释放一个特殊的部分；用 ``__init`` 标记的函数和用 ``__initdata`` 368标记的数据结构在引导完成后被丢弃：同样地，模块在初始化后丢弃此内存。 369``__exit`` 用于声明只在退出时需要的函数：如果此文件未编译为模块，则该函数将 370被删除。请参阅头文件以使用。请注意，使用 :c:func:`EXPORT_SYMBOL()` 或 371:c:func:`EXPORT_SYMBOL_GPL()` 将标记为 ``__init`` 的函数导出到模块是没有意义 372的——这将出问题。 373 374 375:c:func:`__initcall()`/:c:func:`module_init()` 376---------------------------------------------- 377 378定义于 ``include/linux/init.h`` / ``include/linux/module.h`` 379 380内核的许多部分都作为模块（内核的可动态加载部分）良好服务。使用 381:c:func:`module_init()` 和 :c:func:`module_exit()` 宏可以简化代码编写，无需 382``#ifdef`` ，即可以作为模块运行或内置在内核中。 383 384:c:func:`module_init()` 宏定义在模块插入时（如果文件编译为模块）或在引导时 385调用哪个函数：如果文件未编译为模块，:c:func:`module_init()` 宏将等效于 386:c:func:`__initcall()` ，它通过链接器的魔力确保在引导时调用该函数。 387 388该函数可以返回一个错误值，以导致模块加载失败（不幸的是，如果将模块编译到内核 389中，则此操作无效）。此函数在启用中断的用户上下文中调用，因此可以睡眠。 390 391:c:func:`module_exit()` 392----------------------- 393 394 395定义于 ``include/linux/module.h`` 396 397这个宏定义了在模块删除时要调用的函数（如果是编译到内核中的文件，则无用武之地）。 398只有在模块使用计数到零时才会调用它。这个函数也可以睡眠，但不能失败：当它返回 399时，所有的东西都必须清理干净。 400 401注意，这个宏是可选的：如果它不存在，您的模块将不可移除（除非 ``rmmod -f`` ）。 402 403:c:func:`try_module_get()`/:c:func:`module_put()` 404------------------------------------------------- 405 406定义于 ``include/linux/module.h`` 407 408这些函数会操作模块使用计数，以防止删除（如果另一个模块使用其导出的符号之一， 409则无法删除模块，参见下文）。在调用模块代码之前，您应该在该模块上调用 410:c:func:`try_module_get()` ：若失败，那么该模块将被删除，您应该将其视为不存在。 411若成功，您就可以安全地进入模块，并在完成后调用模块 :c:func:`module_put()` 。 412 413大多数可注册结构体都有所有者字段，例如在 414:c:type:`struct file_operations <file_operations>` 结构体中，此字段应设置为 415宏 ``THIS_MODULE`` 。 416 417等待队列 ``include/linux/wait.h`` 418==================================== 419 420**[睡眠]** 421 422等待队列用于等待某程序在条件为真时唤醒另一程序。必须小心使用，以确保没有竞争 423条件。先声明一个 :c:type:`wait_queue_head_t` ，然后对希望等待该条件的进程声明 424一个关于它们自己的 :c:type:`wait_queue_entry_t` ，并将其放入队列中。 425 426声明 427----- 428 429使用 :c:func:`DECLARE_WAIT_QUEUE_HEAD()` 宏声明一个 ``wait_queue_head_t`` ， 430或者在初始化代码中使用 :c:func:`init_waitqueue_head()` 程序。 431 432排队 433----- 434 435将自己放在等待队列中相当复杂，因为你必须在检查条件之前将自己放入队列中。有一 436个宏可以来执行此操作： :c:func:`wait_event_interruptible()` 437（ ``include/linux/wait.h`` ）第一个参数是等待队列头，第二个参数是计算的表达 438式；当该表达式为true时宏返回0，或者在接收到信号时返回 ``-ERESTARTSYS`` 。 439:c:func:`wait_event()` 版本会忽略信号。 440 441唤醒排队任务 442------------- 443 444调用 :c:func:`wake_up()` （ ``include/linux/wait.h`` ），它将唤醒队列中的所有 445进程。例外情况：如果有一个进程设置了 ``TASK_EXCLUSIVE`` ，队列的其余部分将不 446会被唤醒。这个基本函数的其他变体也可以在同一个头文件中使用。 447 448原子操作 449========= 450 451某些操作在所有平台上都有保证。第一类为操作 :c:type:`atomic_t` 452（ ``include/asm/atomic.h`` ）的函数；它包含一个有符号整数（至少32位长）， 453您必须使用这些函数来操作或读取 :c:type:`atomic_t` 变量。 454:c:func:`atomic_read()` 和 :c:func:`atomic_set()` 获取并设置计数器，还有 455:c:func:`atomic_add()` ，:c:func:`atomic_sub()` ，:c:func:`atomic_inc()` ， 456:c:func:`atomic_dec()` 和 :c:func:`atomic_dec_and_test()` （如果递减为零， 457则返回true）。 458 459是的。它在原子变量为零时返回true（即!=0）。 460 461请注意，这些函数比普通的算术运算速度慢，因此不应过度使用。 462 463第二类原子操作是在 ``unsigned long`` （ ``include/linux/bitops.h`` ）上的 464原子位操作。这些操作通常采用指向位模式（bit pattern）的指针，第0位是最低有效 465位。:c:func:`set_bit()`，:c:func:`clear_bit()` 和 :c:func:`change_bit()` 设置、 466清除和更改给定位。:c:func:`test_and_set_bit()` ，:c:func:`test_and_clear_bit()` 467和 :c:func:`test_and_change_bit()` 执行相同的操作，但如果之前设置了位，则返回 468true；这些对于原子设置标志特别有用。 469 470可以使用大于 ``BITS_PER_LONG`` 位的位索引调用这些操作。但结果在大端序平台上 471不太正常，所以最好不要这样做。 472 473符号 474===== 475 476在内核内部，正常的链接规则仍然适用（即除非用static关键字将符号声明为文件范围， 477否则它可以在内核中的任何位置使用）。但是对于模块，会保留一个特殊可导出符号表， 478该表将入口点限制为内核内部。模块也可以导出符号。 479 480:c:func:`EXPORT_SYMBOL()` 481------------------------- 482 483定义于 ``include/linux/export.h`` 484 485这是导出符号的经典方法：动态加载的模块将能够正常使用符号。 486 487:c:func:`EXPORT_SYMBOL_GPL()` 488----------------------------- 489 490定义于 ``include/linux/export.h`` 491 492 493类似于 :c:func:`EXPORT_SYMBOL()`，只是 :c:func:`EXPORT_SYMBOL_GPL()` 导出的 494符号只能由具有由 :c:func:`MODULE_LICENSE()` 指定GPL兼容许可证的模块看到。这 495意味着此函数被认为是一个内部实现问题，而不是一个真正的接口。一些维护人员和 496开发人员在添加一些新的API或功能时可能却需要导出 EXPORT_SYMBOL_GPL()。 497 498:c:func:`EXPORT_SYMBOL_NS()` 499---------------------------- 500 501定义于 ``include/linux/export.h`` 502 503这是 ``EXPORT_SYMBOL()`` 的变体，允许指定符号命名空间。符号名称空间记录于 504Documentation/core-api/symbol-namespaces.rst 。 505 506:c:func:`EXPORT_SYMBOL_NS_GPL()` 507-------------------------------- 508 509定义于 ``include/linux/export.h`` 510 511这是 ``EXPORT_SYMBOL_GPL()`` 的变体，允许指定符号命名空间。符号名称空间记录于 512Documentation/core-api/symbol-namespaces.rst 。 513 514程序与惯例 515=========== 516 517双向链表 ``include/linux/list.h`` 518----------------------------------- 519 520内核头文件中曾经有三组链表程序，但这一组是赢家。如果你对一个单链表没有特别迫切的 521需求，那么这是一个不错的选择。 522 523通常 :c:func:`list_for_each_entry()` 很有用。 524 525返回值惯例 526------------ 527 528对于在用户上下文中调用的代码，违背C语言惯例是很常见的，即返回0表示成功，返回 529负错误值（例如 ``-EFAULT`` ）表示失败。这在一开始可能是不直观的，但在内核中 530相当普遍。 531 532使用 :c:func:`ERR_PTR()` （ ``include/linux/err.h`` ）将负错误值编码到指针中， 533然后使用 :c:func:`IS_ERR()` 和 :c:func:`PTR_ERR()` 将其再取出：避免为错误值 534使用单独的指针参数。挺讨厌的，但的确是个好方式。 535 536破坏编译 537---------- 538 539Linus和其他开发人员有时会更改开发内核中的函数或结构体名称；这样做不仅是为了 540让每个人都保持警惕，还反映了一个重大的更改（例如，不能再在打开中断的情况下 541调用，或者执行额外的检查，或者不执行以前捕获的检查）。通常这会附带一个linux 542内核邮件列表中相当全面的注释；请搜索存档以查看。简单地对文件进行全局替换通常 543会让事情变得 **更糟** 。 544 545初始化结构体成员 546------------------ 547 548初始化结构体的首选方法是使用指定的初始化器，如ISO C99所述。 549例如:: 550 551 static struct block_device_operations opt_fops = { 552 .open = opt_open, 553 .release = opt_release, 554 .ioctl = opt_ioctl, 555 .check_media_change = opt_media_change, 556 }; 557 558 559这使得很容易查找（grep），并且可以清楚地看到设置了哪些结构字段。你应该这样做， 560因为它看起来很酷。 561 562GNU 扩展 563---------- 564 565Linux内核中明确允许GNU扩展。请注意，由于缺乏通用性，一些更复杂的版本并没有 566得到很好的支持，但以下内容被认为是标准的（有关更多详细信息，请参阅GCC info页 567的“C 扩展”部分——是的，实际上是info页，手册页只是info中内容的简短摘要）。 568 569- 内联函数 570 571- 语句表达式（Statement expressions）（即（{ 和 }）结构）。 572 573 574- 声明函数/变量/类型的属性（__attribute__） 575 576- typeof 577 578- 零长度数组 579 580- 宏变量 581 582- 空指针运算 583 584- 非常量（Non-Constant）初始化程序 585 586- 汇编程序指令（在 arch/ 和 include/asm/ 之内） 587 588- 字符串函数名（__func__）。 589 590- __builtin_constant_p() 591 592在内核中使用long long时要小心，gcc为其生成的代码非常糟糕：除法和乘法在i386上 593不能工作，因为内核环境中缺少用于它的gcc运行时函数。 594 595C++ 596--- 597 598在内核中使用C++通常是个坏主意，因为内核不提供必要的运行时环境，并且不为其 599测试包含文件。不过这仍然是可能的，但不建议。如果你真的想这么做，至少别用 600异常处理（exceptions）。 601 602#if 603--- 604 605通常认为，在头文件（或.c文件顶部）中使用宏来抽象函数比在源代码中使用“if”预 606处理器语句更干净。 607 608把你的东西放进内核里 609====================== 610 611为了让你的东西更正式、补丁更整洁，还有一些工作要做： 612 613- 搞清楚你在谁的地界儿上干活。查看源文件的顶部、 ``MAINTAINERS`` 文件以及 614 ``CREDITS`` 文件的最后一部分。你应该和此人协调，确保你没有重新发明轮子， 615 或者尝试一些已经被拒绝的东西。 616 617 确保你把你的名字和电子邮件地址放在你创建或修改的任何文件的顶部。当人们发 618 现一个缺陷，或者想要做出修改时，这是他们首先会看的地方。 619 620- 通常你需要一个配置选项来支持你的内核编程。在适当的目录中编辑 ``Kconfig`` 。 621 配置语言很容易通过剪切和粘贴来使用，在 622 Documentation/kbuild/kconfig-language.rst 中有完整的文档。 623 624 在您对选项的描述中，请确保同时照顾到了专家用户和对此功能一无所知的用户。 625 在此说明任何不兼容和问题。结尾一定要写上“如有疑问，就选N”（或者是“Y”）； 626 这是针对那些看不懂你在说什么的人的。 627 628- 编辑 ``Makefile`` ：配置变量在这里导出，因此通常你只需添加一行 629 “obj-$(CONFIG_xxx) += xxx.o”。语法记录在 630 Documentation/kbuild/makefiles.rst 。 631 632- 如果你做了一些有意义的事情，那可以把自己放进 ``CREDITS`` ，通常不止一个 633 文件（无论如何你的名字都应该在源文件的顶部）。维护人员意味着您希望在对 634 子系统进行更改时得到询问，并了解缺陷；这意味着对某部分代码做出更多承诺。 635 636- 最后，别忘记去阅读 Documentation/process/submitting-patches.rst ， 637 也许还有 Documentation/process/submitting-drivers.rst 。 638 639Kernel 仙女棒 640=============== 641 642浏览源代码时的一些收藏。请随意添加到此列表。 643 644``arch/x86/include/asm/delay.h``:: 645 646 #define ndelay(n) (__builtin_constant_p(n) ? \ 647 ((n) > 20000 ? __bad_ndelay() : __const_udelay((n) * 5ul)) : \ 648 __ndelay(n)) 649 650 651``include/linux/fs.h``:: 652 653 /* 654 * Kernel pointers have redundant information, so we can use a 655 * scheme where we can return either an error code or a dentry 656 * pointer with the same return value. 657 * 658 * This should be a per-architecture thing, to allow different 659 * error and pointer decisions. 660 */ 661 #define ERR_PTR(err) ((void *)((long)(err))) 662 #define PTR_ERR(ptr) ((long)(ptr)) 663 #define IS_ERR(ptr) ((unsigned long)(ptr) > (unsigned long)(-1000)) 664 665``arch/x86/include/asm/uaccess_32.h:``:: 666 667 #define copy_to_user(to,from,n) \ 668 (__builtin_constant_p(n) ? \ 669 __constant_copy_to_user((to),(from),(n)) : \ 670 __generic_copy_to_user((to),(from),(n))) 671 672 673``arch/sparc/kernel/head.S:``:: 674 675 /* 676 * Sun people can't spell worth damn. "compatibility" indeed. 677 * At least we *know* we can't spell, and use a spell-checker. 678 */ 679 680 /* Uh, actually Linus it is I who cannot spell. Too much murky 681 * Sparc assembly will do this to ya. 682 */ 683 C_LABEL(cputypvar): 684 .asciz "compatibility" 685 686 /* Tested on SS-5, SS-10. Probably someone at Sun applied a spell-checker. */ 687 .align 4 688 C_LABEL(cputypvar_sun4m): 689 .asciz "compatible" 690 691 692``arch/sparc/lib/checksum.S:``:: 693 694 /* Sun, you just can't beat me, you just can't. Stop trying, 695 * give up. I'm serious, I am going to kick the living shit 696 * out of you, game over, lights out. 697 */ 698 699 700致谢 701===== 702 703感谢Andi Kleen提出点子，回答我的问题，纠正我的错误，充实内容等帮助。 704感谢Philipp Rumpf做了许多拼写和清晰度修复，以及一些优秀的不明显的点。 705感谢Werner Almesberger对 :c:func:`disable_irq()` 做了一个很好的总结， 706Jes Sorensen和Andrea Arcangeli补充了一些注意事项。 707感谢Michael Elizabeth Chastain检查并补充了配置部分。 708感谢Telsa Gwynne教我DocBook。