Java内存泄露的理解与解决

àì夳堔傛蜴生んèń 2022-08-27 02:25 117阅读 0赞

在C++语言中，如果需要动态分配一块内存，程序员需要负责这块内存的整个生命周期。从申请分配、到使用、再到最后的释放。这样的过程非常灵活，但是却十分繁琐，程序员很容易由于疏忽而忘记释放内存，从而导致内存的泄露。Java语言对内存管理做了自己的优化，这就是垃圾回收机制。Java的几乎所有内存对象都是在堆内存上分配（基本数据类型除外），然后由GC（garbage collection）负责自动回收不再使用的内存。

上面是Java内存管理机制的基本情况。但是如果仅仅理解到这里，我们在实际的项目开发中仍然会遇到内存泄漏的问题。也许有人表示怀疑，既然Java的垃圾回收机制能够自动的回收内存，怎么还会出现内存泄漏的情况呢？这个问题，我们需要知道GC在什么时候回收内存对象，什么样的内存对象会被GC认为是“不再使用”的。

Java中对内存对象的访问，使用的是引用的方式。在Java代码中我们维护一个内存对象的引用变量，通过这个引用变量的值，我们可以访问到对应的内存地址中的内存对象空间。在Java程序中，这个引用变量本身既可以存放堆内存中，又可以放在代码栈的内存中（与基本数据类型相同）。GC线程会从代码栈中的引用变量开始跟踪，从而判定哪些内存是正在使用的。如果GC线程通过这种方式，无法跟踪到某一块堆内存，那么GC就认为这块内存将不再使用了（因为代码中已经无法访问这块内存了）。

![java_memory.png][]

通过这种有向图的内存管理方式，当一个内存对象失去了所有的引用之后，GC就可以将其回收。反过来说，如果这个对象还存在引用，那么它将不会被GC回收，哪怕是Java虚拟机抛出OutOfMemoryError。

## Java内存泄露       ##

一般来说内存泄漏有两种情况。一种情况如在C/C++语言中的，在堆中的分配的内存，在没有将其释放掉的时候，就将所有能访问这块内存的方式都删掉（如指针重新赋值）；另一种情况则是在内存对象明明已经不需要的时候，还仍然保留着这块内存和它的访问方式（引用）。第一种情况，在Java中已经由于垃圾回收机制的引入，得到了很好的解决。所以，Java中的内存泄漏，主要指的是第二种情况。

可能光说概念太抽象了，大家可以看一下这样的例子：

1 Vector v = new  Vector( 10 );  
 2 for  ( int  i = 1 ;i < 100 ; i \++ )\{  
 3 Object o = new  Object();  
 4 v.add(o);  
 5 o = null ;  
 6 \}

在这个例子中，代码栈中存在Vector对象的引用v和Object对象的引用o。在For循环中，我们不断的生成新的对象，然后将其添加到Vector对象中，之后将o引用置空。问题是当o引用被置空后，如果发生GC，我们创建的Object对象是否能够被GC回收呢？答案是否定的。因为，GC在跟踪代码栈中的引用时，会发现v引用，而继续往下跟踪，就会发现v引用指向的内存空间中又存在指向Object对象的引用。也就是说尽管o引用已经被置空，但是Object对象仍然存在其他的引用，是可以被访问到的，所以GC无法将其释放掉。如果在此循环之后，Object对象对程序已经没有任何作用，那么我们就认为此Java程序发生了内存泄漏。

尽管对于C/C++中的内存泄露情况来说，Java内存泄露导致的破坏性小，除了少数情况会出现程序崩溃的情况外，大多数情况下程序仍然能正常运行。但是，在移动设备对于内存和CPU都有较严格的限制的情况下，Java的内存溢出会导致程序效率低下、占用大量不需要的内存等问题。这将导致整个机器性能变差，严重的也会引起抛出OutOfMemoryError，导致程序崩溃。

## 一般情况下内存泄漏的避免       ##

在不涉及复杂数据结构的一般情况下，Java的内存泄露表现为一个内存对象的生命周期超出了程序需要它的时间长度。我们有时也将其称为“对象游离”。

例如：

