Chaim Frenkel wrote:
> 
> >>>>> "DLN" == David L Nicol <[EMAIL PROTECTED]> writes:
> 
> DLN> What if every subroutine tagged itself with a list of the globals
> DLN> it uses, so a calling routine would know to add those to the list
> DLN> of globals it wants locked?
> 
> And what about all the subroutines _it_ will call? 

Yes, exactly.  So the "top level block" would have all the globals
in the whole program referenced by itself.

This tagging could be one of the tools we give programmers to help
make managing locking a little bit easier.

It might not work.

Reply via email to