当前位置:首页 > 编程教程 > java技术文章 > 浅谈Java垃圾回收的实现过程

浅析Java垃圾回收机制

  • 发布时间:
  • 作者:码农之家
  • 点击:103

这篇文章主要知识点是关于java、的内容,如果大家想对相关知识点有系统深入的学习,可以参阅以下电子书

Java虚拟机规范:Java SE 8版
  • 类型:Java大小:161.2 MB格式:PDF作者:林霍尔姆
立即下载

浅谈Java垃圾回收的实现过程

本教程是为了理解基本的Java垃圾回收以及它是如何工作的。这是垃圾回收教程系列的第二部分。希望你已经读过了第一部分:《简单介绍Java垃圾回收机制》。

Java垃圾回收是一项自动化的过程,用来管理程序所使用的运行时内存。通过这一自动化过程,JVM解除了程序员在程序中分配和释放内存资源的开销。

启动Java垃圾回收

作为一个自动的过程,程序员不需要在代码中显示地启动垃圾回收过程。System.gc()和Runtime.gc()用来请求JVM启动垃圾回收。

虽然这个请求机制提供给程序员一个启动GC过程的机会,但是启动由JVM负责。JVM可以拒绝这个请求,所以并不保证这些调用都将执行垃圾回收。启动时机的选择由JVM决定,并且取决于堆内存中Eden区是否可用。JVM将这个选择留给了Java规范的实现,不同实现具体使用的算法不尽相同。

毋庸置疑,我们知道垃圾回收过程是不能被强制执行的。我刚刚发现了一个调用System.gc()有意义的场景。通过这篇文章了解一下适合调用System.gc()这种极端情况。

Java垃圾回收过程

垃圾回收是一种回收无用内存空间并使其对未来实例可用的过程。

浅谈Java垃圾回收的实现过程

Eden区:当一个实例被创建了,首先会被存储在堆内存年轻代的Eden区中。

注意:如果你不能理解这些词汇,我建议你阅读这篇垃圾回收介绍,这篇教程详细地介绍了内存模型、JVM架构以及这些术语。

Survivor区(S0和S1):作为年轻代GC(MinorGC)周期的一部分,存活的对象(仍然被引用的)从Eden区被移动到Survivor区的S0中。类似的,垃圾回收器会扫描S0然后将存活的实例移动到S1中。

(译注:此处不应该是Eden和S0中存活的都移到S1么,为什么会先移到S0再从S0移到S1?)

死亡的实例(不再被引用)被标记为垃圾回收。根据垃圾回收器(有四种常用的垃圾回收器,将在下一教程中介绍它们)选择的不同,要么被标记的实例都会不停地从内存中移除,要么回收过程会在一个单独的进程中完成。

老年代:老年代(Oldortenuredgeneration)是堆内存中的第二块逻辑区。当垃圾回收器执行MinorGC周期时,在S1Survivor区中的存活实例将会被晋升到老年代,而未被引用的对象被标记为回收。

老年代GC(MajorGC):相对于Java垃圾回收过程,老年代是实例生命周期的最后阶段。MajorGC扫描老年代的垃圾回收过程。如果实例不再被引用,那么它们会被标记为回收,否则它们会继续留在老年代中。

内存碎片:一旦实例从堆内存中被删除,其位置就会变空并且可用于未来实例的分配。这些空出的空间将会使整个内存区域碎片化。为了实例的快速分配,需要进行碎片整理。基于垃圾回收器的不同选择,回收的内存区域要么被不停地被整理,要么在一个单独的GC进程中完成。

垃圾回收中实例的终结

在释放一个实例和回收内存空间之前,Java垃圾回收器会调用实例各自的finalize()方法,从而该实例有机会释放所持有的资源。虽然可以保证finalize()会在回收内存空间之前被调用,但是没有指定的顺序和时间。多个实例间的顺序是无法被预知,甚至可能会并行发生。程序不应该预先调整实例之间的顺序并使用finalize()方法回收资源。

任何在finalize过程中未被捕获的异常会自动被忽略,然后该实例的finalize过程被取消。

JVM规范中并没有讨论关于弱引用的垃圾回收机制,也没有很明确的要求。具体的实现都由实现方决定。

垃圾回收是由一个守护线程完成的。

对象什么时候符合垃圾回收的条件?

所有实例都没有活动线程访问。

没有被其他任何实例访问的循环引用实例。

Java中有不同的引用类型。判断实例是否符合垃圾收集的条件都依赖于它的引用类型。

 

引用类型 垃圾收集
强引用(Strong Reference) 不符合垃圾收集
软引用(Soft Reference) 垃圾收集可能会执行,但会作为最后的选择
弱引用(Weak Reference) 符合垃圾收集
虚引用(Phantom Reference) 符合垃圾收集

 

在编译过程中作为一种优化技术,Java 编译器能选择给实例赋 null 值,从而标记实例为可回收。

class Animal {
  public static void main(String[] args) {
    Animal lion = new Animal();
    System.out.println("Main is completed.");
  }
 
  protected void finalize() {
    System.out.println("Rest in Peace!");
  }
}

在上面的类中,lion对象在实例化行后从未被使用过。因此Java编译器作为一种优化措施可以直接在实例化行后赋值lion=null。因此,即使在SOP输出之前,finalize函数也能够打印出'RestinPeace!'。我们不能证明这确定会发生,因为它依赖JVM的实现方式和运行时使用的内存。然而,我们还能学习到一点:如果编译器看到该实例在未来再也不会被引用,能够选择并提早释放实例空间。

关于对象什么时候符合垃圾回收有一个更好的例子。实例的所有属性能被存储在寄存器中,随后寄存器将被访问并读取内容。无一例外,这些值将被写回到实例中。虽然这些值在将来能被使用,这个实例仍然能被标记为符合垃圾回收。这是一个很经典的例子,不是吗?

