-
2 votesanswersviews
关于Bakery算法的一些常见问题
我最近在学习中遇到了面包店算法，只需澄清一些事情 . 如果流程没有选择大于所有现有票证的票号，面包店算法是否可能违反互斥？ 在关键部分之后将数字[i]设置为零，以便在没有争用的情况下取得成功吗？ 并且是面包算法没有在实践中使用的原因之一，因为找到数组的最大值的过程是非原子的？我认为情况并非如此，因为这不是正确的理由 . -
0 votesanswersviews
由崩溃的TASK锁定的VxWorks Mutual排除信号量
我在基于C的应用程序中面临一个问题，其中一个VxWorks TASK（比如Task1）由于某些未知原因而崩溃 . 崩溃的任务锁定了互斥信号量（比如semA） . 现在下一个TASK2正在等待semA以获得解锁 . 由于semA被崩溃的TASK锁定，TASK2将无限等待以获取semA . 这破坏了应用程序功能 . 我们无法在TASK2中提供锁定semA的超时，因为semA正在保护通过套接字发送数据的... -
0 votesanswersviews
消费者 生产环境 者算法的混合解
我试图表明 生产环境 者/消费者问题的以下解决方案不起作用，通过显示当消费者处于M1的开头时，有一种情况是它将无法在有限的范围内使某个项目出列时间和/或存在 生产环境 者处于L2的开头的情况，并且它将无法在有限时间内将项目排队 . 我只是找不到任何证明它的例子 . 该算法假设有10个 生产环境 者，10个消费者，缓冲区大小为10 . nf = 0; // counting semaphore, #...