读写器问题的状态转换图

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的子状态。(