This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: libstdc++/3584
- To: gcc-gnats at gcc dot gnu dot org, gcc-prs at gcc dot gnu dot org, robin dot farine at terminus dot org, acnrf at dial dot eunet dot ch, gcc-bugs at gcc dot gnu dot org, nobody at gcc dot gnu dot org
- Subject: Re: libstdc++/3584
- From: Robin Farine <acnrf at dial dot eunet dot ch>
- 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