AI实践哪家强?来 AICon, 解锁技术前沿,探寻产业新机! 了解详情
写点什么

汇编分析 golang 循环

  • 2020-02-26
  • 本文字数:1737 字

    阅读完需:约 6 分钟

汇编分析golang循环

今天小编为大家分享一篇关于 Golang 循环汇编分析的文章,文章中介绍了 golang 循环的汇编层面的处理,通过分析,我们可以更了解循环的实现。希望能对大家有所帮助。

循环是编程中很强大的一个概念,而且非常容易处理。但是,必须将其翻译成机器可理解的基本指令。它的编译方式也可能影响标准库中的其他组件。让我们开始分析一下范围循环。

循环汇编

范围循环可以迭代数组,切片或通道。下面函数展示了,对分片进行循环并将数字相加:


func main() {   l := []int{9, 45, 23, 67, 78}   t := 0
for _, v := range l { t += v }
println(t)}
复制代码


执行 go tool compile -S main.go 可以转储生成汇编代码,下面为范围循环的相关代码。


0x0041 00065 (main.go:4)   XORL   AX, AX0x0043 00067 (main.go:4)   XORL   CX, CX
0x0045 00069 (main.go:7) JMP 820x0047 00071 (main.go:7) MOVQ ""..autotmp_5+16(SP)(AX*8), DX0x004c 00076 (main.go:7) INCQ AX0x004f 00079 (main.go:8) ADDQ DX, CX0x0052 00082 (main.go:7) CMPQ AX, $50x0056 00086 (main.go:7) JLT 710x0058 00088 (main.go:11) MOVQ CX, "".t+8(SP)
复制代码


我们把指令分为两部分:初始化及循环本身。最开始两行指令用来初始化两个寄存器为 0。


0x0041 00065 (main.go:4)   XORL   AX, AX0x0043 00067 (main.go:4)   XORL   CX, CX
复制代码


寄存器 AX 包含循环中的当前位置,而 CX 包含变量 t 的值。下面是带有指令和通用寄存器的直观表示:



该循环指令 JMP 82 开始,表示跳转到指令 82。可以通过第二列来标识此目标指令:



下一条指令 CMPQ AX, $5 表示“比较寄存器 AX 和数值 5”。它实际上是从 AX 中减去寄存器 DX 的值,并将结果存储到另一个寄存器中。现在,可以在下一条指令 JLT 71 中使用该值,该指令表示“如果小于 0,则跳转到指令 71。”下面是更新后的图:



如果条件不满足,则程序将不会跳转执行循环后面的下一条指令。


因此,我们现在有了循环的结构。下面是转换回 Go 的循环:


goto endstart:   ?end:   if i < 5 {      goto start   }
println(t)
复制代码


该循环的主体是缺失的,下面是指令:


0x0047 00071 (main.go:7)   MOVQ   ""..autotmp_5+16(SP)(AX*8), DX0x004c 00076 (main.go:7)   INCQ   AX0x004f 00079 (main.go:8)   ADDQ   DX, CX
复制代码


第一个指令 MOVQ “”…autotmp_5+16(SP)(AX*8), DX 表示“将内存从源移动到目标”。由以下内容组成:


片段 “”…autotmp_5+16(SP) 其中 SP 是堆栈指针(我们当前的内存栈帧),而 autotmp_* 是自动生成的变量名称。


偏移量 8(在 64 位架构上,int 为 8 位)乘以寄存器 AX 的值,即循环中的当前位置。


由寄存器 DX 表示的,目标现在包含循环的当前值。


然后,INCQ 代表“递增”,并将递增循环的当前位置:


循环体的最后一条指令是 ADDQ DX, CX 表示“将 DX 添加到 CX”。之前我们已经看到 DX 包含循环的当前值,而 CX 是包含变量 t 内容的寄存器:



它将一直循环直到循环计数器到达 5。然后,循环之后的指令显示寄存器 CX 将其值移至 t :


0x0058 00088 (main.go:11) MOVQ CX, “”.t+8(SP)


这是处于最终状态的图:



我们还可以在 Go 中完成循环的翻译:


func main() {   l := []int{9, 45, 23, 67, 78}   t := 0   i := 0
var tmp int
goto endstart: tmp = l[i] i++ t += tmpend: if i < 5 { goto start }
println(t)}
复制代码


为这个新程序生成汇编代码,将提供完全相同的输出。

改进

内部转换循环的方式可能会对其他功能(例如 Go 调度程序)产生影响。在 Go 1.10 之前,编译的循环类似于以下代码:


