反汇编看指令重排

本文通过一个客户案例,揭示了一个由于编译器优化导致的指令重排问题,该问题在优化后的执行文件中导致警告信息频繁出现。在详细分析源码和汇编代码后,发现是`unpin`函数中`hold`和`flag`赋值顺序被错误地交换。为了解决这个问题,需要在关键代码段之间插入内存屏障,防止指令重排,以确保正确执行顺序。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

背景:

这也是一个真实客户案例,但我不能透露代码及问题细节,只讲思想。

问题:

When performing the attached test case the xx.log becomes filled with these messages if using optimized executables:

pin : semaphore already held by holder=xxx

The messages do not happen with debug executables. One theory is a memory corruption situation.

客户说他们现场经常打印一句warning,我们对应源码查看了代码。伪代码如下:

void pin()
{
        while (!flag){ sleep(1);}
        if (hold > 0) {
                printf("warning: holder already set\n");
                exit(-1);
        }
}

void unpin()
{
        hold = -1; //没人持有
        flag = 0;  //无锁
}

pin 和unpin分数不同的进程,正如函数名所暗示分别用来上自旋锁和放自旋锁。这部

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

深山老宅

鸡蛋不错的话,要不要激励下母鸡

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值