(j3.2006) LOCK/UNLOCK question

[Aleksandar Donev]

Bill Long wrote:

> If I recall, CRITICAL(lock) failed before since the effect can be 
> simulated easily with already available constructs (block; lock() ... 
> unlock(); end block)
Of course it can trivially be simulated with lock/unlock...the point is 
not to achieve its effects, but to do it safely. We can achieve if with 
goto but chose to go beyond that...

> (probably most important) at some 
> point the door has to close on new features for f08.
That one will not hold in court---the discussion in question happened 
after it was decided to add locks and the issue was how to add it, not 
whether to. The decision was to choose between:
1) Only lock/unlock
2) Only a paired construct (say critical(lock))
3) Both
Of course, 1 subsumes the others.

Best,
Aleks