To Edward Lee: Thank you for your answer. Could somebody explain why that model - http://files.rsdn.ru/39468/ResourcePoolDeadlock.xml - is always hang (deadlocked) ? And why this model - http://files.rsdn.ru/39468/ResourcePoolOK.xml - is hang sometimes, but sometimes works.
It seems to me, that when Display actor accepts some multiway rendezvous, he can't accepted another multiway rendezvous. And the chance that he accepts that or this rendezvous (up or bottom in the model ResourcePoolDeadlock) is depend on the order in which we connect Display Actor to Expression actors. Am I right ? I think so, because if I set Sleep2 value to 50L (and so value 3 should be displayed), Display actor nevertheless display value 2, from up Expression actor. But if I change the order, which I connected Expression actors to Display Actor and change the order of of connection Sleep actors to ResourcePool actors, than behaviour will be different. With all these refinements I think, that it might be more convenient to work with Rendezvous domain not in the Vergil, by directly using programming language (based on CSP and build in Ptolemy II, like Cal). Petrov Alexander 2007/12/22, Петров Александр <[EMAIL PROTECTED]>: > ---------- Forwarded message ---------- > From: Edward A. Lee <[EMAIL PROTECTED]> > Date: 22.12.2007 0:45 > Subject: Re: Model Readers-Writers Problem > To: Петров Александр <[EMAIL PROTECTED]> > Cc: ptolemy-hackers@bennett.eecs.berkeley.edu > > > > Rendezvous is a good domain for modeling mutual exclusion as > well as other resource management problems. The ResourcePool demo > in that domain illustrates this. > > Edward > > At 12:32 PM 12/21/2007, =?KOI8-R?B?8MXU0s/XIOHMxcvTwc7E0g==?= wrote: > >Hello, Ptolemy Hackers, > > > >I struggle with modelling reader-writer sample. This sample assumes > >that there is something like shared state. And the problem is to model > >mutual exclusion between Reader - Writer, and between Writer - Writer. > >So I have to model shared state in purely message-passing, > >actor-oriented framework PtolemyII. Only think I've found to do that > >is parameters, that global for model and that can be read and written > >by Expression actor. But it seems like workaround to the problem. > > > >Does anybody has sample (in any Domains (with any Directors)) > >modelling Readers-Writers problem ? Or some ideas how achieve that in > >Ptolemy II. > > > >Thank you. > > > >Petrov Alexander > >[EMAIL PROTECTED] > > > >---------------------------------------------------------------------------- > >Posted to the ptolemy-hackers mailing list. Please send administrative > >mail for this list to: [EMAIL PROTECTED] > > ------------ > Edward A. Lee > Chair of EECS and Robert S. Pepper Distinguished Professor > 231 Cory Hall, UC Berkeley, Berkeley, CA 94720-1770 > phone: 510-642-0253, fax: 510-642-2845 > [EMAIL PROTECTED], http://www.eecs.berkeley.edu/Faculty/Homepages/lee.html > ---------------------------------------------------------------------------- Posted to the ptolemy-hackers mailing list. Please send administrative mail for this list to: [EMAIL PROTECTED]