golang 内存对齐的问题

[awanganddong]

golang 内存对齐问题

func (wg *WaitGroup) state() (statep *uint64, semap *uint32) {
    if uintptr(unsafe.Pointer(&wg.state1))%8 == 0 {
        // 如果地址是 64bit 对齐的，数组前两个元素做 state ，后一个元素做信号量
        return (*uint64)(unsafe.Pointer(&wg.state1)), &wg.state1[2]
    } else {
        // 如果地址是 32bit 对齐的，数组后两个元素用来做 state ，它可以用来做 64bit 的原子操作，第一个元素 32bit 用来做信号量
        return (*uint64)(unsafe.Pointer(&wg.state1[1])), &wg.state1[0]
    }
}

这是我看的一篇文章 https://www.luozhiyun.com/archives/429

这块是代码在 64 和 32 位下处理内存的技巧，但是我对这个还是似懂非懂。所以想问下该如何理解。

[awanganddong]

state1 [3]uint32

[awanganddong]

https://zhuanlan.zhihu.com/p/106933470

我之前困惑的点在于，在 32 位下访问 8 字节需要两次，怎么保证原子性呢。

然后这篇文章有提到
The first word in a variable or in an allocated struct, array, or slice can be relied upon to be 64-bit aligned.
变量或开辟的结构体、数组和切片值中的第一个 64 位字可以被认为是 8 字节对齐


32 位系统下可原子安全访问的 64 位字有：
64 位字本身
64 位字数组、切片
结构体首字段为对齐的 64 位字及相邻的 64 位字
结构体中首字段为嵌套结构体，且其首元素为 64 位字
结构体增加填充使对齐的 64 位字
结构体中 64 位字切片
结构体中 64 位字指针

[nightwitch]

http://flint.cs.yale.edu/cs422/doc/24547212.pdf

x86 的特例。
其他平台没这个保证的

[GopherDaily]

@nightwitch 6

[0o0O0o0O0o]

https://gfw.go101.org/article/memory-layout.html

[awanganddong]

如果是 64 位的机器那肯定是 8 字节对齐了的，所以是上面第一种方式
如果在 32 位的机器上
如果恰好 8 字节对齐了，那么也是第一种方式取前面的 8 字节数据
如果是没有对齐，但是 32 位 4 字节是对齐了的，所以我们只需要后移四个字节，那么就 8 字节对齐了，所以是第二种方式


还是有疑惑，32 位不都是 4 字节对齐，为啥要后移 4 个字节，然后取数据。

[kamier]

要不看最新版的吧, 有改动, 和这个不一样了.

[lance6716]

@awanganddong 因为 if 那里判断了，

[lance6716]

（点错了发出去了）第 0 个元素模 8 不是 0 ，所以偏移 4 字节才会对齐。原文也说的比较清楚吧