On Sun, Oct 31, 2010 at 2:07 PM, Gorka Guardiola <[email protected]> wrote: > On Sun, Oct 31, 2010 at 2:06 PM, Gorka Guardiola <[email protected]> wrote: > >> So, yeah, deadlock is a synonym for deadly embrace. Yes, in Hoare's model >> they are indistinguishable, so when he says deadly embrace, he can refer >> to both. >> > > I mean livelock and deadlock are indistinguishable in Hoare's model. >
On further thought, they are. I was thinking in terms of events with the environment. But the events of gathering resources and backing up, for example if the livelock comes from a deadlock avoiding algorithm, can distinguish a livelock from a deadlock in Hoare's model too. So the difference between a livelock and a deadlock is observable and even in this case deadlock is equivalent to deadly embrace...
