这 Go 的边界检查,简直让人抓狂~

开发 后端
边界检查,英文名 Bounds Check Elimination,简称为 BCE。它是 Go 语言中防止数组、切片越界而导致内存不安全的检查手段。如果检查下标已经越界了,就会产生 Panic。

 [[392406]]

1. 什么是边界检查?

边界检查,英文名 Bounds Check Elimination,简称为 BCE。它是 Go 语言中防止数组、切片越界而导致内存不安全的检查手段。如果检查下标已经越界了,就会产生 Panic。

边界检查使得我们的代码能够安全地运行,但是另一方面,也使得我们的代码运行效率略微降低。

比如下面这段代码,会进行三次的边界检查

  1. package main 
  2.  
  3. func f(s []int) { 
  4.     _ = s[0]  // 检查第一次 
  5.     _ = s[1]  // 检查第二次 
  6.     _ = s[2]  // 检查第三次 
  7.  
  8. func main() {} 

你可能会好奇了,三次?我是怎么知道它要检查三次的。

实际上,你只要在编译的时候,加上参数即可,命令如下

  1. $ go build -gcflags="-d=ssa/check_bce/debug=1" main.go 
  2. # command-line-arguments 
  3. ./main.go:4:7: Found IsInBounds 
  4. ./main.go:5:7: Found IsInBounds 
  5. ./main.go:6:7: Found IsInBounds 

2. 边界检查的条件?

并不是所有的对数组、切片进行索引操作都需要边界检查。

比如下面这个示例,就不需要进行边界检查,因为编译器根据上下文已经得知,s 这个切片的长度是多少,你的终止索引是多少,立马就能判断到底有没有越界,因此是不需要再进行边界检查,因为在编译的时候就已经知道这个地方会不会 panic。

  1. package main 
  2.  
  3. func f() { 
  4.     s := []int{1,2,3,4} 
  5.     _ = s[:9]  // 不需要边界检查 
  6. func main()  {} 

因此可以得出结论,对于在编译阶段无法判断是否会越界的索引操作才会需要边界检查,比如这样子

  1. package main 
  2.  
  3.  
  4. func f(s []int) { 
  5.     _ = s[:9]  // 需要边界检查 
  6. func main()  {} 

3. 边界检查的特殊案例

3.1 案例一

在如下示例代码中,由于索引 2 在最前面已经检查过会不会越界,因此聪明的编译器可以推断出后面的索引 0 和 1 不用再检查啦

  1.  package main 
  2.  
  3. func f(s []int) { 
  4.     _ = s[2] // 检查一次 
  5.     _ = s[1]  // 不会检查 
  6.     _ = s[0]  // 不会检查 
  7.  
  8. func main() {} 

3.2 案例二

在下面这个示例中,可以在逻辑上保证不会越界的代码,同样是不会进行越界检查的。

  1. package main 
  2.  
  3. func f(s []int) { 
  4.     for index, _ := range s { 
  5.         _ = s[index
  6.         _ = s[:index+1] 
  7.         _ = s[index:len(s)] 
  8.     } 
  9.  
  10. func main()  {} 

3.3 案例三

在如下示例代码中,虽然数组的长度和容量可以确定,但是索引是通过 rand.Intn() 函数取得的随机数,在编译器看来这个索引值是不确定的,它有可能大于数组的长度,也有可能小于数组的长度。

因此第一次是需要进行检查的,有了第一次检查后,第二次索引从逻辑上就能推断,所以不会再进行边界检查。

  1. package main 
  2.  
  3. import ( 
  4.     "math/rand" 
  5.  
  6. func f()  { 
  7.     s := make([]int, 3, 3) 
  8.     index := rand.Intn(3) 
  9.      _ = s[:index]  // 第一次检查 
  10.     _ = s[index:]  // 不会检查 
  11.  
  12. func main()  {} 

但如果把上面的代码稍微改一下,让切片的长度和容量变得不一样,结果又会变得不一样了。

  1. package main 
  2.  
  3. import ( 
  4.     "math/rand" 
  5.  
  6. func f()  { 
  7.     s := make([]int, 3, 5) 
  8.     index := rand.Intn(3) 
  9.      _ = s[:index]  // 第一次检查 
  10.     _ = s[index:]  // 第二次检查 
  11.  
  12. func main()  {} 

我们只有当数组的长度和容量相等时, :index 成立,才能一定能推出 index: 也成立,这样的话,只要做一次检查即可

一旦数组的长度和容量不相等,那么 index 在编译器看来是有可能大于数组长度的,甚至大于数组的容量。

我们假设 index 取得的随机数为 4,那么它大于数组长度,此时 s[:index] 虽然可以成功,但是 s[index:] 是要失败的,因此第二次边界的检查是有必要的。

你可能会说, index 不是最大值为 3 吗?怎么可能是 4呢?

要知道编译器在编译的时候,并不知道 index 的最大值是 3 呢。

小结一下

当数组的长度和容量相等时,s[:index] 成立能够保证 s[index:] 也成立,因为只要检查一次即可

当数组的长度和容量不等时,s[:index] 成立不能保证 s[index:] 也成立,因为要检查两次才可以

3.4 案例四

有了上面的铺垫,再来看下面这个示例,由于数组是调用者传入的参数,所以编译器的编译的时候无法得知数组的长度和容量是否相等,因此只能保险一点,两个都检查。

  1. package main 
  2.  
  3. import ( 
  4.     "math/rand" 
  5.  
  6. func f(s []intindex int) { 
  7.     _ = s[:index] // 第一次检查 
  8.     _ = s[index:] // 第二次检查 
  9.  
  10. func main()  {} 

但是如果把两个表达式的顺序反过来,就只要做一次检查就行了,原因我就不赘述了。

  1. package main 
  2.  
  3. import ( 
  4.     "math/rand" 
  5.  
  6. func f(s []intindex int) { 
  7.     _ = s[index:] // 第一次检查 
  8.     _ = s[:index] // 不用检查 
  9.  
  10. func main()  {} 

5. 主动消除边界检查

虽然编译器已经非常努力去消除一些应该消除的边界检查,但难免会有一些遗漏。

这就需要"警民合作",对于那些编译器还未考虑到的场景,但开发者又极力追求程序的运行效率的,可以使用一些小技巧给出一些暗示,告诉编译器哪些地方可以不用做边界检查。

比如下面这个示例,从代码的逻辑上来说,是完全没有必要做边界检查的,但是编译器并没有那么智能,实际上每个for循环,它都要做一次边界的检查,非常的浪费性能。

  1. package main 
  2.  
  3.  
  4. func f(is []int, bs []byte) { 
  5.     if len(is) >= 256 { 
  6.         for _, n := range bs { 
  7.             _ = is[n] // 每个循环都要边界检查 
  8.         } 
  9.     } 
  10. func main()  {} 

可以试着在 for 循环前加上这么一句 is = is[:256] 来告诉编译器新 is 的长度为 256,最大索引值为 255,不会超过 byte 的最大值,因为 is[n] 从逻辑上来说是一定不会越界的。

  1. package main 
  2.  
  3.  
  4. func f(is []int, bs []byte) { 
  5.     if len(is) >= 256 { 
  6.         is = is[:256] 
  7.         for _, n := range bs { 
  8.             _ = is[n] // 不需要做边界检查 
  9.         } 
  10.     } 
  11. func main()  {} 

6. 写在最后

本文上面列出的例子并没有涵盖标准编译器支持的所有边界检查消除的情形。本文列出的仅仅是一些常见的情形。

尽管标准编译器中的边界检查消除特性依然不是100%完美,但是对很多常见的情形,它确实很有效。自从标准编译器支持此特性以来,在每个版本更新中,此特性都在不断地改进增强。无需质疑,在以后的版本中,标准编译器会更加得智能,以至于上面第5个例子中提供给编译器的暗示有可能将变得不再必要。谢谢Go语言开发团队出色的工作!

7. 参考文档

https://gfw.go101.org/article/bounds-check-elimination.html

本文转载自微信公众号「Go编程时光」,作者写代码的明哥。转载本文请联系Go编程时光公众号。   

 

责任编辑:武晓燕 来源: Go编程时光
相关推荐

2022-02-08 19:33:13

技巧代码格式

2012-09-04 09:55:22

代码抓狂的代码开发

2013-09-12 15:39:30

编程语言BANCStar

2018-10-18 09:41:41

2019-09-16 09:49:49

数据库数据结构SQL

2021-09-08 05:43:28

网盘硬盘软件

2023-09-25 08:17:36

2019-11-12 13:39:35

电脑中央处理器软件

2017-08-28 21:02:55

深度学习神经网络

2020-12-08 11:02:28

黑客攻击网络

2020-10-06 18:28:52

gosecGo代码安全

2024-02-26 13:39:55

2024-01-15 07:05:50

开发大事务数据库

2022-07-29 09:12:44

软件硬件开发

2021-04-23 07:59:17

Godefer 链表

2014-07-01 09:43:55

程序员算法

2011-11-21 09:19:39

Java常量池面试题

2020-12-02 16:40:00

微信新功能移动应用

2017-11-23 19:15:00

2019-07-22 19:16:42

机器人人工智能系统
点赞
收藏

51CTO技术栈公众号