操作系统状态图

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。