程序猿的日常——JVM内存模型与垃圾回收

Java开发有个很基础的问题,虽然我们平时接触的不多,但是了解它却成为Java开发的必备基础——这就是JVM。在C++中我们需要手动申请内存然后释放内存,否则就会出现对象已经不再使用内存却仍被占用的情况。在Java中JVM内置了垃圾回收的机制,帮助开发者承担对象的创建和释放的工作,极大的减轻了开发的负担。那是不是我们就不需要了解JVM了,显然在做一些优化或者深入研究应用性能的时候,JVM还是起了很关键的作用的。因此本篇就总结性的描述下JVM的内存模型与垃圾回收相关的知识。

本文的主要内容如下:

  • 内存模型
  • 垃圾回收
  • 参考文章

内存模型

Center

各部分的功能

这几个存储区最主要的就是栈区和堆区,那么什么是栈什么是堆呢?说的简单点,栈里面存放的是基本的数据类型和引用,而堆里面则是存放各种对象实例的。
wKioL1mlFPzT7_hLAAA-qYFsUa8977.png-wh_651x-s_286560225.png

堆与栈分开设计是为什么呢?

  • 栈存储了处理逻辑、堆存储了具体的数据,这样隔离设计更为清晰
  • 堆与栈分离,使得堆可以被多个栈共享。
  • 栈保存了上下文的信息,因此只能向上增长;而堆是动态分配

栈的大小可以通过-XSs设置,如果不足的话,会引起java.lang.StackOverflowError的异常

栈区

线程私有,生命周期与线程相同。每个方法执行的时候都会创建一个栈帧(stack frame)用于存放 局部变量表、操作栈、动态链接、方法出口。

存放对象实例,所有的对象的内存都在这里分配。垃圾回收主要就是作用于这里的。

  • 堆得内存由-Xms指定,默认是物理内存的1/64;最大的内存由-Xmx指定,默认是物理内存的1/4。
  • 默认空余的堆内存小于40%时,就会增大,直到-Xmx设置的内存。具体的比例可以由-XX:MinHeapFreeRatio指定
  • 空余的内存大于70%时,就会减少内存,直到-Xms设置的大小。具体由-XX:MaxHeapFreeRatio指定。

因此一般都建议把这两个参数设置成一样大,可以避免JVM在不断调整大小。

程序计数器

这里记录了线程执行的字节码的行号,在分支、循环、跳转、异常、线程恢复等都依赖这个计数器。

方法区

类型信息、字段信息、方法信息、其他信息

总结

名称特征作用配置异常
栈区线程私有,使用一段连续的内存空间存放局部变量表、操作栈、动态链接、方法出口-XSsStackOverflowError OutOfMemoryError
线程共享,生命周期与虚拟机相同保存对象实例-Xms -Xmx -XmnOutOfMemoryError
程序计数器线程私有、占用内存小字节码行号
方法区线程共享存储类加载信息、常量、静态变量等-XX:PermSize -XX:MaxPermSizeOutOfMemoryError

垃圾回收

如何定义垃圾

有两种方式,一种是引用计数(但是无法解决循环引用的问题);另一种就是可达性分析。

判断对象可以回收的情况:

  • 显示的把某个引用置位NULL或者指向别的对象
  • 局部引用指向的对象
  • 弱引用关联的对象

垃圾回收的方法

Mark-Sweep标记-清除算法

341412-20170310115901922-1449104767.png

这种方法优点就是减少停顿时间,但是缺点是会造成内存碎片。

Copying复制算法

341412-20170310120953625-1648207853.png

这种方法不涉及到对象的删除,只是把可用的对象从一个地方拷贝到另一个地方,因此适合大量对象回收的场景,比如新生代的回收。

Mark-Compact标记-整理算法

341412-20170310120436734-894591806.png

这种方法可以解决内存碎片问题,但是会增加停顿时间。

Generational Collection 分代收集

最后的这种方法是前面几种的合体,即目前JVM主要采取的一种方法,思想就是把JVM分成不同的区域。每种区域使用不同的垃圾回收方法。

341412-20170310111906594-1376910719.png

上面可以看到堆分成两个个区域:

  • 新生代(Young Generation):用于存放新创建的对象,采用复制回收方法,如果在s0和s1之间复制一定次数后,转移到年老代中。这里的垃圾回收叫做minor GC;
  • 年老代(Old Generation):这些对象垃圾回收的频率较低,采用的标记整理方法,这里的垃圾回收叫做 major GC。

