一个关于防止编译器优化特定代码的问题

问题描述（为简化问题，设想的以下代码）：
有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的访问都去内存读一次，慢？