目前市面上有不少分析Jemalloc老版本的博文,但5.3.0却少之又少。而且5.3.0的架构与之前的版本也有较大不同,本着“与时俱进”、“由浅入深”的宗旨,我将逐步分析Jemalloc5.3.0的实现。
另外,单讲实现代码是极其枯燥的,我将尽量每个原理知识点都用一个简简单单的小程序引出来,这样便于大家测试和上手调试。另外,还会用GDB打印数据结构,方便理解当时的状态。
今天我们讲gc, 有两种gc: tcache gc, extent gc. 为免篇幅过长,只讲tcache gc.
tcache gc是一种事件,其它事件还包括:
是事件就有触发条件 和 触发后的动作,其代码都在thread_event.c中, 先看触发条件:
对每一个事件都走一遍上面这段代码,其中 对于tcache gc只有分配内存的size的和超过了opt_tcache_gc_incr_bytes(默认65536,用户可以设置)才会置is_tcache_gc_triggered为true,从而激活“动作”:
tcache gc 的动作为函数tcache_gc_event_handler, 每次触发只会处理一个tcache.bin, 至于是第几个bin由下面的代码决定:
//tcache.c
szind_t szind = tcache_slow->next_gc_bin;
...
tcache_slow->next_gc_bin++;
if (tcache_slow->next_gc_bin == nhbins) {
tcache_slow->next_gc_bin = 0;
}
第一次触发第i个bin时只会设置tcache.bin[i].low_bits_low_water为tcache.bin[i].stack_head, 下一次触发这个bin时:flush掉low_bits_low_water与low_bits_empty之间的3/4(高地址,stack底部),如下代码