分享

linux同步机制之wait

 新用户8389DdzY 2021-10-31
1. 关于 wait_event_interruptible() 和 wake_up()的使用  
   
读一下wait_event_interruptible()的源码,不难发现这个函数先将 
当前进程的状态设置成TASK_INTERRUPTIBLE,然后调用schedule(), 
而schedule()会将位于TASK_INTERRUPTIBLE状态的当前进程从runqueue 
队列中删除。从runqueue队列中删除的结果是,当前这个进程将不再参 
与调度,除非通过其他函数将这个进程重新放入这个runqueue队列中, 
这就是wake_up()的作用了。 
  
由于这一段代码位于一个由condition控制的for(;;)循环中,所以当由 
shedule()返回时(当然是被wake_up之后,通过其他进程的schedule()而 
再次调度本进程),如果条件condition不满足,本进程将自动再次被设 
置为TASK_INTERRUPTIBLE状态,接下来执行schedule()的结果是再次被 
从runqueue队列中删除。这时候就需要再次通过wake_up重新添加到 
runqueue队列中。 
  
如此反复,直到condition为真的时候被wake_up. 
  
可见,成功地唤醒一个被wait_event_interruptible()的进程,需要满足: 
  
   在 1)condition为真的前提下,2) 调用wake_up()。 

所以,如果你仅仅修改condition,那么只是满足其中一个条件,这个时候, 
被wait_event_interruptible()起来的进程尚未位于runqueue队列中,因 
此不会被 schedule。这个时候只要wake_up一下就立刻会重新进入运行调度。 
  
2. 关于wait_event_interruptible的返回值  
  
根据 wait_event_interruptible 的宏定义知: 
  
   1) 条件condition为真时调用这个函数将直接返回0,而当前进程不会 
      被 wait_event_interruptible和从runqueue队列中删除。 
  
   2) 如果要被wait_event_interruptible的当前进程有nonblocked pending 
      signals, 那么会直接返回-ERESTARTSYS(i.e. -512),当前进程不会 
      被wait_event_interruptible 和从runqueue队列中删除。 
  
   3) 其他情况下,当前进程会被正常的wait_event_interruptible,并从 
      runqueue队列中删除,进入TASK_INTERRUPTIBLE状态退出运行调度, 
      直到再次被唤醒加入runqueue队列中后而参与调度,将正常返回0。 
  
附1:wait_event_interruptible  宏 
  
#define wait_event_interruptible(wq, condition)    \ 
({                                                 \ 
     int __ret = 0;                                  \ 
     if (!(condition))                               \ 
      __wait_event_interruptible(wq, condition, __ret); \ 
      __ret;                                         \ 
}) 
  
注: C语言中{a,b, ..., x}的的值等于最后一项,即x,因此上述 
宏的值是 __ret。 
  
  
附2:wait_event_interruptible()和 wake_up的等效代码 
  
wait_event_interruptible(wq, condition) /*等效没有考虑返回值*/ 

     if (!(condition)) 
     { 
         wait_queue_t _ _wait; 
         init_waitqueue_entry(&_ _wait, current); 
         add_wait_queue(&wq, &_ _wait); 
         for (;;) 
         { 
            set_current_state(TASK_INTERRUPTIBLE); 
            if (condition) 
            break; 
            schedule();  /* implicit call: del_from_runqueue(current)*/ 
         } 
         current->state = TASK_RUNNING; 
         remove_wait_queue(&wq, &_ _wait); 
      } 

  
  
void wake_up(wait_queue_head_t *q) 

      struct list_head *tmp; 
      wait_queue_t *curr; 
      list_for_each(tmp, &q->task_list) 
      { 
        curr = list_entry(tmp, wait_queue_t, task_list); 
        wake_up_process(curr->task); 
        /* implicit call: add_to_runqueue(curr->task);*/ 
        if (curr->flags) 
          break; 
      } 

}

分类: Linux 系列 2012-01-03 21:40   210人阅读   评论(0)   收藏   举报

目录(?)[+]

什么是等待队列?

      在软件开发中任务经常由于某种条件没有得到满足而不得不进入睡眠状态,然后等待条件得到满足的时候再继续运行,进入运行状态。这种需求需要等待队列机制的支持。Linux中提供了等待队列的机制,该机制在内核中应用很广泛。

 

      在Linux内核中使用等待队列的过程很简单,首先定义一个wait_queue_head,然后如果一个task想等待某种事件,那么调用wait_event(等待队列,事件)就可以了。

 

Linux中等待队列的实现

      等待队列应用广泛,但是内核实现却十分简单。其涉及到两个比较重要的数据结构:

1)       __wait_queue_head,该结构描述了等待队列的链头,其包含一个链表和一个原子锁,结构定义如下:

struct__wait_queue_head {

             spinlock_tlock;                   

             struct list_headtask_list;             

};

2)       __wait_queue,该结构是对一个等待任务的抽象。每个等待任务都会抽象成一个wait_queue,并且挂载到wait_queue_head上。该结构定义如下:

struct__wait_queue {

      unsigned intflags;

      void*private;                      

      

      wait_queue_func_tfunc;             

      struct list_headtask_list;             

};

 

       Linux中等待队列的实现思想如下图所示,当一个任务需要在某个wait_queue_head上睡眠时,将自己的进程控制块信息封装到wait_queue中,然后挂载到wait_queue的链表中,执行调度睡眠。当某些事件发生后,另一个任务(进程)会唤醒wait_queue_head上的某个或者所有任务,唤醒工作也就是将等待队列中的任务设置为可调度的状态,并且从队列中删除。

点击看大图

   使用等待队列时首先需要定义一个wait_queue_head,这可以通过DECLARE_WAIT_QUEUE_HEAD宏来完成,这是静态定义的方法。该宏会定义一个wait_queue_head,并且初始化结构中的锁以及等待队列。当然,动态初始化的方法也很简单,初始化一下锁及队列就可以了。

 

      一个任务需要等待某一事件的发生时,通常调用wait_event,该函数会定义一个wait_queue,描述等待任务,并且用当前的进程描述块初始化wait_queue,然后将wait_queue加入到wait_queue_head中。函数实现流程说明如下:

1 用当前的进程描述块(PCB)初始化一个wait_queue描述的等待任务。

2 在等待队列锁资源的保护下,将等待任务加入等待队列。

3 判断等待条件是否满足,如果满足,那么将等待任务从队列中移出,退出函数。

4 如果条件不满足,那么任务调度,将CPU资源交与其它任务。

5 当睡眠任务被唤醒之后,需要重复(2)、(3)步骤,如果确认条件满足,退出等待事件函数。

 

等待队列编程接口

序号

编程接口

使用说明

1

wait_event

这是一个宏,让当前任务处于等待事件状态。输入参数如下:

@wq:等待队列

@conditions:等待条件

2

wait_event_timeout

功能与wait_event类似,多了一个超时机制。参数中多了一项超时时间。

3

wait_event_interruptible

这是一个宏,与前两个宏相比,该宏定义的等待能够被消息唤醒。如果被消息唤醒,那么返回-ERESTARTSYS。输入参数如下:

@wq:等待队列

@condition:等待条件

@rt:返回值

4

wait_event_interruptible_timeout

与(3)相比,多了超时机制

5

wake_up

唤醒等待队列中的一个任务

6

wake_up_all

唤醒等待队列中的所有任务



    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多