这里可以详细的说一下新生代复制回收的算法流程:

在新生代中,分为三个区:Eden, from survivor, to survior。

  • 当触发minor GC时,会先把Eden中存活的对象复制到to Survivor中;
  • 然后再看from survivor,如果次数达到年老代的标准,就复制到年老代中;如果没有达到则复制到to survivor中,如果to survivor满了,则复制到年老代中。
  • 然后调换from survivor 和 to survivor的名字,保证每次to survivor都是空的等待对象复制到那里的。

垃圾回收器

467583-20170628093656618-2097152177.png

串行收集器 Serial

这种收集器就是以单线程的方式收集,垃圾回收的时候其他线程也不能工作。
467583-20170628093636461-1904264753.png

并行收集器 Parallel

以多线程的方式进行收集
467583-20170628093724414-184415121.png

并发标记清除收集器 Concurrent Mark Sweep Collector, CMS

大致的流程为:初始标记--并发标记--重新标记--并发清除

467583-20170628093846008-2001476745.png

G1收集器 Garbage First Collector

大致的流程为:初始标记--并发标记--最终标记--筛选回收

467583-20170628093914149-1103645311.png

参考

  • JVM内存模型:http://developer.51cto.com/art/200911/165015.htm
  • 垃圾回收:http://www.importnew.com/19085.html
  • JVM垃圾回收器:http://www.cnblogs.com/chengxuyuanzhilu/p/7088316.html
  • 内存模型: http://blog.csdn.net/u012152619/article/details/46968883

转载于:https://www.cnblogs.com/xing901022/p/7725961.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/487367.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

智慧城市丨智能时代的城市设计新策略

来源:万物智能视界智慧城市作为解决城市病、提高城市发展质量以及改善城市群建设结构的新型城市形态,已成为世界各地城市发展的必然趋势。借助新兴的信息技术能够随时随地感知、捕获、传递和处理信息,能够实现对城市的精细化、智能化管理&…

从看见到听见,机器人传感能否解决智能制造检测的最后一公里难题?

来源:机器人大讲堂导读手机、无人机、机器人眼睛里的隐藏王者,华为、小米的视觉供应商,这家隐形冠军现在也开始在机器人行业发力,将延伸人类感官?华为、VIVO、小米、魅族,这些市场上你能找到的手机品牌,其…

python--17个新手常见Python运行时错误

