读写器问题的状态转移图

Question

当我的教授说写标志和读标志时，我不明白他的意思。 0是否意味着它被触发？ 他想让我们画一个状态转换图，但我想如果我知道发生了什么，我可以自己做。

+---------+------------+------------+-------------- --+ |柜台 |写标志 |阅读标志 |口译 | +---------+------------+------------+-------------- --+ | 0 | 0 | 0 |写锁定 | | 0 | 0 | 1 |无效 | | 0 | 1 | 0 |无效 | | 0 | 1 | 1 |可用 | | N | 0 | 0 |写请求 | | N | 0 | 1 |阅读锁定 | | N | 1 | 0 |无效 | | N | 1 | 1 |无效 | +---------+------------+------------+-------------- --+

Answer 1

写标志和读标志都是布尔值，这意味着它可以保存 0 或 1。状态似乎由计数器的值和两个标志定义。我认为您的教授要求您绘制一个状态图，显示不同计数器/标志值组合之间的转换。 （我的猜测是，您的意图是将所有 counter>0 子状态折叠成一个标记为 counter=N 的子状态。）