问题描述(为简化问题,设想的以下代码):
有1个全局变量:
int a = 0;
2个线程:
A线程负责对a进行写:
while (1)
a++;
B线程负责对a进行读:
while(1)
{
if (a%2)
{
......//这里代码多,可能导致a不在寄存器里
int x = a/2;
}
}
问题在于B线程一次循环内,代码中有连续2次对A进行读,有可能前后不一致,因为A线程一直在写,
我对此的解决方法是:
int aa = a;
if (aa%2)
{
......//这里代码多,可能导致a不在寄存器里
int x = aa/2;
}
用中间变量来保存一次,保证只对a的一次性读,理论上不会出现前后不一致
但是:
编译会优化代码,它是不是有可能将aa=a优化成直接对a的读,因为它觉得没必要用变量转一次?
这样就破坏了我的本意?
所以我的问题是:
1.这种可能破坏我的本意的优化是否存在?
2.如果存在,如何解决?
volatile aa=a?但好像会导致每次对aa的访问都去内存读一次,慢?
有1个全局变量:
int a = 0;
2个线程:
A线程负责对a进行写:
while (1)
a++;
B线程负责对a进行读:
while(1)
{
if (a%2)
{
......//这里代码多,可能导致a不在寄存器里
int x = a/2;
}
}
问题在于B线程一次循环内,代码中有连续2次对A进行读,有可能前后不一致,因为A线程一直在写,
我对此的解决方法是:
int aa = a;
if (aa%2)
{
......//这里代码多,可能导致a不在寄存器里
int x = aa/2;
}
用中间变量来保存一次,保证只对a的一次性读,理论上不会出现前后不一致
但是:
编译会优化代码,它是不是有可能将aa=a优化成直接对a的读,因为它觉得没必要用变量转一次?
这样就破坏了我的本意?
所以我的问题是:
1.这种可能破坏我的本意的优化是否存在?
2.如果存在,如何解决?
volatile aa=a?但好像会导致每次对aa的访问都去内存读一次,慢?