一个垃圾回收与线程相关的问题

c# 垃圾回收会暂停所有线程，并检查GC的堆中所有对象是否存在引用。如果对象存在“活动的”引用则不进行垃圾回收，如果对象不存在“活动的”引用则进行回收。

这里“活动的引用”指的是JIT认为活动的引用

如下：

public static void Test()
        {
            byte[] bs = new byte[1024 * 1024 * 100];
            for (int i = 0; i < 100000; i++)
            {
                bs[i] = 1;
            }
            GC.Collect();
        }

在编译选项为Debug，且不优化代码的情况下，bs所指向的对象在GC.Collect时就是活动的，不可对bs所使用的内存进行回收。而在优化代码，或者编译选项为Release的情况下，bs所指向的对象在GC.Collect时就是非活动的（因为代码优化，JIT在执行GC的时候看到后边没有了bs对象的使用，所以这时候就认为没有了bs对象的引用），可以对bs的内存进行回收。

看下面问题：

static void Main(string[] args)
        {
            byte[] bs = new byte[1024 * 1024 * 100];
            Timer t = new Timer(Callback, bs, 0, 2000);
            Console.ReadLine();

        }

private static void Callback(object o)
        {
            Console.WriteLine("callback" + DateTime.Now);
            GC.Collect();
        }

使用Release编译，执行上面代码大家认为bs对象是否会被回收？Timer对象是否会被回收？

结果：

Timer对象被回收了，而bs对象没有被回收，为什么呢？

因为Release选择了编译优化，检查Timer对象的时候后边的代码没有再对Timer对象的使用，所以Timer对象就被回收。

那么问题来了，bs对象不是后边也没有引用吗？为什么bs对象没有被回收呢？

答案：

因为Timer对象是在2000ms之后启动一个线程执行的callBack，bs对象作为线程的启动参数传入线程，所以这个对象的引用就在相应线程的用户模式栈的顶部，在相应线程里执行GC.Collect的时候回收不了这个bs对象，因为还有引用存在。只有在相应线程退出之后，才可对这个对象进行回收。同理如果使用以下方法进行回收也是不行的：

static void Main(string[] args)
        {
            byte[] bs = new byte[1024 * 1024 * 100];
            Timer t = new Timer(Callback, bs, 0, 2000);
            GC.Collect();
            Console.ReadLine();
        }

因为主线程回收的时候子线程还在相应栈中占用着bs对象。

而以下代码可回收成功：

static void Main(string[] args)
        {
            byte[] bs = new byte[1024 * 1024 * 100];
            Timer t = new Timer(Callback, bs, 0, 2000);
            Thread.Sleep(10000);
            GC.Collect();
            Console.ReadLine();
        }

因为主线程休息10s之后，子线程已经结束了。也就没有对bs的占用了。

就这么多了，实际过程中遇到的问题，因为对书中讲的理解不够透彻所以想了好久，这里记录下来，留待备用，希望对碰到此问题的人有所帮助。

一个垃圾回收与线程相关的问题

猜你喜欢