To be more concret, near I place all three models, and all these models have the same structure and different behaviour:
http://files.rsdn.ru/39468/ResourcePoolDeadlock1.xml http://files.rsdn.ru/39468/ResourcePoolDeadlock2.xml http://files.rsdn.ru/39468/ResourcePoolDeadlock3.xml 2007/12/22, Петров Александр <[EMAIL PROTECTED]>: > 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]
