4、QNX内存管理：进程地址空间、虚拟内存与物理内存、mmap内存映射、共享内存（shm_open）、内存保护机制

内存管理，说白了就是操作系统怎么把有限的物理内存，合理地分配给各个进程用。QNX在这方面做得相当硬核，它是个真正的微内核实时系统，内存管理既要保证实时性，又要保证隔离性。我刚开始接触QNX时，最直观的感受就是——这系统真不容易崩。一个进程挂了，其他进程纹丝不动。这背后，内存保护机制功不可没。

4.1 进程地址空间：每个进程都有自己的“小世界”

在QNX里，每个进程都拥有独立的4GB虚拟地址空间（32位系统）。你想想看，这就像每个进程都觉得自己独占了一整台机器。但实际上，物理内存可能只有512MB。这就是虚拟内存的魔法。

进程地址空间通常分成几个区域：

  • 代码段（.text）：存放可执行指令，通常是只读的。
  • 数据段（.data/.bss）：存放全局变量和静态变量。
  • 堆（Heap）：动态分配的内存，比如malloc出来的。
  • 栈（Stack）：函数调用、局部变量用的。
  • 共享库区域：加载.so文件的地方。
  • 内核映射区：用户态进程能看到一部分内核空间，但不可写。

我个人习惯用 pidin 命令来查看进程的内存布局。比如：

pidin -p my_process -m

这会列出进程的各个内存区域、起始地址、大小、权限等信息。嗯，调试内存泄漏时这招特别好用。

小技巧： 如果你发现某个进程的栈区特别大，别急着怀疑内存泄漏。先看看是不是递归调用太深了。我曾经在一个项目中，一个同事写了个无限递归的日志函数，结果栈直接爆了，系统反复重启。排查了半天才发现。

4.2 虚拟内存与物理内存：中间人MMU

虚拟内存和物理内存之间，靠的是MMU（内存管理单元）来翻译地址。每个进程访问的虚拟地址，都要经过MMU转换成物理地址。这个过程对程序员是透明的，但理解它有助于你写出更高效的代码。

QNX的虚拟内存管理有几个关键点：

  • 页表：每个进程有自己的页表，记录了虚拟页到物理页的映射。
  • 页大小：默认是4KB，但QNX也支持大页（比如64KB、1MB），减少TLB miss。
  • 缺页中断：访问未映射的虚拟地址时，会触发缺页中断。QNX会按需加载页面。

我记得有一次做视频采集卡驱动，需要频繁访问大块内存。默认4KB页导致TLB抖动严重，性能上不去。后来改用1MB大页映射，吞吐量直接翻倍。你想想看，这就是虚拟内存配置带来的实际影响。

核心要点： 虚拟内存让每个进程拥有独立的地址空间，互不干扰。物理内存则由内核统一管理，通过页表实现映射。实时系统里，缺页中断的延迟必须可控，所以QNX允许你锁定页面，防止被换出。

4.3 mmap内存映射：文件直接当内存用

mmap 是QNX里非常强大的一个系统调用。它能把一个文件或者设备，直接映射到进程的地址空间里。这样一来，读写文件就像读写内存一样简单，省去了read/write的系统调用开销。

基本用法：

#include <sys/mman.h>
#include <fcntl.h>
#include <unistd.h>

int fd = shm_open("/my_shared_mem", O_RDWR | O_CREAT, 0666);
ftruncate(fd, 4096);  // 设置大小

