GCC版本升级后,GCC优化可能会导致可重传函数的意外行为

GCC版本升级后,GCC优化可能会导致可重传函数的意外行为,gcc,memory,compiler-optimization,volatile,barrier,Gcc,Memory,Compiler Optimization,Volatile,Barrier,将gcc版本从4.6.3升级到8.2.0。如果没有内存屏障,以下功能将无法工作 static u32 checksumPsedoHeader(u16 size, u32 src_addr, u32 dest_addr) { const u16 protocol_udp = 17; u32 checksum = 0; // Add UDP pseudo header. struct PseudoHeader { unsigned int s

将gcc版本从4.6.3升级到8.2.0。如果没有内存屏障,以下功能将无法工作

static u32 checksumPsedoHeader(u16 size, u32 src_addr, u32 dest_addr)
{
    const u16 protocol_udp = 17;
    u32 checksum = 0;
    // Add UDP pseudo header.
    struct PseudoHeader
    {
         unsigned int src;
         unsigned int dst;
         unsigned char zero;
         unsigned char proto;
         u16 length;
    } pseudoHeader;

    // Initalize the array. Using an uninitialized
    // array is not acceptable by newer compiler versions.
    memset((void*)&pseudoHeader, 0, sizeof(pseudoHeader));

    pseudoHeader.dst = htonl(dest_addr);
    pseudoHeader.src = htonl(src_addr);
    pseudoHeader.zero = 0;
    pseudoHeader.proto = protocol_udp;
    pseudoHeader.length = htons(size);

    u16 *pseudo_header_p = (u16*)&pseudoHeader;

    asm volatile("" ::: "memory");  // The function doesn't work without this line after GCC upgration.

    for (u32 i = 0; i < sizeof(pseudoHeader); i += 2)
    {
        checksum = checksum + *pseudo_header_p;
        pseudo_header_p++;
    }

    return checksum;
}
static u32 checksumPsedoHeader(u16大小、u32 src\u addr、u32 dest\u addr)
{
const u16协议_udp=17;
u32校验和=0;
//添加UDP伪头。
结构伪头
{
无符号int-src;
无符号整数dst;
无符号字符零;
无符号字符原型;
u16长度;
}假头;
//初始化数组。使用未初始化的
//较新的编译器版本不接受数组。
memset((void*)&pseudoHeader,0,sizeof(pseudoHeader));
pseudoHeader.dst=htonl(dest_addr);
pseudoHeader.src=htonl(src_addr);
pseudoHeader.zero=0;
pseudoHeader.proto=协议_udp;
伪标题。长度=htons(尺寸);
u16*伪_头_p=(u16*)和伪头;
asm volatile(“:“memory”);//在GCC升级后,如果没有此行,函数将无法工作。
对于(u32 i=0;i

为什么这里需要一个记忆屏障?指针类型转换使编译器进行了错误的优化(在内存障碍之后,for循环从内存中获取值,但所有值尚未刷新到内存中)?

您的代码具有未定义的行为,因为它违反了。事实上,优化的代码是。