[armedbear-devel] [PATCH] Support for SYNCHRONIZED blocks (and company)

[Mark Evenson]

Erik Huelsmann wrote:
> The patch...
> 
> On Wed, Jul 8, 2009 at 11:49 PM, Erik Huelsmann<ehuels at gmail.com> wrote:
>> Based on discussion earlier this week, I'd like the following patch to
>> get committed to our trunk.
>>
>> It introduces a new block statement
>>
>>  SYNCHRONIZED-ON <object>
>>    body

And, just to be clear, this patch meets Anton Vodonosov's caution that 
"synchronized" has semantics associated with memory synchronization 
because it implements SYNCHRONIZED-ON directly in the bytecode compiler 
just as Java (the language) does, right?  So the whole "happens-before" 
semantics mentioned in the JLS should be met?

-- 
"A screaming comes across the sky.  It has happened before, but there
is nothing to compare to it now."