请内核中关于信号量的函数__down的一些问题？

goooogo

内核中信号量（semaphore）中的__down函数，对这段函数感觉比较迷惑，有几个不太理解的地方：
1，for循环到底干什么啊？ add_wait_queue_exclusive_locked 函数已经把当前的任务给suspend，并且插入了wait队列中了。
     那么直接把sleepers设置为1，应该就可以了吧？
2，for循环中的schedule() 函数，会不会引起进程切换啊？也就是说，当调用schedule() 函数后，其后的代码要等到重新调度后，才会被执行？

1. 
   
2.     __attribute__((regparm(3))) void _ _down(struct semaphore * sem)
   
3.     {
   
4.         DECLARE_WAITQUEUE(wait, current);
   
5.         unsigned long flags;
   
6.         current->state = TASK_UNINTERRUPTIBLE;
   
7.         spin_lock_irqsave(&sem->wait.lock, flags);
   
8.         add_wait_queue_exclusive_locked(&sem->wait, &wait);
   
9.         sem->sleepers++;
   
10.         for (;;) {
    
11.             if (!atomic_add_negative(sem->sleepers-1, &sem->count)) {
    
12.                 sem->sleepers = 0;
    
13.                 break;
    
14.             }
    
15.             sem->sleepers = 1;
    
16.             spin_unlock_irqrestore(&sem->wait.lock, flags);
    
17.             schedule( );
    
18.             spin_lock_irqsave(&sem->wait.lock, flags);
    
19.             current->state = TASK_UNINTERRUPTIBLE;
    
20.         }
    
21.         remove_wait_queue_locked(&sem->wait, &wait);
    
22.         wake_up_locked(&sem->wait);
    
23.         spin_unlock_irqrestore(&sem->wait.lock, flags);
    
24.         current->state = TASK_RUNNING;
    
25.     }
    

复制代码

goooogo

自己顶一下，请大侠们指点。