From: A E Lawrence (adrian.lawrence_at_email.domain.hidden)
Date: 2000-09-26 14:24:40
M_Boosten wrote:
>
>
> Adrain wrote:
> > 2) A CSP event can involve any number of processes, not just two.
> If I remember it correct, if process A, B, and C are all "responsive"
> to event "x" then, when performing "x", each of them waits for the others
> to also perform "x".
>
> In other words, event "x" is practically some kind of barier
> synchronization.
>
> This automatically brings me to the following suggestion:
> 1. The barier synchronisation should be the basic CSP-lib primitive.
Not quite sure what that means, but I suppose the analogy is with BSP.
But a process that is internally interleaving could continue to "make
progress" while waiting for the joint event, and that doesn't seem to be
a "barrier".
And I don't think that this fits at all with the sorts of thing we do in
hardware compilation.
Yes, CSP can capture "barrier synchronisation" , but it doesn't seem to
be fundamental. No objection to have a library component to do this sort
of thing if it is useful, but again I don't think that show be a
specially distinguished component. Or am I missing the point?
Adrian
(Who should really be packing for a journey.)
-- Dr A E Lawrence (from home)
This archive was generated by hypermail 2.1.7 on 2004-10-31 20:03:54 GMT
© Copyright WoTUG
All rights reserved