1 public  class  FileSearch\{  
  2   
  3  private  byte \[\] content;  
  4  private  File mFile;  
  5   
  6  public  FileSearch(File file)\{  
  7  mFile  =  file;  
  8  \}  
  9   
 10  public  boolean  hasString(String str)\{  
 11  int  size  =  getFileSize(mFile);  
 12  content  =  new  byte \[size\];  
 13  loadFile(mFile, content);  
 14   
 15  String s  =  new  String(content);  
 16  return  s.contains(str);  
 17  \}  
 18 \}

在这段代码中，FileSearch类中有一个函数hasString，用来判断文档中是否含有指定的字符串。流程是先将mFile加载到内存中，然后进行判断。但是，这里的问题是，将content声明为了实例变量，而不是本地变量。于是，在此函数返回之后，内存中仍然存在整个文件的数据。而很明显，这些数据我们后续是不再需要的，这就造成了内存的无故浪费。

要避免这种情况下的内存泄露，要求我们以C/C++的内存管理思维来管理自己分配的内存。第一，是在声明对象引用之前，明确内存对象的有效作用域。在一个函数内有效的内存对象，应该声明为local变量，与类实例生命周期相同的要声明为实例变量……以此类推。第二，在内存对象不再需要时，记得手动将其引用置空。

## 复杂数据结构中的内存泄露问题       ##

在实际的项目中，我们经常用到一些较为复杂的数据结构用于缓存程序运行过程中需要的数据信息。有时，由于数据结构过于复杂，或者我们存在一些特殊的需求（例如，在内存允许的情况下，尽可能多的缓存信息来提高程序的运行速度等情况），我们很难对数据结构中数据的生命周期作出明确的界定。这个时候，我们可以使用Java中一种特殊的机制来达到防止内存泄露的目的。

之前我们介绍过，Java的GC机制是建立在跟踪内存的引用机制上的。而在此之前，我们所使用的引用都只是定义一个“Object o;”这样形式的。事实上，这只是Java引用机制中的一种默认情况，除此之外，还有其他的一些引用方式。通过使用这些特殊的引用机制，配合GC机制，就可以达到一些我们需要的效果。

### **Java中的几种引用方式**       ###

Java中有几种不同的引用方式，它们分别是：强引用、软引用、弱引用和虚引用。下面，我们首先详细地了解下这几种引用方式的意义。

**强引用**

在此之前我们介绍的内容中所使用的引用都是强引用，这是使用最普遍的引用。如果一个对象具有强引用，那就类似于必不可少的生活用品，垃圾回收器绝不会回收它。当内存空 间不足，Java虚拟机宁愿抛出OutOfMemoryError错误，使程序异常终止，也不会靠随意回收具有强引用的对象来解决内存不足问题。

**软引用（SoftReference）**

SoftReference 类的一个典型用途就是用于内存敏感的高速缓存。SoftReference 的原理是：在保持对对象的引用时保证在 JVM 报告内存不足情况之前将清除所有的软引用。关键之处在于，垃圾收集器在运行时可能会（也可能不会）释放软可及对象。对象是否被释放取决于垃圾收集器的算法 以及垃圾收集器运行时可用的内存数量。

**弱引用（WeakReference）**

WeakReference 类的一个典型用途就是规范化映射（canonicalized mapping）。另外，对于那些生存期相对较长而且重新创建的开销也不高的对象来说，弱引用也比较有用。关键之处在于，垃圾收集器运行时如果碰到了弱可及对象，将释放 WeakReference 引用的对象。然而，请注意，垃圾收集器可能要运行多次才能找到并释放弱可及对象。

**虚引用（PhantomReference）**

PhantomReference 类只能用于跟踪对被引用对象即将进行的收集。同样，它还能用于执行 pre-mortem 清除操作。PhantomReference 必须与 ReferenceQueue 类一起使用。需要 ReferenceQueue 是因为它能够充当通知机制。当垃圾收集器确定了某个对象是虚可及对象时，PhantomReference 对象就被放在它的 ReferenceQueue 上。将 PhantomReference 对象放在 ReferenceQueue 上也就是一个通知，表明 PhantomReference 对象引用的对象已经结束，可供收集了。这使您能够刚好在对象占用的内存被回收之前采取行动。Reference与ReferenceQueue的配合使用。

