我正在阅读有关信号量的信息，我对这些并发主题并不熟悉。我或多或少地了解什么是信号量和什么是饥饿，即线程或进程永远等待另一个进程或线程持有的共享资源的条件，因此等待的线程或进程无法继续或继续。
根据我的定义，弱信号量应该是一个用集合实现的信号量，而不是强信号量，它是用FIFO数据结构实现的，即队列。
我们都知道集合是什么，它的属性当然对于在两个过程场景中提供饥饿自由属性负责，但我不确定如何。
对于有经验的人来说，这可能是一个容易的问题，但正如我之前所说，我对这些概念都很陌生。
弱信号量为什么以及如何在两个过程场景中提供饥饿自由？