第2章进程地址空间布局

第2章：进程地址空间布局：代码段、数据段、堆栈段、mmap区域在QNX中的布局策略

2.1 为什么地址空间布局如此重要？

做QNX驱动开发，你首先得搞清楚一个问题：你的驱动程序到底活在哪个地址空间里？

我刚开始接触QNX时，犯过一个低级错误。我在驱动里直接访问了一个用户态指针，结果系统当场崩溃。后来才明白——QNX的进程地址空间布局和Linux有本质区别。说白了，QNX是一个微内核系统，它的内存管理策略更强调隔离性和确定性。

每个QNX进程都拥有独立的虚拟地址空间。这个空间被划分为几个关键区域：代码段、数据段、堆栈段，还有我们驱动开发最关心的mmap区域。嗯，这里要注意，QNX的地址空间布局不是随意的，它有一套严格的策略。

2.2 代码段（Text Segment）

代码段存放的是可执行指令。在QNX中，代码段通常是只读的，并且从低地址开始加载。

我个人习惯在编译驱动时，把代码段放在0x1000开始的地址。为什么是这个值？因为QNX的进程加载器会跳过前4KB（一页），用于捕获空指针访问。这个设计很巧妙——你想想看，如果代码段从0开始，那么空指针解引用可能不会立即崩溃，反而会读到代码段的内容，造成难以调试的bug。

关键点：QNX的代码段默认是只读可执行的（r-x）。驱动代码如果试图修改自身代码段，会触发SIGSEGV。我在项目中遇到过有人想用自修改代码做性能优化，结果在QNX上直接翻车。

2.3 数据段（Data Segment）

数据段分为两部分：已初始化数据段（.data）和未初始化数据段（.bss）。

在QNX中，数据段的布局策略很有意思。它紧跟在代码段之后，但起始地址会做页对齐。我见过不少新手写的驱动，全局变量定义了一大堆，结果数据段膨胀到好几MB。这在嵌入式系统里是致命的——QNX的进程地址空间总共才4GB（32位系统），数据段太大，留给mmap区域的空间就少了。

段类型	权限	QNX默认起始地址	说明
.data	rw-	代码段结束处页对齐	存放已初始化的全局变量
.bss	rw-	.data段结束处页对齐	存放未初始化的全局变量

我的经验：在驱动开发中，尽量把大块数据放在堆上或者mmap区域，而不是全局数据段。我曾经接手过一个项目，驱动里定义了一个1MB的全局缓冲区，结果每次进程fork时都要复制这个缓冲区，性能惨不忍睹。

2.4 堆栈段（Stack Segment）

堆栈段是每个线程的私有领地。QNX的堆栈布局和Linux不太一样——它的堆栈是向下增长的，但起始地址是固定的。

你可能会问：堆栈大小怎么定？QNX默认给每个线程分配8KB的堆栈。但驱动开发中，8KB往往不够用。我记得有一次调试一个复杂的DMA驱动，递归调用深度大了点，堆栈直接溢出，数据被写到了堆栈下面的mmap区域，导致内存损坏。这个bug我查了整整两天。

避坑指南：我曾经在QNX上写一个网络驱动，堆栈设成了默认值。结果在中断上下文里调用了printf，printf内部又调用了malloc，malloc又调用了系统调用...堆栈直接爆了。记住：中断上下文里不要做复杂操作，堆栈不够用。

QNX的堆栈段布局策略是这样的：

堆栈从高地址向低地址增长
堆栈底部有一个保护页（guard page），防止堆栈溢出
每个线程的堆栈大小可以在创建时指定

2.5 mmap区域（Memory-Mapped Region）

终于说到重点了。mmap区域是驱动开发中最常用的区域。它位于堆和堆栈之间，用于映射物理内存、设备寄存器、共享内存等。

在QNX中，mmap区域的布局策略非常灵活。你可以通过mmap()系统调用，指定映射的起始地址（建议传NULL让内核选择），也可以指定映射的大小和权限。

// QNX驱动中典型的mmap用法
#include <sys/mman.h>
#include <fcntl.h>

