<div dir="ltr">I'm trying to figure out what guarantees that release forks (setting false to elements of forks array) is visible for other threads?<br><br><div>Say p1 implements the last iteration in stride, sets true to forks[0] & forks[1], release waiter monitor (since this moment p2, p3 after taking waiter monitor must see an update of forks to true) leaves infinite loop and restore elements to false without any synchronization and goes in framework for sync with other threads using access to other volatile variable.<br><br>So why must p2 and p3 see false value in forks[0] and forks [1]?</div><div>Without that p2 and p3 fall into an infinite loop.<br><br>Thanks in advance,</div><div>Serguei.</div></div>