讲师中心 微信公众号
AI工具推荐 视频效率加速

标记-清除(Mark-Sweep)算法:为什么这种最基础的算法会导致严重的内存碎片化问题

阿婷同学_3129

阿婷同学_3129

发布时间:2026-05-09 13:20:24

|

210人浏览过

|

来源于php中文网

原创

标记-清除算法导致内存碎片,因只标记死亡对象而不移动存活对象,使空闲空间零散分布;即使总空闲足够,大对象仍因缺乏连续空间而分配失败,最终触发OOM。

标记-清除(mark-sweep)算法:为什么这种最基础的算法会导致严重的内存碎片化问题

因为它只“清空位置”,从不“挪动东西”。标记-清除算法在回收内存时,只是把死亡对象占的那块空间打上“空闲”标签,其他所有存活对象原地不动。久而久之,堆内存就像一块被虫蛀过的木板——空洞密布、大小不一、彼此隔离。

它不整理,也不合并,只做最轻量的释放

清除阶段不移动任何对象,也不调整地址布局。每次回收后,空闲空间被切割成零散小块,分布在存活对象之间。这些小块无法拼接,也无法自动合并。JVM分配器只能靠遍历空闲链表或位图去找合适大小的连续区域,效率随碎片增多而下降。

  • 一个 new byte[1024*1024](1MB)对象,需要的是连续1MB空间,不是“总共加起来有1MB”
  • 哪怕老年代还剩 300MB 空闲,但最大连续块只有 512KB,照样触发 OutOfMemoryError: Java heap space
  • 日志里常看到 Old Gen 使用率仅 60%~70%,却频繁 Full GC,就是这个原因

老年代尤其容易“积碎成疾”

新生代用复制算法,每次 Minor GC 都会把存活对象集中搬到一边,旧区整块清空,天然防碎片。老年代没这个条件:对象多、体积大、晋升频繁、又没备用空间供复制,只能就地清理。CMS 收集器就采用纯标记-清除,长期运行后碎片像雪球一样越滚越大。

  • CMS 在并发清除阶段若遇到大对象分配失败,会直接退化为 Serial Old(标记-整理),引发长停顿
  • Parallel Old 默认 Full GC 就带整理,但整理本身耗时,可能反过来加剧延迟和分配压力
  • 碎片还会拖慢后续分配速度——JVM 要花更多时间在空闲列表里“找块合适的地”

参数不当会加速碎片向老年代转移

问题不只出在算法本身,更藏在配置里。Survivor 区太小、晋升阈值太低、对象过早进入老年代,等于主动往老年代“倒碎玻璃”。

  • -XX:SurvivorRatio=2 会让 Survivor 区极容易塞满,大量本该短命的对象提前 tenuring 到老年代
  • -XX:MaxTenuringThreshold 设得太小(如 1),对象活过一次 Minor GC 就进老年代,大幅提升老年代碎片风险
  • 缓存类服务若长期持有中生命周期对象(活几轮 GC 但未晋升),Survivor 区反复复制反而低效,此时更需考虑 G1 或调高晋升阈值

它不是错,而是取舍

标记-清除胜在实现简单、STW 时间相对可控、适合高吞吐场景。但它把“空间利用率”让渡给了“暂停时间”。一旦碎片影响到大对象分配或触发兜底整理,代价就从“快”变成“卡”甚至“崩”。所以现代收集器往往组合使用:CMS 主打并发清除,靠 fallback 整理兜底;G1 在 Mixed GC 中局部整理;ZGC/Shenandoah 则绕开移动,用读屏障解决碎片——路径不同,目标一致:既要低延迟,也要能持续分配。

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

相关专题

更多
页面置换算法
页面置换算法

页面置换算法是操作系统中用来决定在内存中哪些页面应该被换出以便为新的页面提供空间的算法。本专题为大家提供页面置换算法的相关文章,大家可以免费体验。

5436

2023.08.14

Kratos框架Protobuf接口定义与代码生成合集
Kratos框架Protobuf接口定义与代码生成合集

本专题讲解Kratos框架接口定义体系,涵盖proto编写规范、proto add/client/server生成命令、http注解路由、validate校验、OpenAPI文档生成、跨服务proto复用与兼容性设计。

0

2026.10.10

C++虚函数怎么定义和调用
C++虚函数怎么定义和调用

C++虚函数是实现运行时多态的重要机制。本专题从virtual关键字的基本用法入手,介绍基类与派生类之间的函数重写、基类指针调用派生类方法,以及动态绑定的执行过程,帮助初学者掌握虚函数的核心语法。

0

2026.10.10

C++类与对象的封装方法教程
C++类与对象的封装方法教程

C++封装是面向对象编程的核心特性之一,通过类将数据与操作数据的函数组织在一起,并利用访问权限控制外部访问。本专题介绍类的定义、成员变量、成员函数以及public、private和protected的使用方法,帮助初学者掌握封装的基本原理。

0

2026.10.10

C++构造函数定义与调用方法
C++构造函数定义与调用方法

C++构造函数用于初始化类对象,是面向对象编程的重要基础。本专题从构造函数的定义、声明和调用入手,介绍默认构造函数、带参数构造函数、拷贝构造函数及成员初始化列表,帮助初学者掌握对象创建与初始化的基本方法。

0

2026.10.10

Kratos框架零基础入门教程
Kratos框架零基础入门教程

本专题整理Kratos框架入门内容,涵盖Go环境准备、kratos CLI安装升级、new命令创建项目、目录结构分层说明、服务启动与双协议端口、依赖下载报错排查,帮助开发者快速跑通第一个Kratos框架微服务应用。

0

2026.10.10

C++条件判断语句怎么写
C++条件判断语句怎么写

C++条件判断是控制程序执行流程的重要基础。本专题介绍if、if-else、else if和switch等常见分支语句,结合条件表达式、比较运算符与代码示例,帮助初学者掌握不同场景下的判断逻辑。

0

2026.10.10

C++变量怎么声明和赋值
C++变量怎么声明和赋值

C++变量是编写程序和存储数据的基础。本专题围绕变量声明、定义、初始化、赋值和类型选择等内容展开,帮助初学者理解不同变量的用法,并掌握在实际代码中定义和使用变量的方法。

0

2026.10.10

C++运算符基础入门
C++运算符基础入门

本专题详细讲解了C++运算符的类型、语法与使用方法,涵盖算术运算符、关系运算符、逻辑运算符、位运算符、赋值运算符、条件运算符及其他特殊运算符,并通过代码示例解析优先级与结合性。

0

2026.10.09

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn