13、Hyman1966年提出了如下所示的解决临界段问题算法，判断它是否正确。如果不正确，举例说明它违背了Dijk

Hyman1966年提出了如下所示的解决临界段问题算法，判断它是否正确。如果不正确，举例说明它违背了Dijkstra提出的关于解决临界段问题的哪一条准则？
两个进程P0和P1共享下列变量：
Var flag array[0..1] of boolean；
Turn：0..1；
其中flag数组元素初值均为false。进程Pi（i＝0或1）所对应的程序表示为：repeat
flag[i]：＝true；
while turn ≠I do
begin
while flag[j]do skip；
turn：＝i；
end；

…
critical section
…
flag[i]：＝false；
non-critical section
until false；

正确

也许是的。