如何解决为什么wait() 和signal() 信号量操作需要是原子的?
我正在阅读 Operating System Concepts 中的同步章节。在第 215 页上,wait() 和信号操作定义如下:
wait(semaphore *S) {
S->value--;
if (S->value < 0) {
add this process to S->list;
block();
}
}
signal(semaphore *S) {
S->value++;
if (S->value <= 0) {
remove a process P from S->list;
wakeup(P);
}
}
然后声明:
以原子方式执行信号量操作至关重要。我们 必须保证没有两个进程可以执行wait()和signal() 同时对同一个信号量进行操作。
因此两个进程同时执行 wait() 和 signal() 可能会以某种方式破坏互斥。
我不确定什么样的调用顺序可以说明它们是原子的。我觉得这与 S->value
保持恒定有关,如果我们首先调用信号,中断等待然后中断返回信号。这可能会以某种方式导致不应该被唤醒的进程被唤醒。
我需要一个例子来说明为什么 wait() 和 signal() 需要是原子的才能互斥。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。