优先级继承运用于Linux内核信号量的研究与实现①-计算机系统应用.PDF

2010 第19卷 第 11期 计 算 机 系 统 应 用 优先级继承运用于Linux 内核信号量的 研究与实现① 王亚军 ( 中国人民武装警察部队学院 河北 廊坊 065000) 要: 用优先级继承协议解决Linux 内核信号量操作中存在的优先级倒转问题，是将Linux 运用于实时系 统的重要手段。在具体分析Linux 内核信号量操作源代码的基础上，针对优先级倒转问题修改内核实 现基本优先级继承协议，并在PCM-3350 嵌入式计算机系统上测试通过。 关键词: 优先级倒转; 优先级继承; 信号量; 实时性; 嵌入式系统 Research and Realization of Priority Inheritance Applied in Linux Kernel Semaphore WANG Ya-Jun (Chinese People s Armed Police Forces Academy, Langfang 065000, China) Abstract: It is very important to solve the problem of priority inversion by means of priority inheritance when applying Linux in real-time embedded system. Based on the analysis of the Linux source codes about kernel semaphore operation, this paper realizes the base priority inheritance protocol by modifying the Linux kernel, and passes the test on the embedded system of PCM-3350. Keywords: priority inversion; priority inheritance; semaphore; real-time; embedded system 1 引言 为内核信号量提供了几组不同的P 和V 操作函数，其 为了避免多个进程同时进入临界区，Linux 内核 中以down()和up()函数最有代表性。down()和up() 采取了严格的同步机制，信号量就是其中之一。如果 函数是在include/ asm-i386/ semaphore.h 文件 一个进程试图获得一个已经被占用的内核信号量，该 中定义 的，函数头如下 ：static inline void 进程就会被推进一个等待队列进入“睡眠”状态，从 down(struct semaphore * sem) static inline 而释放处理器，使处理器可以执行其它进程的代码。 void up(struct semaphore * sem) 当持有信号量的进程释放信号量以后，在等待队列中 其中down()操作先使sem-count 减 1，减后 睡眠的进程将被唤醒，并再次试图获得该信号量以进 的结果若为非负数，表明当前进程可以进入临界区， 入临界区[1]。下面以 Linux-2.6.10 内核为例，在分 则down()操作结束；减后的结果若为负数，表明进程 析内核信号量操作源代码的基础上，基于实时应用实 不能进入临界区，则进程在 down()操作中调用 现基本优先级继承协议。 __d