Preparing for the 0.2 draft

[Peter Levart]

On Tuesday 02 February 2010 10:32:37 Peter Levart wrote:
> More importantly: non-local transfers don't affect "deterministic parallelism" - when your code is logically incorrect you always get an exception.

That was not precise enough. I meant to say that if you view the system as composed of two parts: 
- a parallel execution framework written by experts that provides an API which accepts "restricted" functions; and
- restricted functions writen by unexperienced users

In this case non-local transfers triggered by restricted functions can be handled by expert framework in a way that makes the whole system deterministic.

Likewise the mutability of objects passed to restricted functions as formal parameters can be allowed because they are controlled by expert framework.

Regards, Peter