[Bug c/59785] New: atomic_store should load source operand atomically?
ma.jiang at zte dot com.cn
gcc-bugzilla@gcc.gnu.org
Mon Jan 13 11:37:00 GMT 2014
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59785
Bug ID: 59785
Summary: atomic_store should load source operand atomically?
Product: gcc
Version: 4.8.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: ma.jiang at zte dot com.cn
gcc provide a atomic_store interface as below.
void __atomic_store (type *ptr, type *val, int memmodel)
In manual, There is only a simple description ---"This is the generic version
of an atomic store. It stores the value of *val into *ptr."
But it seemed that this interface could not do what the description said when
*val is a global memory which might be messed up by other threads.
unsigned long long int ta=123;
unsigned long long int tb=321;
int test()
{
__atomic_store(&tb, &ta, __ATOMIC_RELAXED);
return 0;
}
On ARM,the codes above give out a assembly instruction sequence as below.
movw r3, #:lower16:ta
movt r3, #:upper16:ta
ldrd r0, [r3]
movw r3, #:lower16:tb
movt r3, #:upper16:tb
.L3:
ldrexd r4, r5, [r3]
strexd r2, r0, r1, [r3]
cmp r2, #0
bne .L3
the source operand ta was not fetched atomically, so we might get a totally
wrong num from tb when ta were modified by other threads.
I guess the atomic_store interface only provide a function as--"fetch val
non-atomically ,and then store it into ptr atomically."
This is exactlly what the gimple tree shows.
test ()
{
long long unsigned int ta.0;
int D.4127;
ta.0 = ta;
__atomic_store_8 (&tb, ta.0, 0);
D.4127 = 0;
return D.4127;
}
I think it would be better to give a more detailed desctription in the manual.
Or make a atomical load in the atomic_store.
More information about the Gcc-bugs
mailing list