Concurrency 是“信号量”;完整的;?

Concurrency 是“信号量”;完整的;?,concurrency,theory,semaphore,Concurrency,Theory,Semaphore,每一个可以想象的同步问题都可以通过明智地使用信号量来解决吗?弱信号量呢?不。举个例子,对于一个只使用信号量进行同步的系统来说,面对第三方代码(例如插件),不可能提供无等待保证,甚至进度保证。一段不正常或写得不好的代码可能会永远拒绝所有人访问受信号量保护的代码段。否。例如,对于一个只使用信号量进行同步的系统来说,面对第三方代码(例如插件),不可能提供无等待保证,甚至进度保证。一段不正常或写得不好的代码可能会永远拒绝每个人访问信号量保护的代码段。认为适当扩展的信号量是完整的。这并不能回答我所有的问题

每一个可以想象的同步问题都可以通过明智地使用信号量来解决吗?弱信号量呢?

不。举个例子,对于一个只使用信号量进行同步的系统来说,面对第三方代码(例如插件),不可能提供无等待保证,甚至进度保证。一段不正常或写得不好的代码可能会永远拒绝所有人访问受信号量保护的代码段。

否。例如,对于一个只使用信号量进行同步的系统来说,面对第三方代码(例如插件),不可能提供无等待保证,甚至进度保证。一段不正常或写得不好的代码可能会永远拒绝每个人访问信号量保护的代码段。

认为适当扩展的信号量是完整的。这并不能回答我所有的问题,但这是正确的。David Seiler也有一个观点。

认为适当扩展的信号量是完整的。这并不能回答我所有的问题,但这是正确的。David Seiler也有一个观点。

与其让我们阅读你的书,不如在你的问题中提供我们需要回答的信息。“每一个可以想象的同步问题都可以通过明智地使用信号量来解决吗?”问题清楚吗?我提到了第4.3章来引用弱信号量,如果您已经知道弱信号量是什么,那么不需要检查pdf。(顺便说一句,这不是我的书)我删除了对这本书的引用。这里有一个相关的问题:每个计算问题都能用图灵机器解决吗?答案是肯定的,因为图灵完备性/教堂理论。这是同样的问题,但是关于信号量的完整性。与其让我们阅读你的书,不如在你的问题中提供我们需要回答的信息。“每一个可以想象的同步问题都可以通过明智地使用信号量来解决吗?”问题清楚吗?我提到了第4.3章来引用弱信号量,如果您已经知道弱信号量是什么,那么不需要检查pdf。(顺便说一句,这不是我的书)我删除了对这本书的引用。这里有一个相关的问题:每个计算问题都能用图灵机器解决吗?答案是肯定的,因为图灵完备性/教堂理论。这是同样的问题,但关于信号量的完整性。我认为这并不能回答正确的问题。问题在于信号量是否足以实现所有其他同步原语。我认为任何实现都无法承受在任意点注入错误代码,无论它使用锁或信号量还是其他什么。我认为这并不能回答正确的问题。问题在于信号量是否足以实现所有其他同步原语。我认为任何实现都无法承受在任意点注入不正确的代码,无论它使用锁或信号量,还是其他什么。