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 位下处理内存的技巧,但是我对这个还是似懂非懂。所以想问下该如何理解。
1
awanganddong OP state1 [3]uint32
|
2
awanganddong OP 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 位字指针 |
3
nightwitch 2023-10-31 20:40:53 +08:00 2
|
4
GopherDaily 2023-10-31 20:43:55 +08:00
@nightwitch 6
|
5
0o0O0o0O0o 2023-10-31 20:47:26 +08:00
|
6
awanganddong OP 如果是 64 位的机器那肯定是 8 字节对齐了的,所以是上面第一种方式
如果在 32 位的机器上 如果恰好 8 字节对齐了,那么也是第一种方式取前面的 8 字节数据 如果是没有对齐,但是 32 位 4 字节是对齐了的,所以我们只需要后移四个字节,那么就 8 字节对齐了,所以是第二种方式 还是有疑惑,32 位不都是 4 字节对齐,为啥要后移 4 个字节,然后取数据。 |
7
kamier 2023-11-01 14:32:01 +08:00
要不看最新版的吧, 有改动, 和这个不一样了.
|
8
lance6716 2023-11-01 23:52:44 +08:00 via Android
@awanganddong 因为 if 那里判断了,
|
9
lance6716 2023-11-01 23:55:42 +08:00 via Android
(点错了发出去了)第 0 个元素模 8 不是 0 ,所以偏移 4 字节才会对齐。原文也说的比较清楚吧
|