Chandy/Misra solution to Dining Philosophers Problem without locking