当初学 Python 时,想要弄懂 Python 的错误信息的含义可能有点复杂。这里列出了常见的的一些让你程序 crash 的运行时错误。 1)忘记在 if , elif , else , for , while , class ,def 声明末尾添加 :(导致 “SyntaxError &#xff1…

linux alsa声卡命令,Linux ALSA声卡驱动之一:ALSA架构简介

一. 概述ALSA是Advanced Linux Sound Architecture 的缩写,目前已经成为了linux的主流音频体系结构,想了解更多的关于ALSA的这一开源项目的信息和知识,请查看以下网址:http://www.alsa-project.org/。在内核设备驱动层&#xff0…

寒武纪上市:AI芯片和普通芯片有何不同?全球AI芯片公司大全都在这里了

来源:Zach小生作者:腾讯新闻知识官、美国宾州州立大学硕士、芯片工程师Zach小生7月20日,寒武纪正式在A股科创板上市,成为AI芯片第一股,引起了业内的热议和关注。根据相关的资料显示,目前中国IC设计企业已超…

Python3-笔记-B-003-数据结构-元组tuple( )

# 元组[有序不变序列](不可修改)def tuples():# --- 元组 --- # 创建 (类似于列表的数据存储方式,但是不能修改) tuples ("柳岩", 21, "女")tuples tuple(["a", "b", "c"]) # 将 列表 转为 元组 (注:将字典转为元组会损失…

linux java输出到文件,linux java输出到文件内容

linux java输出到文件内容[2021-01-30 07:48:37] 简介:php去除nbsp的方法:首先创建一个PHP代码示例文件;然后通过“preg_replace("/(\s|\&nbsp\;| |\xc2\xa0)/", " ", strip_tags($val));”方法去除所有nbsp即可。推荐&#x…

关于TCP/IP协议及网络通信相关问题

一、网络模型: OSI标准模型七层架构以及其传输数据的模型如下: 传输信息的过程由上之下逐渐封装,接收过程则是由下至上逐渐拆包,每一层只解析自己独立的部分。 二、网络的机要素 1、IP 1 public class NetTest { 2 public sta…

linux编写复制脚本程,常用的Shell脚本

1、通过位置变量创建linux系统账户及密码$1 是执行脚本的第一个参数,$2 是执行脚本的第二个参数1 #!/bin/bash2 #Author: Peter zh3 #Blog: https://home.cnblogs.com/zhangwduoduoj/4 #Time: 2019-08-17 19:19:455 #Name: userad.sh6 #Version: v1.07 #Description…

世界人工智能发展究竟到了什么水平

来源:第一财经关于人工智能在当今科技界的发展水平,学术界、产业界和媒体界可能会有不同的看法。我经常听到的一个说法是:现在基于大数据与深度学习的人工智能是一种完全新颖的技术形态,它的出现能够全面地改变未来人类的社会形态…

37-字符的全排列

题目内容:对字符串(数字,字母,符号)进行全排列,并统计全排列的种树输入描述输入一个字符串输出描述输出字符串的全排列,每种情况占一行,最后一行输出全排列的个数输入样例123输出样例…

Quanta杂志长文翻译:通过信息论判定个体的边界

本文是“Quanta magazine”文章“What Is an Individual? Biology Seeks Clues in Information Theory” 的全文翻译。译者Peter,原文地址 https://www.quantamagazine.org/what-is-an-individual-biology-seeks-clues-in-information-theory-20200716/导读&#x…

linux语言 翻译工具,Linux文本转语音工具eSpeak介绍

Text to speech tool in LinuxeSpeak是一款 Linux 命令行工具,能把文本转换成语音。它是一款简洁的语音合成器,用C语言编写而成,它支持英语和其它多种语言。eSpeak 从标准输入或者输入文件中读取文本。虽然语音输出与真人声音相去甚远。但是&…

python--*args和**kwargs可变参数

先来看个例子: #! /usr/bin/env python #codingutf-8def foo(*args, **kwargs):print(args,args)print(kwargs,kwargs)print(----------------------------)if __name__ __main__:foo(1,2,3,4)foo(a1,b2,c3)foo(1,2,3,4,a1,b2,c3)foo(a,1,None,a1,b2,c3) 结果&…

因果学习的三个层次

来源:混沌巡洋舰昨天龚鹤扬博士在集智的讲座因果学习综述,我借此机会结合我的理解给大家总结客串下这个讲座,和因果学习的核心内容,及巡洋舰一段时间关于因果的文章汇总。这个讲座分为三部分,第一是什么因果及其哲学基…

查看文件详细信息linux,linux命令stat,查看文件详细信息

搜索引擎广告过滤Chrome插件搜索广告屏蔽Chrome插件:自动过滤:百度,360,搜狗,google,bing的搜索广告,让魏则西的悲剧不再重演.珍爱生命,远离搜索广告! 下载:FuckAd.zip 安装:方法自行百度. 关闭百 ...如何解读SQL Server日志(2/3)接下来说说返回的Ro…

BZOJ1010玩具装箱 - 斜率优化dp

传送门 题目分析: 设\(f[i]\)表示装前i个玩具的花费。 列出转移方程:\[f[i] max\{f[j] ((i - (j 1)) sum[i] - sum[j] - L))^2\}\] 令\(x[i] sum[i] i\), \(P L 1\),上式化为:\[f[i] max\{f[j] (x[i] - x[j] - P)^2\}\]…

人与机器——解析人工智能的三大类别以及哲学家的相关思想实验

来源:北京物联网智能技术应用协会你是否曾经产生过怀疑,你身边的某个人可能是个机器人呢?毕竟现在由于技术的发展,机器人的外观、行为都有可能被设置得和人类十分相像。这似乎有些荒谬和匪夷所思,但是你如何能百分之百…

linux暂停线程和恢复,是否有可能在Linux [暂停]中检测到线程已进行上下文切换?...

能够当所述线程中的一个被切换上下文(即,暂停),以检测可以找到?至于你的问题是否可能 - 它认为这是可能的。至少SystemTap(https://sourceware.org/systemtap/)可以做到这一点。probe scheduler.ctxswitch{if (target_pid ! 0&& next…

大战设计模式【12】—— 迭代器模式

迭代器模式(Iterator) 设计模式使用的例子https://github.com/LinkinStars/DesignPatternsAllExample 一、定义 提供一种方法顺序访问一个聚合对象中的各个元素,而又不暴露其内部的表示。 二、结构 Iterator(抽象迭代器&#xff0…