### **GC、Reference与ReferenceQueue的交互**       ###

A、 GC无法删除存在强引用的对象的内存。

B、 GC发现一个只有软引用的对象内存，那么：

① SoftReference对象的referent 域被设置为null，从而使该对象不再引用heap对象。

② SoftReference引用过的heap对象被声明为finalizable。

③ 当 heap 对象的 finalize() 方法被运行而且该对象占用的内存被释放，SoftReference 对象就被添加到它的 ReferenceQueue（如果后者存在的话）。

C、 GC发现一个只有弱引用的对象内存，那么：

① WeakReference对象的referent域被设置为null,从而使该对象不再引用heap对象。

② WeakReference引用过的heap对象被声明为finalizable。

③ 当heap对象的finalize()方法被运行而且该对象占用的内存被释放时，WeakReference对象就被添加到它的ReferenceQueue（如果后者存在的话）。

D、 GC发现一个只有虚引用的对象内存，那么：

① PhantomReference引用过的heap对象被声明为finalizable。

② PhantomReference在堆对象被释放之前就被添加到它的ReferenceQueue。

**值得注意的地方有以下几点：**

1、GC在一般情况下不会发现软引用的内存对象，只有在内存明显不足的时候才会发现并释放软引用对象的内存。

2、GC对弱引用的发现和释放也不是立即的，有时需要重复几次GC，才会发现并释放弱引用的内存对象。  
3、软引用和弱引用在添加到ReferenceQueue的时候，其指向真实内存的引用已经被置为空了，相关的内存也已经被释放掉了。而虚引用在添加到ReferenceQueue的时候，内存还没有释放，仍然可以对其进行访问。

###  **代码示例** ###

通过以上的介绍，相信您对Java的引用机制以及几种引用方式的异同已经有了一定了解。光是概念，可能过于抽象，下面我们通过一个例子来演示如何在代码中使用Reference机制。

1  String str  =  new  String( " hello " );  // ①   
 2  ReferenceQueue < String >  rq  =  new  ReferenceQueue < String > ();  // ②   
 3  WeakReference < String >  wf  =  new  WeakReference < String > (str, rq);  // ③   
 4  str = null ;  // ④取消"hello"对象的强引用   
 5  String str1 = wf.get();  // ⑤假如"hello"对象没有被回收，str1引用"hello"对象  
 6  // 假如"hello"对象没有被回收，rq.poll()返回null   
 7  Reference <?  extends  String >  ref = rq.poll();  // ⑥

在以上代码中，注意⑤⑥两处地方。假如“hello”对象没有被回收wf.get()将返回“hello”字符串对象，rq.poll()返回null；而加入“hello”对象已经被回收了，那么wf.get()返回null，rq.poll()返回Reference对象，但是此Reference对象中已经没有str对象的引用了(PhantomReference则与WeakReference、SoftReference不同)。

###  **引用机制与复杂数据结构的联合应用**       ###

了解了GC机制、引用机制，并配合上ReferenceQueue，我们就可以实现一些防止内存溢出的复杂数据类型。

例如，SoftReference具有构建Cache系统的特质，因此我们可以结合哈希表实现一个简单的缓存系统。这样既能保证能够尽可能多的缓存信息，又可以保证Java虚拟机不会因为内存泄露而抛出OutOfMemoryError。这种缓存机制特别适合于内存对象生命周期长，且生成内存对象的耗时比较长的情况，例如缓存列表封面图片等。对于一些生命周期较长，但是生成内存对象开销不大的情况，使用WeakReference能够达到更好的内存管理的效果。

附SoftHashmap的源码一份，相信看过之后，大家会对Reference机制的应用有更深入的理解。

