读写器问题的状态转换图

Question

我不理解我的教授意味着当他说写标志和读标志时。 0意味着它被触发了吗？ 他希望我们绘制状态转换图，但我想如果我知道发生了什么，我可以自己做。

+---------+------------+-----------+----------------+
| Counter | Write flag | Read flag | Interpretation |
+---------+------------+-----------+----------------+
| 0       | 0          | 0         | Write locked   |
| 0       | 0          | 1         | Invalid        |
| 0       | 1          | 0         | Invalid        |
| 0       | 1          | 1         | Available      |
| N       | 0          | 0         | Write request  |
| N       | 0          | 1         | Read locked    |
| N       | 1          | 0         | Invalid        |
| N       | 1          | 1         | Invalid        |
+---------+------------+-----------+----------------+

Answer 1

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