int main() {
    // 映射物理地址0x80000000，大小4KB
    uintptr_t phys_addr = 0x80000000;
    size_t size = 0x1000;
    
    // 打开物理内存设备
    int fd = open("/dev/mem", O_RDWR);
    if (fd == -1) {
        perror("open /dev/mem failed");
        return -1;
    }
    
    // 映射物理内存到进程地址空间
    void *virt_addr = mmap(
        NULL,               // 让内核选择地址
        size,               // 映射大小
        PROT_READ | PROT_WRITE,  // 读写权限
        MAP_SHARED | MAP_PHYS,   // 物理内存映射
        fd,                 // 文件描述符
        phys_addr           // 物理地址
    );
    
    if (virt_addr == MAP_FAILED) {
        perror("mmap failed");
        close(fd);
        return -1;
    }
    
    // 现在可以通过virt_addr访问物理地址了
    printf("Mapped at: 0x%lx\n", (unsigned long)virt_addr);
    
    // 使用完毕后解除映射
    munmap(virt_addr, size);
    close(fd);
    return 0;
}

核心要点：QNX的mmap区域默认从堆栈下方开始，向低地址增长。这意味着如果你映射了大量内存，mmap区域会不断向下扩展，直到碰到堆区域。我在项目中见过一个极端情况——驱动映射了512MB的DMA缓冲区，结果mmap区域直接压到了堆上，导致malloc失败。

2.6 QNX地址空间布局的完整图示

说了这么多，我们来画个完整的地址空间布局图。嗯，用文字描述吧：

高地址
+------------------+ 0xFFFFFFFF (32位)
|   内核空间       |  (用户态不可访问)
+------------------+ 0xC0000000 (典型值)
|   堆栈段         |  (向下增长)
|   (每个线程独立) |
+------------------+  (堆栈底部保护页)
|   mmap区域       |  (向下增长)
|   (DMA缓冲区、   |
|    设备寄存器、  |
|    共享内存等)   |
+------------------+  (堆顶)
|   堆段           |  (向上增长)
|   (malloc/free)  |
+------------------+  (数据段结束)
|   数据段         |
|   (.data + .bss) |
+------------------+  (代码段结束)
|   代码段         |
|   (.text)        |
+------------------+ 0x00001000
|   空指针保护区   |
+------------------+ 0x00000000
低地址

2.7 驱动开发中的实战建议

基于我多年的QNX驱动开发经验，给你几个实用建议：

DMA缓冲区用mmap，别用malloc。malloc分配的内存是虚拟连续的，但物理上可能不连续。DMA需要物理连续的内存，所以要用mmap配合MAP_PHYS标志。
注意地址空间碎片。频繁的mmap/munmap会导致地址空间碎片化。我建议在驱动初始化时一次性映射好所有需要的物理内存，运行时不要频繁映射/解除映射。
堆栈大小要预留余量。驱动中的中断处理函数、回调函数都会消耗堆栈。我一般给驱动线程分配至少64KB的堆栈，复杂驱动甚至用到256KB。
使用proc文件系统检查布局。QNX的/proc/self/maps文件可以查看当前进程的地址空间布局。调试时多看看这个文件，能帮你快速定位问题。

小技巧：在QNX中，你可以用pidin -p <pid> -m命令查看进程的内存映射情况。这个命令比直接读/proc文件更直观，会显示每个映射段的起始地址、大小和权限。

2.8 总结

QNX的进程地址空间布局，说白了就是一套精心设计的隔离机制。代码段只读、数据段可读写、堆栈段独立、mmap区域灵活——每个区域各司其职。作为驱动开发者，理解这套布局策略，能帮你写出更稳定、更高效的驱动程序。

我记得刚入行时，带我的老工程师说过一句话：「在QNX上写驱动，内存布局就是你的地图。地图看懂了，路就不会走偏。」嗯，这句话我到现在都记得。

下一章，我们会深入讨论QNX的内存分配机制，包括物理内存分配器、虚拟内存管理，以及如何避免内存泄漏。到时候见。

📚 课程目录