信号量（semaphore）中的sleepers字段

sygspjlsj

小弟最近在看《深入理解linux内核》内核同步那章，讲到信号量semaphore，
其中有一个字段是sleepers，网上有的说是等待信号量的进程的数量，但书上
说的比较好，是一个标志，通过分析源码我感觉说是一个标志比较合适。
上源码：

1. fastcall void __sched __down(struct semaphore * sem)
   
2. {
   
3.         struct task_struct *tsk = current;
   
4.         DECLARE_WAITQUEUE(wait, tsk);
   
5.         unsigned long flags;
   
6. 
   
7.         tsk->state = TASK_UNINTERRUPTIBLE;
   
8.         spin_lock_irqsave(&sem->wait.lock, flags);
   
9.         add_wait_queue_exclusive_locked(&sem->wait, &wait);//把进程加到等待队列
   
10. 
    
11.         sem->sleepers++;//等待队列标志
    
12.         for (;;) {
    
13.                 int sleepers = sem->sleepers;
    
14. 
    
15.                 /*
    
16.                  * Add "everybody else" into it. They aren't
    
17.                  * playing, because we own the spinlock in
    
18.                  * the wait_queue_head.
    
19.                  */
    
20.                           //count>=0，置sleepers=0，退出循环，唤醒进程
    
21.                  //否则，执行后面的代码
    
22.                 if (!atomic_add_negative(sleepers - 1, &sem->count)) {
    
23.                         sem->sleepers = 0;
    
24.                         break;
    
25.                 }
    
26.                 sem->sleepers = 1;        /* us - see -1 above */
    
27.                 spin_unlock_irqrestore(&sem->wait.lock, flags);
    
28. 
    
29.                 schedule();
    
30. 
    
31.                 spin_lock_irqsave(&sem->wait.lock, flags);
    
32.                 tsk->state = TASK_UNINTERRUPTIBLE;
    
33.         }
    
34.         remove_wait_queue_locked(&sem->wait, &wait);
    
35.         wake_up_locked(&sem->wait);
    
36.         spin_unlock_irqrestore(&sem->wait.lock, flags);
    
37.         tsk->state = TASK_RUNNING;
    
38. }
    

复制代码

信号量初始化count=1，sleepers=0
假设进程A开始申请资源，则count变为0，开始使用资源
进程B接着申请资源，（假设A还没释放）count变为-1，进入__down()函数，sleepers变为1，执行schedule。
进程C接着申请资源，（假设B还在睡眠，刚刚schedule上的进程还在执行），count变为-2，sleepers变为2（sem->sleepers++），进入循环之后
      sleepers又变为1，但现在睡眠的有两个进程。所以我感觉sleepers解释为标志更合理些。
关于这个问题，不知道哪位大锅有更好的见解，或者关于关于这一块有别的想法。
我感觉这块不同的执行顺序可以分很多种情况，很复杂！
期待ing

sygspjlsj

肿膜没有人回答呢，难道俺的问题太rz。。。。。

senioryzc

你也没问问题啊
而且最新代码里，semaphore的实现方式已经修改了

sygspjlsj

回复 3# senioryzc
这部分看的不是很深，实在问不出问题来，晚上跟同学聊了下，我上面的理解应该是没问题的。
另外，最新的代码也是建立在旧版本的基础上的，先弄懂老的，再弄新的，嘿嘿。