然后我想知道我是否可以通过Go再现内存重新排序,所以我写了示例代码,但Go中没有显示内存重新排序.

我正在写信分享一些发现.

你能否帮助解释为什么Go不能获得记忆重新排序？谢谢.

Go中的示例代码：

package main

    import (
            "fmt"
            "math/rand"
    )

    var x,y,r1,r2 int
    var detected = 0

    func randWait() {
            for rand.Intn(8) != 0 {
            }
    }

    func main() {
            beginSig1 := make(chan bool,1)
            beginSig2 := make(chan bool,1)
            endSig1 := make(chan bool,1)
            endSig2 := make(chan bool,1)
            go func() {
                    for {
                            <-beginSig1
                            randWait()
                            x = 1
                            r1 = y
                            endSig1 <- true
                    }
            }()
            go func() {
                    for {
                            <-beginSig2
                            randWait()
                            y = 1
                            r2 = x
                            endSig2 <- true
                    }
            }()
            for i := 1; ; i = i + 1 {
                    x = 0
                    y = 0
                    beginSig1 <- true
                    beginSig2 <- true
                    <-endSig1
                    <-endSig2
                    if r1 == 0 && r2 == 0 {
                            detected = detected + 1
                            fmt.Println(detected,"reorders detected after ",i,"iterations")
                    }
            }
    }

汇编代码(“ndisasm -b 32”)在C与Go之间显示不同

>来自C的汇编代码

00000CF0  C705520300000100  mov dword [0x352],0x1     //X=1
         -0000
00000CFA  8B0550030000      mov eax,[0x350]     
00000D00  89054E030000      mov [0x34e],eax      //r1=Y

> Go的汇编代码

000013EA  48                dec eax
000013EB  C70425787F170001  mov dword [0x177f78],0x1     //x=1
         -000000
000013F6  48                dec eax
000013F7  8B1C25807F1700    mov ebx,[0x177f80]
000013FE  48                dec eax
000013FF  891C25687F1700    mov [0x177f68],ebx          //r1=Y
00001406  48                dec eax

似乎Go在共享内存访问时使用dec eax,但是dec eax可以防止内存重新排序是没有意义的

> Intel® 64 and IA-32 Architectures Software Developer Manuals第3卷第8.2节显示了可能阻止记忆重新排序的情况,但不包括dec eax …
>我试图在C代码中添加dec eax作为共享内存访问的余量,而内存重新排序仍然存在.

到现在为止,我并不知道这个原因.请帮我,谢谢.