1![None.gif][] package  com. \*\*\* .widget;  
  2 ![None.gif][]  
  3![None.gif][] // : SoftHashMap.java    
  4![None.gif][] import  java.util. \* ;  
  5![None.gif][] import  java.lang.ref. \* ;  
  6 ![None.gif][]  
  7![None.gif][] import  android.util.Log;  
  8 ![None.gif][]  
  9![ExpandedBlockStart.gif][] public  class  SoftHashMap  extends  AbstractMap  \{  
 10![ExpandedSubBlockStart.gif][]/\*\* The internal HashMap that will hold the SoftReference. \*/  
 11![InBlock.gif][]privatefinal Map hash =new HashMap();  
 12![ExpandedSubBlockStart.gif][]/\*\* The number of "hard" references to hold internally. \*/  
 13![InBlock.gif][]privatefinalint HARD\_SIZE;  
 14![ExpandedSubBlockStart.gif][]/\*\* The FIFO list of hard references, order of last access. \*/  
 15![InBlock.gif][]privatefinal LinkedList hardCache =new LinkedList();  
 16![ExpandedSubBlockStart.gif][]/\*\* Reference queue for cleared SoftReference objects. \*/  
 17![InBlock.gif][]private ReferenceQueue queue =new ReferenceQueue();  
 18![InBlock.gif][]  
 19![InBlock.gif][]//Strong Reference number  
 20![ExpandedSubBlockStart.gif][]public SoftHashMap() \{ this(100); \}  
 21![ExpandedSubBlockStart.gif][]public SoftHashMap(int hardSize) \{ HARD\_SIZE = hardSize; \}  
 22![InBlock.gif][]  
 23![InBlock.gif][]  
 24![ExpandedSubBlockStart.gif][]public Object get(Object key) \{  
 25![InBlock.gif][] Object result =null;  
 26![InBlock.gif][]// We get the SoftReference represented by that key   
 27![InBlock.gif][] SoftReference soft\_ref = (SoftReference)hash.get(key);  
 28![ExpandedSubBlockStart.gif][]if (soft\_ref !=null) \{  
 29![InBlock.gif][]// From the SoftReference we get the value, which can be  
 30![InBlock.gif][]// null if it was not in the map, or it was removed in  
 31![InBlock.gif][]// the processQueue() method defined below   
 32![InBlock.gif][] result = soft\_ref.get();  
 33![ExpandedSubBlockStart.gif][]if (result ==null) \{  
 34![InBlock.gif][]// If the value has been garbage collected, remove the  
 35![InBlock.gif][]// entry from the HashMap.   
 36![InBlock.gif][] hash.remove(key);  
 37![ExpandedSubBlockStart.gif][] \}else\{  
 38![InBlock.gif][]// We now add this object to the beginning of the hard  
 39![InBlock.gif][]// reference queue. One reference can occur more than  
 40![InBlock.gif][]// once, because lookups of the FIFO queue are slow, so  
 41![InBlock.gif][]// we don't want to search through it each time to remove  
 42![InBlock.gif][]// duplicates.  
 43![InBlock.gif][]//keep recent use object in memory  
 44![InBlock.gif][] hardCache.addFirst(result);  
 45![ExpandedSubBlockStart.gif][]if (hardCache.size() > HARD\_SIZE) \{  
 46![InBlock.gif][]// Remove the last entry if list longer than HARD\_SIZE   
 47![InBlock.gif][] hardCache.removeLast();  
 48![ExpandedSubBlockEnd.gif][] \}  
 49![ExpandedSubBlockEnd.gif][] \}  
 50![ExpandedSubBlockEnd.gif][] \}  
 51![InBlock.gif][]return result;  
 52![ExpandedSubBlockEnd.gif][] \}  
 53![InBlock.gif][]  
 54![ExpandedSubBlockStart.gif][]/\*\* We define our own subclass of SoftReference which contains  
 55![InBlock.gif][] not only the value but also the key to make it easier to find  
 56![ExpandedSubBlockEnd.gif][] the entry in the HashMap after it's been garbage collected. \*/  
 57![ExpandedSubBlockStart.gif][]privatestaticclass SoftValue extends SoftReference \{  
 58![InBlock.gif][]privatefinal Object key; // always make data member final   
 59![ExpandedSubBlockStart.gif][]/\*\* Did you know that an outer class can access private data  
 60![InBlock.gif][] members and methods of an inner class? I didn't know that!  
 61![InBlock.gif][] I thought it was only the inner class who could access the  
 62![InBlock.gif][] outer class's private information. An outer class can also  
 63![InBlock.gif][] access private members of an inner class inside its inner  
 64![ExpandedSubBlockEnd.gif][] class. \*/  
 65![ExpandedSubBlockStart.gif][]private SoftValue(Object k, Object key, ReferenceQueue q) \{  
 66![InBlock.gif][]super(k, q);  
 67![InBlock.gif][]this.key = key;  
 68![ExpandedSubBlockEnd.gif][] \}  
 69![ExpandedSubBlockEnd.gif][] \}  
 70![InBlock.gif][]  
 71![ExpandedSubBlockStart.gif][]/\*\* Here we go through the ReferenceQueue and remove garbage  
 72![InBlock.gif][] collected SoftValue objects from the HashMap by looking them  
 73![ExpandedSubBlockEnd.gif][] up using the SoftValue.key data member. \*/  
 74![ExpandedSubBlockStart.gif][]publicvoid processQueue() \{  
 75![InBlock.gif][] SoftValue sv;  
 76![ExpandedSubBlockStart.gif][]while ((sv = (SoftValue)queue.poll()) !=null) \{  
 77![ExpandedSubBlockStart.gif][]if(sv.get()==null)\{  
 78![InBlock.gif][] Log.e("processQueue", "null");  
 79![ExpandedSubBlockStart.gif][] \}else\{  
 80![InBlock.gif][] Log.e("processQueue", "Not null");  
 81![ExpandedSubBlockEnd.gif][] \}  
 82![InBlock.gif][] hash.remove(sv.key); // we can access private data!  
 83![InBlock.gif][] Log.e("SoftHashMap", "release "\+ sv.key);  
 84![ExpandedSubBlockEnd.gif][] \}  
 85![ExpandedSubBlockEnd.gif][] \}  
 86![ExpandedSubBlockStart.gif][]/\*\* Here we put the key, value pair into the HashMap using  
 87![ExpandedSubBlockEnd.gif][] a SoftValue object. \*/  
 88![ExpandedSubBlockStart.gif][]public Object put(Object key, Object value) \{  
 89![InBlock.gif][] processQueue(); // throw out garbage collected values first   
 90![InBlock.gif][] Log.e("SoftHashMap", "put into "\+ key);  
 91![InBlock.gif][]return hash.put(key, new SoftValue(value, key, queue));  
 92![ExpandedSubBlockEnd.gif][] \}  
 93![ExpandedSubBlockStart.gif][]public Object remove(Object key) \{  
 94![InBlock.gif][] processQueue(); // throw out garbage collected values first   
 95![InBlock.gif][]return hash.remove(key);  
 96![ExpandedSubBlockEnd.gif][] \}  
 97![ExpandedSubBlockStart.gif][]publicvoid clear() \{  
 98![InBlock.gif][] hardCache.clear();  
 99![InBlock.gif][] processQueue(); // throw out garbage collected values   
100![InBlock.gif][] hash.clear();  
101![ExpandedSubBlockEnd.gif][] \}  
102![ExpandedSubBlockStart.gif][]publicint size() \{  
103![InBlock.gif][] processQueue(); // throw out garbage collected values first   
104![InBlock.gif][]return hash.size();  
105![ExpandedSubBlockEnd.gif][] \}  
106![ExpandedSubBlockStart.gif][]public Set entrySet() \{  
107![InBlock.gif][]// no, no, you may NOT do that!!! GRRR   
108![InBlock.gif][]thrownew UnsupportedOperationException();  
109![ExpandedSubBlockEnd.gif][] \}  
110![ExpandedBlockEnd.gif][]\}   
 111 ![None.gif][]  
 112 ![None.gif][]  
 113 ![None.gif][]

[java_memory.png]: /images/20220824/91f5a3c50a304ebc8f5fdd14bb6e18a2.png
[None.gif]: /images/20220824/20457e2219c348f48557d8d33e7c0cbf.png
[ExpandedBlockStart.gif]: /images/20220824/01f67ff4a58c44d8bd73e75a92640328.png
[ExpandedSubBlockStart.gif]: /images/20220824/f1a79d43174e4c75bb92370bce7fcddf.png
[InBlock.gif]: /images/20220824/6a19a395c1cd460b8fe815df06073a4e.png
[ExpandedSubBlockEnd.gif]: /images/20220824/a41f8ad7982c425a9b6a410ae397c25b.png
[ExpandedBlockEnd.gif]: /images/20220824/9c89171aaac64e7a824af2bb83fb4f05.png