void *addr = mmap(NULL, 4096, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
if (addr == MAP_FAILED) {
    perror("mmap failed");
    return -1;
}

// 现在可以直接读写 addr 指向的内存了
sprintf((char *)addr, "Hello from process A");

// 用完记得解除映射
munmap(addr, 4096);
close(fd);

这里要注意几个参数：

  • PROT_READ | PROT_WRITE：指定内存保护权限。
  • MAP_SHARED：多个进程共享同一块物理内存，修改对其他进程可见。
  • MAP_PRIVATE：写时复制，每个进程有自己的副本。

我在项目中遇到过一个问题：用mmap映射一个设备寄存器文件，结果忘记指定 MAP_SHARED，用了默认的 MAP_PRIVATE。写进去的数据根本没写到设备上，排查了半天才发现。嗯，这种低级错误，犯过一次就再也不会忘了。

警告： mmap映射的文件或设备，如果被其他进程截断（truncate），可能会导致SIGBUS信号。我曾经在调试一个多进程通信模块时，一个进程把共享内存文件删了，另一个进程直接崩溃。所以，一定要做好错误处理。

4.4 共享内存（shm_open）：进程间通信的利器

共享内存是QNX里最高效的IPC方式之一。两个或多个进程通过 shm_open 打开同一个POSIX共享内存对象，然后各自mmap到自己的地址空间。这样，它们就能直接读写同一块物理内存，不需要经过内核拷贝。

典型流程：

  1. 创建者调用 shm_open 创建共享内存对象。
  2. 调用 ftruncate 设置大小。
  3. 调用 mmap 映射到地址空间。
  4. 其他进程调用 shm_open 打开同一个对象，然后mmap。
  5. 使用完毕后，调用 munmap 和 close。
  6. 最后调用 shm_unlink 删除对象。

共享内存通常配合信号量或互斥锁使用，防止数据竞争。我习惯用 pthread_mutex_t 放在共享内存头部，作为同步原语。

// 共享内存结构体
typedef struct {
    pthread_mutex_t mutex;
    int data;
    char buffer[1024];
} shared_data_t;

// 初始化
shared_data_t *shm = (shared_data_t *)mmap(...);
pthread_mutexattr_t attr;
pthread_mutexattr_init(&attr);
pthread_mutexattr_setpshared(&attr, PTHREAD_PROCESS_SHARED);
pthread_mutex_init(&shm->mutex, &attr);
避坑指南： 我曾经在共享内存里直接放了一个 std::vector，结果两个进程同时push_back，内存直接乱掉。记住，共享内存里只能放POD类型（Plain Old Data），或者你自己精心设计的、没有内部指针的结构体。C++对象带虚函数表、带动态分配，放进去就是找死。

4.5 内存保护机制：谁也别想碰谁

QNX的内存保护，是它作为硬实时操作系统的重要基石。每个进程的地址空间都是隔离的，一个进程的野指针，不可能破坏另一个进程的数据。这靠的是MMU的权限控制。

主要保护手段：

  • 用户态/内核态隔离：用户进程不能直接访问内核空间。系统调用是唯一的入口。
  • 页级权限：每个内存页都有读、写、执行权限。代码段通常是可读可执行，不可写。数据段可读可写，不可执行。
  • NX位（No Execute）：防止在数据段执行代码，对抗缓冲区溢出攻击。
  • ASLR（地址空间布局随机化）：每次加载进程时，栈、堆、共享库的基地址随机化，增加攻击难度。

QNX还提供了 mprotect 系统调用，允许进程在运行时动态修改内存页的权限。比如，你可以先分配一块内存，写入代码，然后通过 mprotect 把它改成可执行，实现JIT编译器的功能。

#include <sys/mman.h>

void *code = mmap(NULL, 4096, PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
// 写入机器码...
memcpy(code, my_machine_code, code_size);

// 改为可执行
mprotect(code, 4096, PROT_READ | PROT_EXEC);

// 现在可以跳转到 code 执行了
((void(*)())code)();
注意： 在实时系统中，频繁调用 mprotect 会导致TLB刷新，影响性能。我建议只在初始化阶段设置好权限，运行时尽量少改。另外，mprotect 只能修改当前进程的页面，不能改其他进程的。

最后说一句，QNX的内存管理，本质上是在「隔离」和「效率」之间找平衡。隔离太强，进程间通信开销大；隔离太弱，系统稳定性差。我个人觉得，QNX在这点上做得相当出色。你只要记住：每个进程都是独立的，共享内存要加锁，mmap要小心权限。做到这几点，基本不会出大问题。

← 上一章 📖 返回目录 下一章 →