首页
社区
课程
招聘
问答 CTF 排行榜 知识库 工具下载 峰会 看雪商城 证书查询
  1. 社区
  2. 编程技术
    3. 发新帖
[讨论]一个关于防止编译器优化特定代码的问题
发表于: 2014-3-4 18:38 3882

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

sunbinjin 活跃值
1
2014-3-4 18:38
3882
问题描述（为简化问题，设想的以下代码）：
有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的访问都去内存读一次，慢？

[招生]科锐逆向工程师培训(2024年11月15日实地，远程教学同时开班, 第51期)

收藏
免费 ・0
支持
分享
最新回复 (2)
半道出家
雪    币： 724
活跃值： (81)
能力值： ( LV3，RANK：20 )
在线值：
发帖
回帖
粉丝
私信
2 楼
volatile int a=0;
...
int aa=a;
2014-3-4 20:38
0
sunbinjin
雪    币： 174
活跃值： (620)
能力值： ( LV4，RANK：50 )
在线值：
发帖
回帖
粉丝
私信
3 楼
这样是禁止a的优化，aa没说不能优化吧？我不知道我的理解对不对啊
2014-3-5 09:37
0
游客
登录 | 注册 方可回帖
回帖 表情 雪币赚取及消费
高级回复
返回
//