func main() {   l := []int{9, 45, 23, 67, 78}   t := 0   i := 0
var tmp int p := uintptr(unsafe.Pointer(&l[0]))
if i >= 5 { goto end }body: tmp = *(*int)(unsafe.Pointer(p)) p += unsafe.Sizeof(l[0]) i++ t += tmp if i < 5 { goto body }end: println(t)}
复制代码


这种实现方式的问题是,当达到 5 时,指针 p 超过了分配的末尾。这个问题使循环不容易被抢占,因为它的主体不安全。循环编译的优化确保它不会创建任何过去的指针。为准备 Go 调度程序中的非合作式抢占而进行了此改进。


本文转载自 360 云计算公众号。


原文链接:https://mp.weixin.qq.com/s/J37BmlWhEEeuwVnPck0rIA


2020-02-26 23:001091

评论

发布
暂无评论
发现更多内容

Redis Stream 专为队列而生,别再用 List 实现队列了

码哥字节

Redis Stream Redis 数据结构 4月月更

写作社区 2 周年,全员狂欢燥起来!

InfoQ写作社区官方

热门活动 InfoQ写作社区2周年

大数据培训-Hive高频面试题分享

@零度

hive 大数据开发

真的是最全的一致性hash环讲解了

Java工程师

Java 架构 分布式 算法 hash

Java培训-怎样通过 Bucket4j 提供速率限制

@零度

JAVA开发 Bucket4j

一文扫清DDD核心概念理解障碍

慕枫技术笔记

后端 4月月更

团队在线协作文档工具推荐

小炮

团队协作 文档协作

入门Python之后还是搞不定面试、做不来项目,推荐读读这本书

图灵教育

Python 编程 程序员

2022年3月国产数据库大事记-墨天轮

墨天轮

数据库 TiDB 国产数据库 KingBase gbase8a

Springfox swagger2 API文档

Rubble

4月日更

CityClub 北京站马上开始!线下沙龙等你来!

InfoQ写作社区官方

热门活动

解决两大难题,TDengine 助力亿咖通打造自动驾驶技术典范

TDengine

数据库 tdengine 物联网

EMQ 映云科技 & 阿里云推出“一站式工业数字化解决方案”,共建产业数据湖生态圈

EMQ映云科技

阿里云 开源 物联网 IoT emq

恒源云(Gpushare)_新功能上线,你确定不进来看看?

恒源云

GPU服务器 GPU算力

深度学习,如何选择GPU服务器?

Finovy Cloud

人工智能 深度学习 GPU服务器

幸运哈希值竞猜游戏系统开发方案

薇電13242772558

区块链 哈希值

波卡动态 | Moonbeam 上第一个3D NFT项目宣布合作

One Block Community

区块链 以太坊 polkadot 波卡 Moonbeam

3分钟了解Vue开发小程序的技术原理

FinClip

如何使用阿里云容器服务保障容器的内存资源质量

阿里巴巴云原生

招聘 | 多家区块链项目招募开发者!

One Block Community

区块链 招聘 波卡

CESS:波卡生态去中心化数据存储的未来

One Block Community

区块链 云存储 去中心化存储 CESS

MacOS 系统如何把PHP版本升级到 7.4或者更高的版本呢,今天教程来啦

CRMEB

基于云服务器ECS搭建网页游戏《浪剑天下》

阿里云弹性计算

玩转ECS 游戏服务器

解读谷歌Pathways架构(一):Single-controller与Multi-controller

OneFlow

人工智能 机器学习 深度学习 架构 深度学习框架

OneBlock | 区块链人才聚集地,面向全球的Substrate 开发者社区

One Block Community

技术社区 #区块链#

如何在云端重塑内容生产?来看这场虚拟人主持的发布会

阿里云CloudImagine

阿里云 音视频 视频剪辑 智能生产 视频云

Moonbeam 漏洞赏金计划,最高奖金 100 万美金!

One Block Community

区块链 波卡 Moonbeam

一文搞懂Netty发送数据全流程 | 你想知道的细节全在这里

bin的技术小屋

网络编程 Netty Java’ 4月月更 Reactor多线程

运维人必知必会的Zabbix核心命令

博文视点Broadview

TiDB 6.0 发版:向企业级云数据库迈进

PingCAP

web前端培训-ES6 教程:全面了解 ES6 模块

@零度

前端 ES6

汇编分析golang循环_文化 & 方法_360云计算_InfoQ精选文章