(j3.2006) (SC22WG5.4252) Question on locks

[Reinhold Bader]

Hello all,

I have a question on the way locks work. In section 8.5.1 para 3  it  is 
stated that

"All image  control statements except .... LOCK, and UNLOCK include the 
effect of
 executing a SYNC MEMORY statement ..."

Does this not imply that in certain situations it may be necessary to 
explicitly execute a
SYNC MEMORY after successfully acquiring a lock? In particular, is not 
such a statement
required immediately after the statement

LOCK(queue_lock)  ! New segment A starts

in Note 8.45 since otherwise a register-stored value of work_queue_size 
might be used,
overlooking the update of its memory location by a remote image?

Regards
Reinhold