[concurrency-interest] Deadlock detection

Szabolcs Ferenczi szabolcs.ferenczi at gmail.com
Fri Apr 6 17:18:35 EDT 2007


On 06/04/07, Oliver Zeigermann <oliver at zeigermann.de> wrote:

> The manager would signal a deadlock to the thread using an exception.
> The thread then is resonsible for undoing a set of actions and
> releasing all its locks in order to resolve the deadlock. Both
> releasing the locks and undoing all actions can be supported by the
> manager. Undoing all actions of a thread is the equivalent to rolling
> back a transaction in a DB system. This scenario only makes sense when
> the actions done by the thread are restricted to those undoable by the
> manager.

To me it looks like you are transforming a possible deadlock into a
possible livelock. How do you think this algorithm would respond to
the dining philosophers scenario?

Best Regards,
Szabolcs


More information about the Concurrency-interest mailing list