Occam counted array :: descheduling points

[oyvind.teig@xxxxxxxxxxxxxxxx]

Hi

I seem to remember that counted array "::" actually was synchronization
points in occam on the transputer and in SPoC.
Also, ";" in sequential protocols were synchronization points?

Why was this so?

Because the DMA machine needed specific lengths?
Small granularity and much parallel slackness?
The compiler could have sent all in one chunk and moved data in place
afterwards?
Also for counted arrays, the "memcpy" could be parameterised and verify no
overflow also
if all "int :: array" was sent as one chunk?

There is nothing "CSP" in the occam implementation of that stuff?

Med vennlig hilsen / sincerely
Øyvind Teig


Øyvind Teig
Senior utviklingsingeniør, M.Sc.
Autronica Fire and Security AS
A UTC Fire & Security Company
Tlf: +47 7358 2468 / Faks: +47 7358 2502 / Mob: +47 9596 1506
oyvind.teig@xxxxxxxxxxxxxxxx / www.autronicafire.no
http://home.no.net/oyvteig/pub - Publications



THIS E-MAIL AND ANY ATTACHED FILES ARE CONFIDENTIAL, PROTECTED BY
COPYRIGHT AND MAY BE LEGALLY PRIVILEGED. 
E-mail cannot be guaranteed to be
secure, error free or free from virus. Neither the sending company nor its
group of companies accepts any liability whatsoever for any loss or damage
which may be caused as a result of the transmission of this message by
e-mail. If verification is required, please request a hard copy version.