libretto.examples.diningPhilosophers
Type members
Classlikes
Implements Forks.
Internally, it represents a fork as a lock from the core library.
(Note that the Lock from the core library is not a primitive itself,
but is implemented using other primitives. Racing plays a key role
in that implementation.)
Implements Forks.
Internally, it represents a fork as a lock from the core library.
(Note that the Lock from the core library is not a primitive itself,
but is implemented using other primitives. Racing plays a key role
in that implementation.)