Re: Synchronizing on multiple distinict resources

[chad.rmeiners@gmail.com (Chad R. Meiners)]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message news:<v7v0o7xngp1y.15u6pnygwg6id$.dlg@40tude.net>...
> Standard pattern is to prioritize resources and to seize them in that
> order.

*nod*  This is what I have had to do in the past.  Fortunately it
seems that I can often design away many cases that at first glance
seem to need to use multiple resources.

> One could also speculate about further Ada extensions towards:

Such speculation would be welcome ;)  For instance I became more
interested in the problem with sychronizing upon multiple resources
after reading a colleague's paper.

http://www.cse.msu.edu/~behrends/universe/fse00.pdf

Which handles multiple synchronizations with synchronization
contracts.

> 1. multiple protected actions / rendezvous (to queue to two chopsticks)

Perhaps something like 

procedure Eat(Left, Right : in out Chop_Stick) is
  Synchronize Left and Right;  -- Exclusive access until end of
procedure
begin
  ...
end Eat;

> 2. extensible protected objects / tasks with multiple inheritance (to
> inherit a pair of chopsticks twice from a chopstick)

Not sure how this would work.

-CRM