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

golang 内存对齐的问题

  •  
  •   awanganddong 2023-10-31 18:11:40 +08:00 2082 次点击
    这是一个创建于 789 天前的主题,其中的信息可能已经有所发展或是发生改变。

    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
       2023-10-31 18:14:56 +08:00
    state1 [3]uint32
    awanganddong
        2
    awanganddong  
    OP
       2023-10-31 18:48:25 +08:00
    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  
       2023-10-31 20:40:53 +08:00   2


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

    x86 的特例。
    其他平台没这个保证的
    GopherDaily
        4
    GopherDaily  
       2023-10-31 20:43:55 +08:00
    0o0O0o0O0o
        5
    0o0O0o0O0o  
       2023-10-31 20:47:26 +08:00
    awanganddong
        6
    awanganddong  
    OP
       2023-11-01 11:43:50 +08:00
    如果是 64 位的机器那肯定是 8 字节对齐了的,所以是上面第一种方式
    如果在 32 位的机器上
    如果恰好 8 字节对齐了,那么也是第一种方式取前面的 8 字节数据
    如果是没有对齐,但是 32 位 4 字节是对齐了的,所以我们只需要后移四个字节,那么就 8 字节对齐了,所以是第二种方式


    还是有疑惑,32 位不都是 4 字节对齐,为啥要后移 4 个字节,然后取数据。
    kamier
        7
    kamier  
       2023-11-01 14:32:01 +08:00
    要不看最新版的吧, 有改动, 和这个不一样了.
    lance6716
        8
    lance6716  
       2023-11-01 23:52:44 +08:00 via Android
    @awanganddong 因为 if 那里判断了,
    lance6716
        9
    lance6716  
       2023-11-01 23:55:42 +08:00 via Android
    (点错了发出去了)第 0 个元素模 8 不是 0 ,所以偏移 4 字节才会对齐。原文也说的比较清楚吧
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     1005 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 25ms UTC 17:46 PVG 01:46 LAX 09:46 JFK 12:46
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86