当被赋值为null时,这是很简单的一个符合垃圾回收的示例。当然,复杂的情况可以像上面的几点。这是由JVM实现者所做的选择。目的是留下尽可能小的内存占用,加快响应速度,提高吞吐量。为了实现这一目标,JVM的实现者可以选择一个更好的方案或算法在垃圾回收过程中回收内存空间。

当finalize()方法被调用时,JVM会释放该线程上的所有同步锁。

GCScope示例程序

Class GCScope {
	GCScope t;
	static int i = 1;
	public static void main(String args[]) {
		GCScope t1 = new GCScope();
		GCScope t2 = new GCScope();
		GCScope t3 = new GCScope();
		// No Object Is Eligible for GC
		t1.t = t2;
		// No Object Is Eligible for GC
		t2.t = t3;
		// No Object Is Eligible for GC
		t3.t = t1;
		// No Object Is Eligible for GC
		t1 = null;
		// No Object Is Eligible for GC (t3.t still has a reference to t1)
		t2 = null;
		// No Object Is Eligible for GC (t3.t.t still has a reference to t2)
		t3 = null;
		// All the 3 Object Is Eligible for GC (None of them have a reference.
		// only the variable t of the objects are referring each other in a
		// rounded fashion forming the Island of objects with out any external
		// reference)
	}
	protected void finalize() {
		System.out.println("Garbage collected from object" + i);
		i++;
	}
	class GCScope {
		GCScope t;
		static int i = 1;
		public static void main(String args[]) {
			GCScope t1 = new GCScope();
			GCScope t2 = new GCScope();
			GCScope t3 = new GCScope();
			// 没有对象符合GC
			t1.t = t2;
			// 没有对象符合GC
			t2.t = t3;
			// 没有对象符合GC
			t3.t = t1;
			// 没有对象符合GC
			t1 = null;
			// 没有对象符合GC (t3.t 仍然有一个到 t1 的引用)
			t2 = null;
			// 没有对象符合GC (t3.t.t 仍然有一个到 t2 的引用)
			t3 = null;
			// 所有三个对象都符合GC (它们中没有一个拥有引用。
			// 只有各对象的变量 t 还指向了彼此,
			// 形成了一个由对象组成的环形的岛,而没有任何外部的引用。)
		}
		protected void finalize() {
			System.out.println("Garbage collected from object" + i);
			i++;
		}

GC OutOfMemoryError 的示例程序

GC并不保证内存溢出问题的安全性,粗心写下的代码会导致 OutOfMemoryError。

import java.util.LinkedList;
import java.util.List;
public class GC {
	public static void main(String[] main) {
		List l = new LinkedList();
		// Enter infinite loop which will add a String to the list: l on each
		// iteration.
		do {
			l.add(new String("Hello, World"));
		}
		while (true);
	}
}

输出:

Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
  at java.util.LinkedList.linkLast(LinkedList.java:142)
  at java.util.LinkedList.add(LinkedList.java:338)
  at com.javapapers.java.GCScope.main(GCScope.java:12)

总结

以上就是本文关于浅谈Java垃圾回收的实现过程的全部内容,希望对大家有所帮助。感兴趣的朋友可以继续参阅本站其他相关专题,如有不足之处,欢迎留言指出。感谢朋友们对本站的支持!

以上就是本次给大家分享的关于java的全部知识点内容总结,大家还可以在下方相关文章里找到相关文章进一步学习,感谢大家的阅读和支持。

Java 相关电子书
学习笔记
网友NO.419972

老生常谈Java虚拟机垃圾回收机制(必看篇)

在Java虚拟机中,对象和数组的内存都是在堆中分配的,垃圾收集器主要回收的内存就是再堆内存中。如果在Java程序运行过程中,动态创建的对象或者数组没有及时得到回收,持续积累,最终堆内存就会被占满,导致OOM。 JVM提供了一种垃圾回收机制,简称GC机制。通过GC机制,能够在运行过程中将堆中的垃圾对象不断回收,从而保证程序的正常运行。 垃圾对象的判定 我们都知道,所谓“垃圾”对象,就是指我们在程序的运行过程中不再有用的对象,即不再存活的对象。那么怎么来判断堆中的对象是“垃圾”、不再存活的对象呢? 引用计数法 每个对象都有一个引用计数的属性,用来保存该对象被引用的次数。当引用次数为0时,就意味着该对象没有被引用了,也就不会在使用这个对象了,可以判定为垃圾对象。但是,这种方式有一个很大的Bug,就是无……

网友NO.960454

Java垃圾回收之分代收集算法详解

概述 这种算法,根据对象的存活周期的不同将内存划分成几块,新生代和老年代,这样就可以根据各个年代的特点采用最适当的收集算法。可以用抓重点的思路来理解这个算法。 新生代对象朝生夕死,对象数量多,只要重点扫描这个区域,那么就可以大大提高垃圾收集的效率。另外老年代对象存储久,无需经常扫描老年代,避免扫描导致的开销。 新生代 在新生代,每次垃圾收集器都发现有大批对象死去,只有少量存活,采用复制算法,只需要付出少量存活对象的复制成本就可以完成收集;可以参看我之前写的Java垃圾回收之复制算法详解 老年代 而老年代中因为对象存活率高、没有额外空间对它进行分配担保,就必须“标记-清除-压缩”算法进行回收。参看Java垃圾回收之标记压缩算法详解 新创建的对象被分配在新生代,如果对象经过几次回收后仍然……

<
1
>

Copyright 2018-2020 www.xz577.com 码农之家

投诉 / 推广 / 赞助:QQ:520161757