java新生代采用8:1:1的eden与s0/s1分区,本质是逻辑from/to双区结构:eden+s0构成活动半区,s1为空闲目标区,兼顾复制算法无碎片优势与空间高效利用。

新生代内存管理中,复制算法的实现关键不在“分两块内存”这个表面动作,而在于如何在高频率、低延迟的前提下,精准、高效地完成存活对象的识别、搬运与角色切换。
内存分区不是均分,而是按使用规律动态配比
虽然复制算法理论要求“大小相等的两块”,但实际JVM(如HotSpot)并不机械照搬。它把新生代划为Eden : Survivor0 : Survivor1 = 8 : 1 : 1,本质仍是“逻辑上的From/To双区”结构:Eden + 一个Survivor共同构成当前的“活动半区”,另一个Survivor作为空闲“目标区”。这样既保留复制算法无碎片、顺序分配的优势,又将闲置空间压缩到仅10%,大幅缓解了“浪费一半”的缺陷。
- Eden区负责绝大多数新对象分配,是主要“来源”
- 两个Survivor区轮换担任From/To角色,承担存活对象暂存与年龄晋升功能
- 当Survivor空间不足时,JVM会触发“分配担保”,直接将部分对象提前晋升至老年代,避免复制失败
复制过程依赖精确的存活对象追踪与线性搬运
复制不是盲目拷贝,而是从GC Roots出发,严格标记并遍历所有可达对象。HotSpot采用Cheney算法变体:用Scan和Free两个指针在To空间模拟队列,一边复制对象,一边递归处理其引用字段——先复制A,再顺着A的引用找到B、C,依次复制。整个过程保证对象在To空间内连续排列,后续分配只需移动Free指针,无需查找空闲块。
- 对象复制是实打实的字节拷贝,不是指针重定向
- 每个对象复制后,其内部引用字段需同步更新,指向To空间中的新地址
- 复制过程中会重置对象年龄(进入Survivor即为1岁),为后续晋升决策提供依据
角色切换必须原子且无状态残留
一次Minor GC结束时,原Eden和From Survivor被整体清空,To Survivor成为新的“活动区”,同时角色互换。这个切换不能遗留任何未清理的元数据或跨区引用。JVM通过交换指针(如from_space/to_space引用)实现毫秒级切换,确保下一次对象分配立刻可用,且不会误触已回收区域。
- 清空操作是整块内存重置,不逐对象扫描,速度极快
- Survivor区之间的复制始终是单向的(From → To),避免循环引用或状态混淆
- 对象年龄达到阈值(默认15次)后,直接移入老年代,不再参与复制流程
不复杂但容易忽略











