操作系统状态图

Question

  

可能重复：
  State transition diagram for reader writer problem

Counter | Write Flag |  Read Flag | Description
________|____________|____________|________________
   0    |      0     |     0      | Write Locked
   0    |      0     |     1      | Invalid
   0    |      1     |     0      | Invalid
   0    |      1     |     1      | Available
n(n>0)  |      0     |     0      | Write Request
n(n>0)  |      0     |     1      | Read Lock
n(n>0)  |      1     |     0      | Invalid
n(n>0)  |      1     |     1      | Invalid
_____________________________________________________

以上是州的描述。绘制状态转换图 包括边缘标记为适当的所有有效状态 触发状态转换的事件。 另外，描述无效状态无效的原因。

你能告诉我哪些代表我的州并且可能试着描述我的绘画将如何以及如何进行我的过渡来帮助我。非常感谢！

Answer 1

希望您知道如何绘制DFA。这里有一个提示：你有8种可能的状态，它们列在你的桌子上。为它们中的每一个画一个大圆圈，然后按照你的意愿标记它们（但“描述”栏似乎是一个不错的主意）。然后，在它们之间绘制箭头，描述你如何从一个状态转到另一个状态。例如，当线程要求读锁定时，您可能会从Available转到Read Lock。