comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Synchronizing on multiple distinict resources
Date: Tue, 3 Aug 2004 10:56:04 +0200
Date: 2004-08-03T10:56:04+02:00	[thread overview]
Message-ID: <v7v0o7xngp1y.15u6pnygwg6id$.dlg@40tude.net> (raw)
In-Reply-To: 7ebaa24d.0408021054.4abc6e73@posting.google.com

On 2 Aug 2004 11:54:30 -0700, Chad R. Meiners wrote:

> Task and protected objects are great for synchronizing on resources that are
> always grouped together.  However, resources that must be grouped together
> before they can be used, such as the chopsticks in the dining philosophers
> problem, seem to require the developer to write their own resource
> synchronization algorithm.  Is there any standard method for synchronizing
> on multiple resources in Ada 95?

Standard pattern is to prioritize resources and to seize them in that
order.

One could also speculate about further Ada extensions towards:

1. multiple protected actions / rendezvous (to queue to two chopsticks)
2. extensible protected objects / tasks with multiple inheritance (to
inherit a pair of chopsticks twice from a chopstick)

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  parent reply	other threads:[~2004-08-03  8:56 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-08-02 18:54 Synchronizing on multiple distinict resources Chad R. Meiners
2004-08-02 21:48 ` Jim Rogers
2004-08-03  8:56 ` Dmitry A. Kazakov [this message]
2004-08-10 18:51   ` Chad R. Meiners
2004-08-11 13:52     ` Dmitry A. Kazakov
2004-08-19 22:18       ` Chad R. Meiners
2004-08-20  8:59         ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox