操作系统状态图 [重复]

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。