Mobile Variables

[Adrian Lawrence <adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>]

Mobile variables: errata
========================

My test for ownership was wrong.

IF
  x = x
    c ! VAR x
  TRUE
    blah

should STOP rather than return FALSE if x is not owned. So
maybe we really do need a new key word to make the test?
"OWN x" perhaps as I originally suggested?

And, unless someone can suggest another way to test for ownership,
we might want OWN as well. Please apply the razor and get rid of OWN.
I suppose that we might require that programs be written in such a way
that these tests are not required. One could always claim the variables
some central process, and collect access rights via VAR channels. Then
ALTing gives a way of waiting for the variables. I think that is too
restrictive, and might lead to inefficient and obstruse code.

Of course, one way is to overload CLAIM with yet another meaning:
CLAIM x
could return a boolean. I think that is ugly.

Adrian

-- 
A E Lawrence, MA., DPhil.  	adrian.lawrence@xxxxxxxxxxxxxx
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.                
Voice: (+44)-1865-273274,  Fax: (+44)-1865-273275