LINUX内核信号量设计与实现.pdfVIP

Generated by Foxit PDF Creator © Foxit Software For evaluation only. LINUX 内核信号量设计与实现 taoistf just for fun taoistf@ 2008/08/18 一 LINUX 内核信号量简介 为了同步对内核共享资源的访问，内核提供了down 函数和up 函数用于获取和释放 资源。down 和up 所保护的访问资源的内核代码区域，就构成一个临界区。在等待 获取资源进入临界区的过程中，代表进程运行的内核控制路径可以睡眠。 我们从 LINUX 内核信号量最直观的设计/实现出发，通过一步步改进，揭示在x86 平台上完整的信号量设计/实现，然后探讨在不同平台上通用的信号量设计/实现。 二 LINUX 内核信号量的初步设计与实现 1 数据结构 我们首先分析信号量semphore 应具备的数据结构。它需要一个计数count，表示能 进入临界区的进程个数。conut 一般初始化为1，表示信号量是互斥信号量，一次只 允许一个进程进入临界区。它也能被初始化为其他正值，表示可有多个进程同时进 入临界区。 当进程不能进入临界区时，它必须在信号量上睡眠，因此需要一个表示“等待队列头” 的字段wait 。在SMP 中，等待队列需要自旋锁来保护，因此wait 结构中应含有自 旋锁lock ，和指向等待队列链表的指针task_list 。而插入等待队列的“等待元素” ，其 字段中应含有指向进程结构的指针task ，及能够链入等待队列的指针task_list 。 Generated by Foxit PDF Creator © Foxit Software For evaluation only. 具体表示如下： struct wait_queue_t{ struct task_struct * task; struct list_head task_list; }; /* 等待元素结构 */ struct wait_queue_head_t{ spinlock_t lock; struct list_head task_list; }; /* 等待队列头结构 */ struct semphore{ int count; wait_queue_head_t wait; } /* 信号量结构 */ 2 算法 当进程需要获取信号量时，它调用down 函数进入临界区。down将semphore的count 字段减1，若count非负，则可进入临界区；否则，加入睡眠队列。当进程离开临界 区时，它调用up 函数。up将semphore 的count字段加1，若count非正，表示有进程睡 眠，则将进程从wait等待队列中移走并唤醒它。 这里有一个问题：当up 唤醒等待队列中睡眠进程时，是唤醒所有等待进程，还是只 唤醒一个？如果唤醒所有进程，它们醒来后，就会去竞争一个获得信号量的机会， 竞争失败的进程只能再度睡眠，这就使得系统有许多无谓的schedule切换，降低了系 统性能。所以，up 只唤醒一个进程。为了保持FIFO 的唤醒顺序，down会将新进程以 独占方式（表示唤醒时只唤醒一个）加在等待队列尾部，up则去唤醒等待队列头部 的第一个独占进程。 3 实现 由于信号量的实现效率与系统性能息息相关，为了达到高效的信号量实现，不同的 cpu系统根据各自特点，提供了不同版本。我们以x86平台为例，介绍信号量的实现 与优化。 我们要注意一点：由于x86 平台对原子指令有很好的支持，而并发的多个进程可能 Generated by Foxit PDF Creator © Foxit Software For evaluation only. 会同时修改或读取count 值，所以对cou