[K42-discussion] race condition in clustered object call on unoptimized build

[Bryan S Rosenburg]

Michal Ostrowski <mostrows at watson.ibm.com> wrote on 02/12/2006 09:36:56 
AM:
> Actually, if you enforced certain compiler optimizations you could
> ensure that given:
> 
> DREF(obj)->x();
> DREF(obj)->y();
> 
> 
> The result of both DREF()'s would always be the same; so that within a
> given functional scope you could never see "obj" becoming deleted.

Our programming model does not (and in my opinion, should not) provide any 
sort of guarantees across multiple DREF instances.  Someone inadvertently 
depending on such a guarantee would get a rude surprise when s/he moved 
one of the DREFs into a subroutine.

- Bryan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://ozlabs.org/pipermail/k42-discussion/attachments/20060213/5938273e/attachment.htm