Linux进程的睡眠和唤醒.pdfVIP

1 Linux 进程的睡眠和唤醒 在Linux 中，仅等待CPU 时间的进程称为就绪进程，它们被放置在一个运行队列中，一个就绪进程的状态标志位为TASK_RUNNING。一 旦一个运行中的进程时间片用完， Linux 内核的调度器会剥夺这个进程对CPU 的控制权，并且从运行队列中选择一个合适的进程投入 运行。 当然，一个进程也可以主动释放CPU 的控制权。函数schedule()是一个调度函数，它可以被一个进程主动调用，从而调度其它进程占 用CPU。一旦这个主动放弃CPU 的进程被重新调度占用CPU，那么它将从上次停止执行的位置开始执行，也就是说它将从调用schedule() 的下一行代码处开始执行。 有时候，进程需要等待直到某个特定的事件发生，例如设备初始化完成、I/O 操作完成或定时器到时等。在这种情况下，进程则必须 从运行队列移出，加入到一个等待队列中，这个时候进程就进入了睡眠状态。 Linux 中的进程睡眠状态有两种：一种是可中断的睡眠状态，其状态标志位TASK_INTERRUPTIBLE； 另一种是不可中断的睡眠状态，其状态标志位为TASK_UNINTERRUPTIBLE。可中断的睡眠状态的进程会睡眠直到某个条件变为真，比如 说产生一个硬件中断、释放进程正在等待的系统资源或是传递一个信号都可以是唤醒进程的条件。不可中断睡眠状态与可中断睡眠状 态类似，但是它有一个例外，那就是把信号传递到这种睡眠状态的进程不能改变它的状态，也就是说它不响应信号的唤醒。不可中断 睡眠状态一般较少用到，但在一些特定情况下这种状态还是很有用的，比如说：进程必须等待，不能被中断，直到某个特定的事件发 生。 在现代的Linux 操作系统中，进程一般都是用调用schedule()的方法进入睡眠状态的，下面的代码演示了如何让正在运行的进程进入 睡眠状态。 sl ping_task = current; set_current_state(TASK_INTERRUPTIBLE); schedule(); func1(); /* Rest of the code ... */ 在第一个语句中，程序存储了一份进程结构指针sl ping_task，current 是一个宏，它指向正在执行的进程结构。set_current_state() 将该进程的状态从执行状态TASK_RUNNING 变成睡眠状态 TASK_INTERRUPTIBLE。如果schedule()是被一个状态为TASK_RUNNING 的进程调度，那么schedule()将调度另外一个进程占用CPU； 如果schedule()是被一个状态为TASK_INTERRUPTIBLE 或TASK_UNINTERRUPTIBLE 的进程调度，那么还有一个附加的步骤将被执行：当 前执行的进程在另外一个进程被调度之前会被从运行队列中移出，这将导致正在运行的那个进程进入睡眠，因为它已经不在运行队列 中了。 我们可以使用下面的这个函数将刚才那个进入睡眠的进程唤醒。 wake_up_process(sl ping_task); 在调用了wake_up_process()以后，这个睡眠进程的状态会被设置为TASK_RUNNING，而且调度器 会把它加入到运行队列中去。当然，这个进程只有在下次被调度器调度到的时候才能真正地投入运行。 2 无效唤醒 几乎在所有的情况下，进程都会在检查了某些条件之后，发现条件不满足才进入睡眠。可是有的时候 进程却会在判定条件为真后开始睡眠，如果这样的话进程就会无限期地休眠下去，这就是所谓的无效唤醒问题。在操作系统中，当多 个进程都企图对共享数据进行某种处理，而最后的结果又取决于进程运行的顺序时，就会发生竞争条件，这是操作系统中一个典型的 问题，无效唤醒恰恰就是由于竞争条件导致的。 设想有两个进程A 和B，A 进程正在处理一个链表，它需要检查这个链表是否为空，如果不空就对链表里面的数据进行一些操作，同 时B 进程也在往这个链表添加节点。当这个链表是空的时候，由于无数据可操作，这时A 进程就进入睡眠，当B 进程向链表里面添加 了节点之后它就唤醒A 进程，其代码如下： A 进程: 1 spin_lock(list_lock); 2 if(list_empty(list_head)) { 3 spin_unlock(list_lock); 4 set_current_state(TASK_INTE UPTIBLE); 5 schedule(); 6 spin_lock(list_lock); 7 } 8 9 /* Rest of the code ... */ 10 spin_unlock