编程并不是一个机械性的工作,而是需要有思考,有创新的工作,语法是固定的,但解决问题的思路则是依靠人的思维,这就需要我们坚持学习和更新自己的知识。今天编程网就整理分享《gc如何处理切片内存回收》,文章讲解的知识点主要包括,如果你对Golang方面的知识点感兴趣,就不要错过编程网,在这可以对大家的知识积累有所帮助,助力开发能力的提升。
问题内容var a = [...]int{1,2,3,4,5,6}
s1 := a[2:4:5]
假设 s1 比 a 晚超出范围。 gc如何知道回收s1底层数组a的内存?
考虑 s1、spec 的运行时表示
type SliceHeader struct {
Data uintptr
Len int
Cap int
}
gc 甚至不知道 a 的开头。
解决方案
go 使用标记和清除收集器作为当前的实现。
根据该算法,将有一个根对象,其余的为树状结构,如果是多核机器,gc
会与一个核上的程序一起运行。
gc
将遍历树,当某些东西无法到达时,将其视为空闲。
go 对象还具有对象的元数据,如 post 中所述。
摘录:
我们需要一些有关对象的信息,因为我们没有标头。标记位保留在侧面,用于标记和分配。每个字都有 2 个与其关联的位,用于告诉您该字内是标量还是指针。它还对对象中是否有更多指针进行编码,以便我们可以尽早停止扫描对象。
go 的切片(切片头)是结构而不是指向结构的指针的原因由 russ cox 在切片部分的 page 中记录。
这是摘录:
go 最初将切片表示为指向结构(切片头)的指针,但这样做意味着每个切片操作都会分配一个新的内存对象。即使使用快速分配器,也会为垃圾收集器带来大量不必要的工作,并且我们发现,与字符串的情况一样,程序避免了切片操作,而有利于传递显式索引。删除间接和分配使得切片足够便宜,可以在大多数情况下避免传递显式索引。
数组的大小(长度)是其类型的一部分。 [1]int
和 [2]int
类型是不同的。
要记住的一件事是 go 是面向值的语言,它们不存储指针,而是存储直接值。
[3]int
,数组是 go 中的值,所以如果你传递一个数组,它会复制整个数组。
[3]int
这是一个值(一个整体)。
当执行 a[1]
时,您正在访问该值的一部分。
sliceheader
数据字段表示将此视为数组的基点,而不是 a[0]
据我所知:
当有人请求 a[4]
时,
a[0]+(sizeof(type)*4)
已计算。
现在,如果您通过切片 s = a[2:4]
访问某些内容,
如果有人请求 s[1]
,则请求的是,
a[2]+sizeof(type)*1
理论要掌握,实操不能落!以上关于《gc如何处理切片内存回收》的详细介绍,大家都掌握了吧!如果想要继续提升自己的能力,那么就来关注编程网公众号吧!