Java在设计之初就基于GC(Garbage Collection 垃圾回收)的理念,使得JAVA开发者不需要像C/C++开发者那样费心处理垃圾对象的回收,这项工作将由Java虚拟机来实现。
Java中创建的对象通常都存放在线程共享的堆内存里,GC的核心算法便是分辨出‘不再被任何途经使用的’对象进行内存回收。
许多教科书给出的算法叫做‘引用计数算法’,即给对象添加一个引用计数器,每次有地方引用到它,则给计数器加1;当引用失效时,计数器减1;当计数器为0时,表示没有被引用,可以回收。客观的说,这种算法实现简单,十分高效,但实际情况是主流Java虚拟机中并没有采用这种算法,为什么呢?原因它无法解决循环引用的问题!
假设对象A引用了对象B,对象B同时也引用了对象A,那么即使对象AB均不再被使用,’引用计数算法‘也无法将其回收,因为它们各自都至少有为1的计数。
实际使用较多的是’可达性分析 Reachability Analysis‘算法,通过一系列’GC Roots‘的对象作为起始节点向下搜索,分析引用链,当一个对象不能通过任何路径连接到GC Roots时,就被认为是可回收的。能被选作GC Roots的对象包括:本地变量栈中引用的对象,方法区中静态属性引用的对象,方法区中常量引用的对象,Native方法引用的对象。
Java虚拟机在经过多代改进后,现在已经能很好的处理垃圾回收问题。所以当我们说起Java的内存泄露时,指的是少数情况下由于开发者程序设计的漏洞,导致产生了’存在引用,但程序不再使用‘的对象,简单的说就是无用的对象。比如以下这段代码:
public class MemoryLeakStack
{
private Object[] elements;
private int size;
public MemoryLeakStack()
{
this.elements = new Object[10];
this.size = 0;
}
public void push(Object e)
{
ensureCapacity();
elements[size++] = e;
}
public Object pop()
{
if( size == 0)
throw new EmptyStackException();
return elements[--size];
}
private void ensureCapacity()
{
if(elements.length == size)
{
Object[] oldElements = elements;
elements = new Object[2*elements.length + 1];
System.arraycopy(oldElements,0, elements, 0, size);
}
}
}
在pop方法中,虽然逻辑上从栈中弹出了对象,但elements数组中仍然存在对弹出对象的引用,不会被回收。改进的代码如下:
public Object pop()
{
if( size == 0)
throw new EmptyStackException();
Object o = elements[--size];
elements[size] = null; //将弹出对象的引用设为空
return o;
}
另外一个不太常见的例子是添加到HashSet的对象若修改了用于计算HashCode的属性,那么HashSet中对应的引用将无法显式获得,也就无法消除引用,会变成无用对象。