如何给C++设计一个GC

  • Post author:
  • Post category:其他

和同事聊起了这个话题,下面是一些思考与问题:

【思考】

基本套路与Java应该是一致的,也就是Mark – Sweep – Compact:

C++中可分为两种类型:一是用户自定义类型;一种是内置的类型。

每次分配内存时候,都把内存地址保存到一个hashmap中,key为内存地址,value为false。这是准备工作,然后在某个时间点需要做垃圾回收的时候:

  1. 寻找以下三种用户自定义类型的对象:全局的;静态的;当前栈上的,把这些对象作为根,然后递归寻找他们所引用的内存(成员), 并在hashmap中把这些内存地址为key的项的值设为true,表示不应回收。(Mark)
  2. 遍历hashmap,把value为false的项全部delete,并从hashmap中删除 (Sweep)
  3. 把hashmap中存在的内存对象,全部移动到一块集中的区域,以减少内存碎片,同时注意修改这些对象被引用的地方,因为地址改变了。(Compact)

这种方法的话,也自动解决了循环引用导致的内存泄露问题。 

 

【问题】

一、如何找到全局的;静态的;当前栈上的用户自定义对象?

二、如何拿到一个对象所引用的所以对象?

三、引用的对象地址改了,如何得到通知?

四、。。。