V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
The Go Programming Language
http://golang.org/
Go Playground
Go Projects
Revel Web Framework
awanganddong
V2EX  ›  Go 编程语言

golang 内存对齐的问题

  •  
  •   awanganddong · 179 天前 · 1470 次点击
    这是一个创建于 179 天前的主题,其中的信息可能已经有所发展或是发生改变。

    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 位下处理内存的技巧,但是我对这个还是似懂非懂。所以想问下该如何理解。

    9 条回复    2023-11-01 23:55:42 +08:00
    awanganddong
        1
    awanganddong  
    OP
       179 天前
    state1 [3]uint32
    awanganddong
        2
    awanganddong  
    OP
       179 天前
    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
        3
    nightwitch  
       179 天前   ❤️ 2


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

    x86 的特例。
    其他平台没这个保证的
    GopherDaily
        4
    GopherDaily  
       179 天前
    awanganddong
        6
    awanganddong  
    OP
       178 天前
    如果是 64 位的机器那肯定是 8 字节对齐了的,所以是上面第一种方式
    如果在 32 位的机器上
    如果恰好 8 字节对齐了,那么也是第一种方式取前面的 8 字节数据
    如果是没有对齐,但是 32 位 4 字节是对齐了的,所以我们只需要后移四个字节,那么就 8 字节对齐了,所以是第二种方式


    还是有疑惑,32 位不都是 4 字节对齐,为啥要后移 4 个字节,然后取数据。
    kamier
        7
    kamier  
       178 天前
    要不看最新版的吧, 有改动, 和这个不一样了.
    lance6716
        8
    lance6716  
       178 天前 via Android
    @awanganddong 因为 if 那里判断了,
    lance6716
        9
    lance6716  
       178 天前 via Android
    (点错了发出去了)第 0 个元素模 8 不是 0 ,所以偏移 4 字节才会对齐。原文也说的比较清楚吧
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   1108 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 22ms · UTC 18:09 · PVG 02:09 · LAX 11:09 · JFK 14:09
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.