Defect in XBD 4.10 Memory Synchronization

[yyyyyyyy@xxxxxxxxxx]

        Defect report from : Alexander Terekhov , IBM

(Please direct followup comments direct to yyyyyyyyyyyyyy@xxxxxxxxxxxxx)

@ page 0 line 0 section 4.10 Memory Synchronization editorial 
{cv-msync-28.10.2004}

Problem:

Edition of Specification (Year): 2004

Defect code :  1. Error

XBD 4.10 lists pthread_cond_signal() and pthread_cond_broadcast()
among functions that "synchronize memory". 

This is a thinko, I believe.

<pseudo-C++-code>

  cond_wait: mutex::release_guard guard(mutex); sleep(random());

  cond_signal: nop

  cond_broadcast: nop

Is clearly conforming (apart from realtime scheduling, of course). 

And nops don't synchronize anything.

Action:

Remove pthread_cond_signal() and pthread_cond_broadcast() from
the XBD 4.10. 

The idea is to allow compilers to take advantage of "#pragma 
isolated_call"-like semantics (see http://tinyurl.com/68jav)
for pthread_cond_signal() and pthread_cond_broadcast().