信号量是否总是初始化到它可以接受的最大值？

Question

根据维基百科维基百科的说法：

信号量是防止种族状况的有用工具；然而，使用信号量并不能保证程序不受这些问题的影响。允许任意资源计数的信号量称为计数信号量，而限制在值0和1(或锁定/未锁定、不可用/可用)的信号量称为二进制信号量，用于实现锁。

信号量是否总是初始化到它可以接受的最大值？

计数信号量和二进制信号量之间的区别仅仅是它们的初始值:信号量是二进制的当且仅当它被初始化为1，而计数而不是二进制的当且仅当它被初始化为大于1的整数时？

Answer 1

不同之处在于其目的:二进制信号量通常用于实现互斥，而计数信号量则限制访问。但最终，二进制信号量只是计数信号量的一个特例。

细节仍然取决于实现。例如，在POSIX标准中，信号量是计数信号量。因此，初始值(在未命名信号量的情况下用sem_init()定义)实际上将定义它是否是二进制的。然而，计数sempahore仍然是一个计数信号量，使用更多的sem_post() ( remains )而不是sem_wait()(获取)将使信号量的值超过初始值(演示)。顺便说一下，这还允许在已经锁定的状态下创建一个信号量(初始值为0)。