Question

关于计算机操作系统的问题

关于哲学家进餐思考的伪码（好像是这么说的吧）如下：
#define TRUE 1
#define N 5 // 哲学家数
Semaphore_t mutex = 1, fork[] = {1, 1, 1, 1, 1};
void philosopher (int i) // i是哲学家编号：0~N-1
{
while (TRUE) {
think();
P(&mutex);
P(&fork[i]);
P(&fork[(i+1) % N]);
V(&mutex)
eat();
V(&fork[i]);
V(&fork[(i+1) % N]); }
}
这些语句里诸如P(&mutex); P(&fork[i]);是什么意思？这个&符号是什么意思？
恳请高人解答

Answer 1

这是信号量PV操作。
P是请求操作，V是释放操作（使用结束后让别人请求）。

在变量前加&是指传地址方式，
C语言中函数参数为结构体时，一般采用传地址方式。（伪代码其实不用这么写）

这里采用了同时请求左右筷子的策略。

每个哲学家吃饭前需要请求筷子，也就是
P(&fork[i]);
P(&fork[(i+1) % N]);
直接这么写会有死锁。所以要用互斥变量mutex将其做成临界区，防止同时请求。
然后，吃饭。
吃完饭，释放筷子，让别人请求，即：
V(&fork[i]);
V(&fork[(i+1) % N]);

Answer 2

P(&mutex)是函数，这一句进行函数调用。
P(&fork[i])也是函数调用。&fork[i]是取fork[i]数组的地址。
符号&是取地址符号，C++都有说明的。整个程序要放在上下文才能理解。

Answer 3

P 跟 V 都是函数名 P(&mutext); 表示调用函数P,括号中的&mutext 表示引用mutext的地址。

Answer 4

不知道…