用信号量保持和等待

问题描述

假设我有两个信号量 S1(1) 和 S2(2)，它们正在执行以下操作：

T0 T1

S1.p()    S2.p()
S2.p()    S2.v()
S1.v()
S2.v()

我有“等待和等待的情况”吗？这告诉我我处于僵局状态： “保持并等待或资源持有：一个进程当前持有至少一个资源并请求其他进程持有的其他资源。”

我会说我有一个等待和等待的情况。但我不可能陷入僵局？

解决方法

保持并等待：

一个进程当前至少持有一个资源并请求其他进程持有的额外资源

假设 S1 和 S2 都是二进制信号量。

T0 将持有 S1 并尝试获取可能已被 T1 获取的 S2（持有并等待）。 T1 只尝试获取 S2 然后释放它。

我相信没有死锁是可行的，因为保持和等待和循环等待都必须发生，而且这里没有循环等待是可行的。 （T1只获取S2，T0有序获取和释放。）