这段话是不是说错了？（关于信号量）

janusle

最近在看《Operating Systems Design and Implementation ,Third Edition》
看到信号量这里（2.26)，书里面有一段话，我觉得似乎说错了。注意加粗段。

A mutex is a variable that can be in one of two states: unlocked or locked. Consequently, only 1 bit is required to represent it, but in practice an integer often is used, with 0 meaning unlocked and all other values meaning locked. Two procedures are used with mutexes. When a process (or thread) needs access to a critical region, it calls mutex_lock. If the mutex is currently unlocked (meaning that the critical region is available), the call succeeds and the calling thread is free to enter the critical region.

应该是1意味着unlocked，0是locked

是我理解错了，还是作者说错了？

G00GLE

我也觉得有点问题，一般p操作是把信号量减1，v操作加1。
按照正常情况二元信号量0应该是上锁了。

mingyanguo

没问题

janusle

楼上解释一下，为什么 "0 meaning unlocked "

mingyanguo

0说明0个用户，n说明n个用户不是很直观麽。
而且，具体用什么数字表示lock/unlock完全是你自己规定的，你就愿意用1表示unlock也没问题。

janusle

但是PV操作是当程序要做P操作的时候，发现信号量是0时，就等待。

如果按你的说法，那就要重新实现PV操作了阿？

我很怀疑是书印错了。

[ 本帖最后由 janusle 于 2007-11-30 23:27 编辑 ]

mingyanguo

人家说了是mutex也没说是semaphore。。。
再说了这些东西现在就是对原子操作的抽象，什么pv qw的叫什么不成啊

janusle

不好意思阿，是我没有说清楚，其实这段话出现在“信号量”这里，作者是使用信号量来演示互斥。

他说的这段话，和他前面演示的代码有出入，所以我才问一下的。

1. 
   
2. #define N 100                          /* number of slots in the buffer */ typedef int semaphore;                 /* semaphores are a special kind of int */
   
3. semaphore mutex = 1;                   /* controls access to critical region */
   
4. semaphore empty = N;                   /* counts empty buffer slots */
   
5. semaphore full = 0;                    /* counts full buffer slots */
   
6. void producer(void)
   
7. {
   
8.      int item;
   
9.      while (TRUE){                     /* TRUE is the constant 1 */
   
10.           item = produce_item();       /* generate something to put in buffer */
    
11.           down(&empty);                /* decrement empty count */
    
12.           down(&mutex);                /* enter critical region */
    
13.           insert_item(item);           /* put new item in buffer */
    
14.           up(&mutex);                  /* leave critical region */
    
15.           up(&full);                   /* increment count of full slots */
    
16.      }
    
17. }
    
18. void consumer(void)
    
19. {
    
20.      int item;
    
21.      while (TRUE){                     /* infinite loop */
    
22.           down(&full);                 /* decrement full count */
    
23.           down(&mutex);                /* enter critical region */
    
24.           item = remove_item();        /* take item from buffer */
    
25.           up(&mutex);                  /* leave critical region */
    
26.           up(&empty);                  /* increment count of empty slots */
    
27.           consume_item(item);          /* do something with the item */
    
28.      }
    
29. }
    
30. 
    
31. 
    
32. 
    

复制代码

[ 本帖最后由 janusle 于 2007-12-1 00:18 编辑 ]

mingyanguo

哦，那就不知道了，这本书没看过，你可以找找网站上有没有勘误啥的，或者给作者个email确认一下。

图腾马

我认为互斥信号量mutex是保证两个进程对一个资源互斥操作。一般就有两个值：0和1。而且初始值为1，当一进程申请资源时，执行wait()操作，mutex--,值为0，其他进程不能再对资源作任何操作即lock.当操作结束后执行signal() 操作，mute++,值为1。