StarFive Linux内核开发指南：深入理解内核编程基础

前言

本文旨在为有经验的C程序员提供Linux内核开发的入门指导，重点介绍内核编程的基本概念、常见例程和最佳实践。我们将从内核执行上下文开始，逐步深入到具体的内核编程技巧。

内核执行上下文

在Linux内核中，代码可以在四种主要上下文中执行，每种上下文有不同的特性和限制：

1. 用户上下文(User Context)

用户上下文是指从系统调用或其他陷阱进入内核时的执行环境。在此上下文中：

• 可以被更高优先级的任务和中断抢占
• 可以调用schedule()主动睡眠
• current指针有效，指向当前执行的进程
• in_interrupt()返回false

注意：模块加载/卸载和块设备层操作总是在用户上下文中执行。

2. 硬件中断上下文(Hard IRQs)

硬件中断由外部设备触发，如定时器、网卡和键盘。中断处理程序有以下特点：

• 不会被同一中断重入
• 必须快速执行（通常只是标记软中断然后退出）
• 可以使用in_hardirq()检测是否在硬件中断上下文中

3. 软中断和Tasklet上下文

软中断和tasklet用于处理大部分实际的中断工作：

• 软中断可以同时在多个CPU上运行
• tasklet保证同一时间只在一个CPU上运行
• 可以使用in_softirq()检测是否在此上下文中

内核编程基本原则

1. 无内存保护：任何内存错误都可能导致系统崩溃
2. 无浮点运算：FPU状态不会被保存，可能破坏用户进程状态
3. 严格的栈限制：内核栈大小有限（32位约3-6K，64位约14K）
4. 可移植性：代码应保持64位兼容和字节序无关

系统调用与IOCTL

创建新系统调用通常不是最佳选择，更好的替代方案包括：

1. 字符设备+IOCTL：更灵活，不需要修改架构相关代码
2. sysfs接口：适合简单的参数读写场景

在IOCTL实现中：

• 错误时返回负的errno值
• 成功时返回0
• 睡眠后应检查信号：if (signal_pending(current)) return -ERESTARTSYS;
• 长时间运算应定期调用cond_resched()

常见死锁场景

在以下情况下不能调用可能睡眠的函数：

1. 持有自旋锁时
2. 中断被禁用时
3. 不在用户上下文中

特别注意：用户空间访问函数(*_user)和非GFP_ATOMIC的内存分配函数可能隐式睡眠。

核心内核函数详解

1. printk()

内核的日志输出机制，特点包括：

• 可在中断上下文中使用
• 使用优先级前缀如KERN_INFO
• 格式化字符串类似printf
• 内部使用1K缓冲区，不检查溢出

最佳实践：避免过度使用printk，可能导致系统不可用。

2. 用户空间内存访问

• get_user()/put_user()：单值访问
• copy_from_user()/copy_to_user()：任意长度数据访问
• 这些函数可能睡眠，只能在用户上下文中调用

3. 内存分配

• kmalloc()/kfree()：类似malloc/free
  • GFP_KERNEL：可能睡眠，只能在用户上下文中使用
  • GFP_ATOMIC：不会睡眠，可在中断上下文中使用
  • GFP_DMA：用于DMA内存分配

对于大内存分配：

• 页大小以上：考虑__get_free_pages()
• 大量内存：考虑vmalloc()
• 启动时分配：alloc_bootmem()

4. 延时函数

• udelay()/ndelay()：微秒/纳秒级延时
• mdelay()：毫秒级延时
• msleep()：毫秒级睡眠

5. 字节序转换

• cpu_to_be32()/be32_to_cpu()：大端转换
• cpu_to_le32()/le32_to_cpu()：小端转换
• 指针版本(p后缀)和原地转换版本(s后缀)可用

6. 中断控制

• local_irq_save()/local_irq_restore()：保存/恢复中断状态
• local_irq_disable()/local_irq_enable()：直接禁用/启用中断
• local_bh_disable()/local_bh_enable()：禁用/启用软中断

7. 模块相关宏

• __init/__exit/__initdata：标记初始化专用函数和数据
• module_init()/module_exit()：模块入口/出口函数
• try_module_get()/module_put()：模块引用计数管理

总结

Linux内核开发需要特别注意执行上下文和同步问题。本文介绍了内核编程的基本概念和常用函数，为开发者提供了坚实的基础知识。实际开发中，应始终遵循内核的最佳实践，并充分利用内核提供的调试工具如CONFIG_DEBUG_ATOMIC_SLEEP来避免常见错误。