libstdc++/3584

[Robin Farine]

The following reply was made to PR libstdc++/3584; it has been noted by GNATS.

From: Robin Farine <acnrf@dial.eunet.ch>
To: gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org, robin.farine@terminus.org,
        acnrf@dial.eunet.ch, gcc-bugs@gcc.gnu.org, nobody@gcc.gnu.org
Cc:  
Subject: Re: libstdc++/3584
Date: 07 Jul 2001 15:13:04 +0200

 This message improves the syntax and semantics of the description I have
 provided when I registered the bug report.
 
 Description: Routines such as atomic_add() that read a memory location, apply
              operations to the value read, use the swp instruction to update the
              memory location and swp again if the value read the 2nd time
              doesn't equal the value initially read, introduce a race
              condition. The attachment illustrates such a case.
 
 Robin
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3584&database=gcc