JVM 核心机制全解析:内存模型、类加载与垃圾回收

📌 本文由 25 篇相关文章智能合并整理而成

SERIALIZABLE 隔离级别的实现与性能

SERIALIZABLE 隔离级别的实现与性能

概述

SERIALIZABLE(可串行化)是 MySQL InnoDB 提供的最高事务隔离级别。它通过强制事务串行化执行,完全避免了脏读、不可重复读和幻读等所有并发问题。但代价是并发性能最差,通常只在极少数对数据一致性要求极其严格的场景下使用。

实现机制

核心思想

SERIALIZABLE 级别的核心是:让所有事务看起来像是一个一个串行执行,而不是并发执行。

具体实现方式

SERIALIZABLE 实现
│
├── 1. 快照读(普通 SELECT)
│   └── 自动转为 LOCK IN SHARE MODE(共享读锁)
│
├── 2. 当前读(FOR UPDATE / UPDATE / DELETE)
│   └──  REPEATABLE READ 一致,使用 Next-Key Lock
│
└── 3. 自动加锁规则
    └── 所有读操作都加锁,读写互斥

1. 快照读自动转共享锁

在 SERIALIZABLE 级别下,即使是普通的 SELECT 语句,也会自动被转换为 SELECT ... LOCK IN SHARE MODE,即加上共享锁(S 锁)

-- SERIALIZABLE 下
BEGIN;
SELECT * FROM user WHERE id = 1;
-- 等价于:SELECT * FROM user WHERE id = 1 LOCK IN SHARE MODE;
-- 其他事务无法对 id=1 的行加排他锁(不能修改)

这意味着:
– 读操作会阻塞其他事务的写操作
– 两个读操作可以同时进行(共享锁兼容)

2. 当前读使用 Next-Key Lock

对于加锁读和 DML 操作,与 REPEATABLE READ 一样使用 Next-Key Lock(记录锁 + 间隙锁),防止幻读。

SELECT * FROM user WHERE age > 20 FOR UPDATE;
-- SERIALIZABLE 级别:Next-Key Lock 锁定范围

3. 加锁规则总结

操作 加的锁 兼容性
SELECT(快照读→共享锁) S 锁 多个 S 锁兼容,S 锁与 X 锁互斥
SELECT FOR UPDATE X 锁 与所有锁互斥
UPDATE / DELETE X 锁 与所有锁互斥
INSERT 隐式锁(等待显式化) 与其他锁互斥

性能分析

为什么性能最差?

  1. 读写互斥:读操作阻塞写操作,写操作阻塞读操作
  2. 锁范围大:所有操作都在加锁,锁竞争剧烈
  3. 死锁概率高:锁越多,死锁可能性越大
  4. 并发度低:事务需要排队等待锁释放

对比其他隔离级别

指标 SERIALIZABLE REPEATABLE READ READ COMMITTED
读是否加锁 ✅ 是 ❌ 否(快照读) ❌ 否(快照读)
写是否阻塞读 ✅ 会阻塞 ❌ 不会阻塞 ❌ 不会阻塞
并发吞吐量 最低 较高 最高
死锁概率 最高 中等 较低

典型场景

SERIALIZABLE 虽然性能差,但在以下场景中有其价值:

  • 金融核心交易:转账过程中不允许任何其他操作影响到相关账户
  • 分布式锁:利用数据库行锁实现简单分布式锁
  • 数据导出:导出过程中数据必须完全一致
  • 批量数据校验:避免事务并发对校验结果的影响

实践建议

什么时候用?

-- 1. 特定事务临时提升隔离级别
SET SESSION TRANSACTION ISOLATION LEVEL SERIALIZABLE;
BEGIN;
-- 执行需要最高一致性的操作
COMMIT;
SET SESSION TRANSACTION ISOLATION LEVEL REPEATABLE READ;

什么时候不用?

  • 日常业务操作:绝大多数业务场景用不上
  • 高并发系统:会变成性能瓶颈
  • 读多写少场景:用 REPEATABLE READ 或 READ COMMITTED 更合适
  • 大事务:锁持有时间过长,严重影响系统吞吐

替代方案

在很多场景中,不需要全局使用 SERIALIZABLE:

场景 替代方案
防止修改被覆盖 乐观锁(版本号 CAS)
防止读取中间状态 在关键 SQL 后加 LOCK IN SHARE MODE
防止幻读 用 REPEATABLE READ + 特定范围的间隙锁
需要严格串行化 考虑使用消息队列或分布式锁

面试要点

  1. 核心机制:SERIALIZABLE 下普通 SELECT 自动转 LOCK IN SHARE MODE
  2. 性能代价:用”让所有操作串行化”换取”绝对一致性”
  3. 对比记忆:三种防幻读机制的关系
READ COMMITTED  :无防幻读能力
REPEATABLE READ:MVCC(快照读)+ Gap Lock(当前读)
SERIALIZABLE   :所有读加共享锁 + Gap Lock(强制串行化)
  1. 实用建议:了解即可,生产环境很少用。面试时展示对”代价/收益”的权衡思考

长连接内存溢出如何优化

长连接内存溢出如何优化

问题根源

MySQL 使用长连接时,连接器会在连接的生命周期内维护大量临时资源。长连接不释放,这些资源就一直累积,最终导致内存溢出(OOM)。

graph LR
    A[长连接建立] --> B[执行SQL]
    B --> C[临时内存分配<br/>会话级别]
    C --> D[持续累积]
    D --> E[内存溢出<br/>MySQL被OOM Killer杀掉]

内存泄漏的主要原因

1. 临时表

-- 每次执行都会创建临时表,连接不释放就不销毁
SELECT * FROM t1 JOIN t2 ON t1.id = t2.id ORDER BY t1.name;
  • 文件排序(filesort)需要临时内存
  • 连接池模式中长时间连接的临时对象不会被释放

2. 预编译语句(Prepared Statement)

-- 预编译的SQL会占用连接内存
PREPARE stmt FROM 'SELECT * FROM user WHERE id = ?';
EXECUTE stmt USING @id;

每次 PREPARE 都会在会话内存中保留一份数据结构。

3. 结果集缓存

  • 每次查询的结果在传输完成前会暂存在内存中
  • 大结果集会长时间占用内存

4. Buffer Pool 与连接无关

注意区分:Buffer Pool 是全局共享的,不是连接级别的。长连接溢出说的是每个连接自己的会话内存

优化方案对比

flowchart TD
    subgraph 方案A[定期断开重连]
        A1[执行N条SQL后<br/>主动断开连接]
        A2[释放所有会话内存]
        A3[重新建立新连接]
        A1 --> A2 --> A3
    end

    subgraph 方案B[连接池+reset]
        B1[连接归还池前<br/>执行mysql_reset_connection]
        B2[清理会话状态<br/>释放临时内存]
        B3[连接池复用]
        B1 --> B2 --> B3
    end

    subgraph 方案C[设置超时]
        C1[wait_timeout<br/>缩小空闲超时]
        C2[interactive_timeout<br/>交互式超时]
        C1 --> C2
    end

具体优化措施

方案一:定期断开重连(最简单)

应用程序层面每隔一段时间断开连接再重连:

# 伪代码示例
MAX_QUERIES = 10000
query_count = 0

while True:
    cursor.execute(sql)
    query_count += 1
    if query_count >= MAX_QUERIES:
        cursor.close()          # 断开连接,释放内存
        cursor = connect()      # 重连
        query_count = 0

方案二:mysql_reset_connection

-- 连接复用前重置会话状态
mysql_reset_connection(conn);  -- C API
  • 重置临时表、事务状态、用户变量等
  • 比断开重连开销小
  • 保留 TCP 连接和权限缓存

方案三:调整超时参数

[mysqld]
# 非交互式连接超时时间(默认28800秒=8小时)
wait_timeout = 600

# 交互式连接超时时间
interactive_timeout = 600

# 最大连接数(防止连接过多撑爆内存)
max_connections = 500

方案四:使用连接池中间件

应用 -> 连接池(Druid/HikariCP) -> MySQL
  • 连接池会检测空闲连接,定期”续命”或回收
  • 可以对连接自动执行 mysql_reset_connection

实际案例

-- 查看哪个连接占用内存较大
SELECT * FROM sys.session ORDER BY (current_memory) DESC LIMIT 5;

-- 查看连接数分布
SELECT * FROM information_schema.PROCESSLIST;

经验值:单个 MySQL 实例建议长连接数不超过 2000,超过后内存压力显著增大。

面试要点

  • 核心原因:会话级别临时资源累积,不断开就不释放
  • 最优方案:定期 mysql_reset_connection + 连接池
  • 次优方案:定期断开重连
  • 不要:无限制使用长连接不做任何清理

一句话总结:长连接像水杯,不换水就会变臭——定期清空会话状态是保持健康的关键。


长连接内存溢出如何优化

长连接内存溢出如何优化

问题根源

MySQL 使用长连接时,连接器会在连接的生命周期内维护大量临时资源。长连接不释放,这些资源就一直累积,最终导致内存溢出(OOM)。

graph LR
    A[长连接建立] --> B[执行SQL]
    B --> C[临时内存分配<br/>会话级别]
    C --> D[持续累积]
    D --> E[内存溢出<br/>MySQL被OOM Killer杀掉]

内存泄漏的主要原因

1. 临时表

-- 每次执行都会创建临时表,连接不释放就不销毁
SELECT * FROM t1 JOIN t2 ON t1.id = t2.id ORDER BY t1.name;
  • 文件排序(filesort)需要临时内存
  • 连接池模式中长时间连接的临时对象不会被释放

2. 预编译语句(Prepared Statement)

-- 预编译的SQL会占用连接内存
PREPARE stmt FROM 'SELECT * FROM user WHERE id = ?';
EXECUTE stmt USING @id;

每次 PREPARE 都会在会话内存中保留一份数据结构。

3. 结果集缓存

  • 每次查询的结果在传输完成前会暂存在内存中
  • 大结果集会长时间占用内存

4. Buffer Pool 与连接无关

注意区分:Buffer Pool 是全局共享的,不是连接级别的。长连接溢出说的是每个连接自己的会话内存

优化方案对比

flowchart TD
    subgraph 方案A[定期断开重连]
        A1[执行N条SQL后<br/>主动断开连接]
        A2[释放所有会话内存]
        A3[重新建立新连接]
        A1 --> A2 --> A3
    end

    subgraph 方案B[连接池+reset]
        B1[连接归还池前<br/>执行mysql_reset_connection]
        B2[清理会话状态<br/>释放临时内存]
        B3[连接池复用]
        B1 --> B2 --> B3
    end

    subgraph 方案C[设置超时]
        C1[wait_timeout<br/>缩小空闲超时]
        C2[interactive_timeout<br/>交互式超时]
        C1 --> C2
    end

具体优化措施

方案一:定期断开重连(最简单)

应用程序层面每隔一段时间断开连接再重连:

# 伪代码示例
MAX_QUERIES = 10000
query_count = 0

while True:
    cursor.execute(sql)
    query_count += 1
    if query_count >= MAX_QUERIES:
        cursor.close()          # 断开连接,释放内存
        cursor = connect()      # 重连
        query_count = 0

方案二:mysql_reset_connection

-- 连接复用前重置会话状态
mysql_reset_connection(conn);  -- C API
  • 重置临时表、事务状态、用户变量等
  • 比断开重连开销小
  • 保留 TCP 连接和权限缓存

方案三:调整超时参数

[mysqld]
# 非交互式连接超时时间(默认28800秒=8小时)
wait_timeout = 600

# 交互式连接超时时间
interactive_timeout = 600

# 最大连接数(防止连接过多撑爆内存)
max_connections = 500

方案四:使用连接池中间件

应用 -> 连接池(Druid/HikariCP) -> MySQL
  • 连接池会检测空闲连接,定期”续命”或回收
  • 可以对连接自动执行 mysql_reset_connection

实际案例

-- 查看哪个连接占用内存较大
SELECT * FROM sys.session ORDER BY (current_memory) DESC LIMIT 5;

-- 查看连接数分布
SELECT * FROM information_schema.PROCESSLIST;

经验值:单个 MySQL 实例建议长连接数不超过 2000,超过后内存压力显著增大。

面试要点

  • 核心原因:会话级别临时资源累积,不断开就不释放
  • 最优方案:定期 mysql_reset_connection + 连接池
  • 次优方案:定期断开重连
  • 不要:无限制使用长连接不做任何清理

一句话总结:长连接像水杯,不换水就会变臭——定期清空会话状态是保持健康的关键。


weakref 弱引用:避免循环引用导致内存泄漏

weakref 弱引用:避免循环引用导致内存泄漏

什么是弱引用

弱引用(Weak Reference)允许引用对象但不增加其引用计数,从而不影响对象的垃圾回收。主要用于避免循环引用导致的内存泄漏。

import weakref
import gc

class MyObject:
    def __init__(self, name):
        self.name = name
        print(f"{name} 创建")

    def __del__(self):
        print(f"{self.name} 销毁")

# 强引用
obj = MyObject("测试对象")  # 引用计数 = 1

# 弱引用
weak = weakref.ref(obj)
print(weak())  # <__main__.MyObject object at ...> — 可以访问

del obj  # 引用计数归零,对象销毁
print(weak())  # None — 对象已被回收

基本用法

import weakref

class Data:
    def __init__(self, value):
        self.value = value

data = Data(42)

# 创建弱引用
ref = weakref.ref(data)
print(ref())      # <__main__.Data object at ...>
print(ref().value)  # 42

# 获取引用的回调通知
def on_delete(ref):
    print(f"对象已被回收")

ref_with_callback = weakref.ref(data, on_delete)

del data  # 触发 on_delete 回调

弱引用字典 WeakValueDictionary

from weakref import WeakValueDictionary

class Cache:
    def __init__(self):
        self._cache = WeakValueDictionary()  # 值用弱引用

    def add(self, key, value):
        self._cache[key] = value

    def get(self, key):
        return self._cache.get(key)

cache = Cache()
obj = MyObject("缓存对象")
cache.add("key1", obj)

print(cache.get("key1"))  # <...> — 存在

del obj  # 对象被回收
print(cache.get("key1"))  # None — 自动消失,没有内存泄漏

弱引用集合

from weakref import WeakSet

class EventHandler:
    def __init__(self, name):
        self.name = name

    def handle(self, event):
        print(f"{self.name} 处理了 {event}")

class EventManager:
    def __init__(self):
        self._handlers = WeakSet()  # 自动排除已销毁的 handler

    def register(self, handler):
        self._handlers.add(handler)

    def fire(self, event):
        for handler in self._handlers:
            handler.handle(event)

manager = EventManager()
handler = EventHandler("处理器A")
manager.register(handler)

manager.fire("事件1")  # 处理器A 处理了 事件1

del handler  # 销毁处理器
manager.fire("事件2")  # 没有任何输出

弱引用的限制

# 1. 不能弱引用基本类型
import weakref
# weakref.ref(42)  # ❌ TypeError: cannot create weak reference to 'int' object

# 2. 不能弱引用 str
# weakref.ref("hello")  # ❌ TypeError

# 3. 不能弱引用 list、dict、tuple
# weakref.ref([1, 2, 3])  # ❌ TypeError

# 但可以通过继承支持
class MyList(list):
    pass  # 自定义的 list 子类支持弱引用

my_list = MyList([1, 2, 3])
ref = weakref.ref(my_list)
print(ref())  # [1, 2, 3]

让类支持弱引用

class MyClass:
    __slots__ = ('data', '__weakref__')  # 显式包含 __weakref__

    def __init__(self, data):
        self.data = data

# __slots__ 默认不包含 __weakref__,需要显式包含

实际应用

1. 观察者模式

from weakref import WeakSet

class Observable:
    def __init__(self):
        self._observers = WeakSet()

    def attach(self, observer):
        self._observers.add(observer)

    def detach(self, observer):
        self._observers.discard(observer)

    def notify(self, message):
        for observer in self._observers:
            observer.update(message)

class Observer:
    def __init__(self, name):
        self.name = name

    def update(self, message):
        print(f"{self.name} 收到: {message}")

    def __del__(self):
        print(f"{self.name} 被销毁")

subject = Observable()
obs1 = Observer("观察者1")
obs2 = Observer("观察者2")

subject.attach(obs1)
subject.attach(obs2)

subject.notify("你好!")
del obs1  # 观察者1 被销毁
# WeakSet 自动移除失效引用
subject.notify("再见!")  # 只有观察者2 收到

2. 缓存系统

import weakref

class ImageLoader:
    _cache = weakref.WeakValueDictionary()

    @classmethod
    def load(cls, path):
        img = cls._cache.get(path)
        if img is None:
            img = cls._load_from_disk(path)
            cls._cache[path] = img
        return img

    @classmethod
    def _load_from_disk(cls, path):
        print(f"从磁盘加载: {path}")
        return Image(path)

class Image:
    def __init__(self, path):
        self.path = path
        self.data = f"图片数据:{path}"

    def __del__(self):
        print(f"图片 {self.path} 释放")

# 使用
img1 = ImageLoader.load("photo.jpg")
img2 = ImageLoader.load("photo.jpg")  # 从缓存获取
print(img1 is img2)  # True

del img1
del img2  # 所有强引用消失,图片从缓存自动移除

循环引用与弱引用

# ❌ 循环引用
class Parent:
    def __init__(self):
        self.child = None

class Child:
    def __init__(self, parent):
        self.parent = parent  # 强引用

p = Parent()
c = Child(p)
p.child = c  # 双向引用循环

# ✅ 用弱引用破环
class Parent:
    def __init__(self):
        self.child = None

class Child:
    def __init__(self, parent):
        self.parent = weakref.ref(parent)  # 弱引用

p = Parent()
c = Child(p)
p.child = c

print(c.parent())  # 
del p
print(c.parent())  # None — 不会阻止回收

总结

import weakref

# 四种 weakref 容器
ref = weakref.ref(obj)              # 单个弱引用
proxy = weakref.proxy(obj)          # 弱引用代理(透明访问)
dict = weakref.WeakValueDictionary() # 值的弱引用字典
set = weakref.WeakSet()             # 弱引用集合
工具 用途
weakref.ref 单个对象的弱引用
weakref.proxy 透明的弱引用代理
WeakValueDictionary 键存在但值不阻止回收
WeakKeyDictionary 键不阻止回收
WeakSet 元素不阻止回收
finalize 对象回收时的回调

一句话:弱引用让你引用对象而不”拥有”它——对缓存、观察者和循环引用场景非常有用。


循环引用导致内存泄漏及 weakref 解决方案

循环引用导致内存泄漏及 weakref 解决方案

循环引用(Circular Reference)是 Python 引用计数机制的天敌,也是面试中解释”为什么需要垃圾回收”的经典场景。

什么是循环引用

当两个或多个对象互相持有对方的引用,形成一个引用环时,每个对象的引用计数至少为 1,导致引用计数无法归零,对象无法通过引用计数机制释放。

class Node:
    def __init__(self, name):
        self.name = name
        self.parent = None
        self.children = []

def create_cycle():
    a = Node("A")
    b = Node("B")
    a.children.append(b)  # a → b
    b.parent = a          # b → a,形成循环

create_cycle()
# a 和 b 在函数结束后互相引用,引用计数无法归零
graph LR
    A[对象 A ref=2] -->|children| B[对象 B ref=2]
    B -->|parent| A

    style A fill:#ff9999
    style B fill:#ff9999

哪些类型会产生循环引用

只有容器对象(如 list、dict、set、自定义类实例)可能产生循环引用——因为它们能持有其他对象的引用。

# 列表循环引用
a = []
a.append(a)  # 列表引用自身

# 字典循环引用
d = {}
d["self"] = d

# 函数闭包的循环引用
def outer():
    x = []
    def inner():
        return x
    return inner

内存泄漏的表现

import gc
import sys

class LeakDemo:
    def __init__(self):
        self.ref = None

# 故意制造泄漏
leaks = []
for i in range(10000):
    a = LeakDemo()
    b = LeakDemo()
    a.ref = b
    b.ref = a
    leaks.append(a)

print("GC未回收前:", len(gc.get_objects()))
# 手动触发回收
n = gc.collect()
print(f"回收了 {n} 个对象")

如何检测循环引用

1. gc.get_objects + gc.get_referents

import gc
import objgraph  # 第三方库

# 查看对象的引用链
gc.collect()
objgraph.show_backrefs(
    [leaks[0]], 
    max_depth=5, 
    filename="cycle.png"
)

2. weakref 打破循环

import weakref

class Node:
    def __init__(self, name):
        self.name = name
        self._parent = None

    @property
    def parent(self):
        return self._parent() if self._parent else None

    @parent.setter
    def parent(self, node):
        self._parent = weakref.ref(node) if node else None

a = Node("A")
b = Node("B")
b.parent = a       # 弱引用,不增加引用计数
a.children.append(b)  # 普通引用
# 函数结束后可以被正常回收

实用工具

import gc

# 查找无法回收的循环引用对象
gc.set_debug(gc.DEBUG_SAVEALL)

# 手动触发回收
unreachable = gc.collect()
print(f"不可达对象数量: {unreachable}")

# 检查对象是否被追踪
print(gc.is_tracked(a))

面试要点

  1. 循环引用不是真正的内存泄漏——分代 GC 最终会回收
  2. 但如果对象定义了 __del__ 方法,循环引用中的对象永远不会被 GC 回收
  3. 现代 Python 代码中,使用 weakref 是处理循环引用的标准方案
  4. __del__ + 循环引用 = 真正的内存泄漏(GC 无法确定销毁顺序)
class Danger:
    def __del__(self):
        print("Danger 被清理")

a = Danger()
b = Danger()
a.ref = b
b.ref = a
del a, b
# GC 无法回收 Danger 实例,__del__ 永远不会被调用!

总结:循环引用本身不可怕,分代 GC 会处理;__del__ 的循环引用才是真正的麻烦。


工厂模式:解耦对象创建

工厂模式:解耦对象创建

工厂模式将对象的创建逻辑从使用代码中抽离出来,让客户端不直接实例化具体类,而是通过工厂获取实例。这在对象创建逻辑复杂或需要根据条件选择具体实现时非常有用。

简单工厂(Simple Factory)

from abc import ABC, abstractmethod

# 抽象产品
class Database(ABC):
    @abstractmethod
    def connect(self):
        pass

# 具体产品
class MySQL(Database):
    def connect(self):
        return "已连接到 MySQL"

class PostgreSQL(Database):
    def connect(self):
        return "已连接到 PostgreSQL"

class SQLite(Database):
    def connect(self):
        return "已连接到 SQLite"

# 简单工厂
class DatabaseFactory:
    @staticmethod
    def create(db_type: str) -> Database:
        factories = {
            "mysql": MySQL,
            "postgres": PostgreSQL,
            "sqlite": SQLite,
        }
        cls = factories.get(db_type.lower())
        if cls is None:
            raise ValueError(f"不支持的数据库类型: {db_type}")
        return cls()

# 使用
db = DatabaseFactory.create("mysql")
print(db.connect())  # 已连接到 MySQL

工厂方法(Factory Method)

将工厂方法定义在抽象类中,子类决定实例化哪个具体类:

from abc import ABC, abstractmethod

class Document(ABC):
    @abstractmethod
    def open(self):
        pass

    @abstractmethod
    def save(self, content):
        pass

class PDF(Document):
    def open(self):
        return "打开 PDF 文档"

    def save(self, content):
        return f"保存 PDF: {content}"

class Word(Document):
    def open(self):
        return "打开 Word 文档"

    def save(self, content):
        return f"保存 Word: {content}"

# 创建器
class DocumentCreator(ABC):
    @abstractmethod
    def create_document(self) -> Document:
        pass

    def edit_document(self):
        doc = self.create_document()
        doc.open()
        doc.save("内容")

class PDFCreator(DocumentCreator):
    def create_document(self) -> Document:
        return PDF()

class WordCreator(DocumentCreator):
    def create_document(self) -> Document:
        return Word()

# 使用
creator = PDFCreator()
creator.edit_document()  # 使用 PDF
classDiagram
    class Creator {
        +factory_method() Document
        +operation()
    }
    class ConcreteCreatorA {
        +factory_method() Document
    }
    class ConcreteCreatorB {
        +factory_method() Document
    }
    class Document {
        <<abstract>>
    }
    class ProductA
    class ProductB

    Creator <|-- ConcreteCreatorA
    Creator <|-- ConcreteCreatorB
    ConcreteCreatorA --> ProductA
    ConcreteCreatorB --> ProductB
    Document <|-- ProductA
    Document <|-- ProductB

抽象工厂(Abstract Factory)

创建一系列相关对象的工厂:

from abc import ABC, abstractmethod

# 抽象产品族
class Button(ABC):
    @abstractmethod
    def render(self):
        pass

class Checkbox(ABC):
    @abstractmethod
    def render(self):
        pass

# 具体产品
class WindowsButton(Button):
    def render(self):
        return "Windows 风格的按钮"

class WindowsCheckbox(Checkbox):
    def render(self):
        return "Windows 风格的复选框"

class MacButton(Button):
    def render(self):
        return "Mac 风格的按钮"

class MacCheckbox(Checkbox):
    def render(self):
        return "Mac 风格的复选框"

# 抽象工厂
class UIFactory(ABC):
    @abstractmethod
    def create_button(self) -> Button:
        pass

    @abstractmethod
    def create_checkbox(self) -> Checkbox:
        pass

class WindowsFactory(UIFactory):
    def create_button(self) -> Button:
        return WindowsButton()
    def create_checkbox(self) -> Checkbox:
        return WindowsCheckbox()

class MacFactory(UIFactory):
    def create_button(self) -> Button:
        return MacButton()
    def create_checkbox(self) -> Checkbox:
        return MacCheckbox()

# 使用
factory = WindowsFactory()  # 或 MacFactory()
button = factory.create_button()
checkbox = factory.create_checkbox()

实战:日志记录器工厂

import logging
from abc import ABC, abstractmethod

class Logger(ABC):
    @abstractmethod
    def log(self, message: str):
        pass

class FileLogger(Logger):
    def __init__(self, path):
        self.path = path

    def log(self, message: str):
        with open(self.path, "a") as f:
            f.write(f"{message}\n")

class ConsoleLogger(Logger):
    def log(self, message: str):
        print(f"[LOG] {message}")

class CloudLogger(Logger):
    def log(self, message: str):
        import requests
        requests.post("https://log-service/api/log", json={"msg": message})

class LoggerFactory:
    _loggers = {
        "file": FileLogger,
        "console": ConsoleLogger,
        "cloud": CloudLogger,
    }

    @classmethod
    def register(cls, name, logger_cls):
        cls._loggers[name] = logger_cls

    @classmethod
    def create(cls, name: str, **kwargs) -> Logger:
        logger_cls = cls._loggers.get(name)
        if not logger_cls:
            raise ValueError(f"unknown logger: {name}")
        return logger_cls(**kwargs)

# 注册自定义日志器
LoggerFactory.register("redis", RedisLogger)

# 使用
logger = LoggerFactory.create("file", path="/var/log/app.log")
logger.log("系统启动")

何时使用工厂?

场景 使用工厂
创建逻辑复杂 ✅ 封装在工厂中
需要根据条件选择不同实现 ✅ 工厂处理选择逻辑
客户端不应该知道具体类 ✅ 解耦
只有一种实现 ❌ 直接用构造函数

工厂模式的核心价值是关注点分离——把”怎么创建”的职责交给工厂,调用方只需要关心”用什么”。


t.Parallel 共享资源

t.Parallel 共享资源

问题

Go 测试框架中的 t.Parallel() 允许测试用例并行执行。当并行测试共享同一个资源(如文件、数据库、全局变量)时,如果不加同步控制,会导致数据竞争和测试不稳定。

t.Parallel 的行为

func TestA(t *testing.T) {
    t.Parallel() // 标记为可并行
    // 测试逻辑
}

func TestB(t *testing.T) {
    t.Parallel()
    // 测试逻辑
}

// 当 TestA 和 TestB 都调用 t.Parallel(),
// 它们可能被同时执行
sequenceDiagram
    participant Runner as 测试运行器
    participant TestA
    participant TestB
    participant Resource as 共享资源

    Note over Runner: 启动测试
    Runner->>TestA: t.Parallel()
    Note over TestA: 暂停等待
    Runner->>TestB: t.Parallel()
    Note over TestB: 暂停等待
    Note over Runner: 所有 t.Parallel() 测试<br/>同时恢复
    par 并行执行
        TestA->>Resource: 写入数据
        TestB->>Resource: 读取数据
    end
    Note over Resource: ⚠️ 数据竞争!

典型错误场景

1. 共享全局变量

var counter int

// ❌ 并行测试共享 counter
func TestCounterA(t *testing.T) {
    t.Parallel()
    for i := 0; i < 1000; i++ {
        counter++ // 数据竞争
    }
}

func TestCounterB(t *testing.T) {
    t.Parallel()
    for i := 0; i < 1000; i++ {
        counter++ // 数据竞争
    }
}

2. 共享文件系统

// ❌ 并行测试使用同一个临时文件
func TestWriteFile(t *testing.T) {
    t.Parallel()
    tmpFile := "/tmp/test.txt"
    os.WriteFile(tmpFile, []byte("data1"), 0644)
    // 数据可能被另一个测试覆盖
    data, _ := os.ReadFile(tmpFile)
    // 读取的内容不确定
}

3. 共享数据库连接

// ❌ 并行测试修改同一张表
func TestInsertUser(t *testing.T) {
    t.Parallel()
    db.Exec("INSERT INTO users(name) VALUES('alice')")
}

func TestDeleteUser(t *testing.T) {
    t.Parallel()
    db.Exec("DELETE FROM users WHERE name='alice'")
    // 可能删除 TestInsertUser 刚插入的数据
}

4. t.Logf 的竞态

func TestParallelLog(t *testing.T) {
    t.Parallel()
    for i := 0; i < 100; i++ {
        go func(n int) {
            t.Logf("iteration %d", n) // t.Logf 不是 100% 无竞态的
        }(i)
    }
}

正确做法

1. 使用 t.Run 子测试

func TestParallel(t *testing.T) {
    // 每个子测试可以有独立的 setup/teardown
    tests := []struct {
        name string
        data string
    }{
        {"case1", "data1"},
        {"case2", "data2"},
    }

    for _, tc := range tests {
        tc := tc // 捕获循环变量
        t.Run(tc.name, func(t *testing.T) {
            t.Parallel()
            // 每个子测试独立运行
            fmt.Println(tc.data)
        })
    }
}

⚠️ 注意循环变量捕获:Go 1.22 之前需手动 tc := tc

2. 为每个测试创建独立资源

func TestWriteFile(t *testing.T) {
    t.Parallel()

    // ✅ 每个测试创建自己的临时目录
    tmpDir := t.TempDir()
    tmpFile := filepath.Join(tmpDir, "test.txt")

    os.WriteFile(tmpFile, []byte("data1"), 0644)
    data, _ := os.ReadFile(tmpFile)
    // 不会被其他并行测试影响
}

3. 数据库测试使用事务或独立 Schema

func TestDatabase(t *testing.T) {
    t.Parallel()

    // ✅ 每个测试在自己的事务中运行
    tx := db.Begin()
    defer tx.Rollback() // 测试结束后回滚

    _, err := tx.Exec("INSERT INTO users(name) VALUES('alice')")
    // 其他并行测试看不到这个数据
}

4. 使用 sync.Mutex 保护共享资源

var (
    sharedData map[string]string
    dataMu     sync.RWMutex
)

func TestSharedData(t *testing.T) {
    t.Parallel()

    // ✅ 加锁保护
    dataMu.Lock()
    sharedData["key"] = "value"
    dataMu.Unlock()

    dataMu.RLock()
    v := sharedData["key"]
    dataMu.RUnlock()
}

检测数据竞争

# 启用 race detector 运行测试
go test -race ./...

# 并行运行测试
go test -parallel 4 -race ./...

race detector 能在运行时检测到未同步的并发访问。

t.Parallel 的常见模式

flowchart TD
    A["Setup (串行)"] --> B["t.Parallel()"]
    B --> C1["测试数据/配置初始化"]
    B --> C2["测试数据/配置初始化"]
    B --> C3["测试数据/配置初始化"]
    C1 --> D1["并行测试 A"]
    C2 --> D2["并行测试 B"]
    C3 --> D3["并行测试 C"]
    D1 --> E["Cleanup (串行)"]
    D2 --> E
    D3 --> E

最佳实践清单

func TestBestPractices(t *testing.T) {
    // 1. 串行初始化
    globalCfg := loadConfig()

    tests := []struct {
        name string
        fn   func(*testing.T, Config)
    }{
        {"test-a", testA},
        {"test-b", testB},
    }

    for _, tt := range tests {
        tt := tt
        t.Run(tt.name, func(t *testing.T) {
            t.Parallel() // 2. 子测试中调用

            // 3. 每个子测试用独立资源
            cfg := globalCfg.Copy()
            tmpDir := t.TempDir()

            // 4. 执行测试
            tt.fn(t, cfg)
        })
    }
}

总结

  • ❌ 并行测试共享全局变量、文件、数据库会导致数据竞争
  • ✅ 为每个并行测试创建独立资源t.TempDir()、事务)
  • ✅ 必须共享时使用 sync.Mutex / sync.RWMutex 保护
  • ✅ 使用 t.Run 子测试 + 循环变量捕获
  • ✅ 始终运行 go test -race 检查竞态条件
  • 💡 事务回滚是数据库测试的最佳模式
  • 💡 t.TempDir() 在测试结束时自动清理

time.After 内存泄漏

time.After 内存泄漏

time.After(d) 是一个非常便捷的函数,但如果不了解其内部原理,很容易造成内存泄漏。这是 Go 面试中的经典陷阱之一。

time.After 的定义

// time.After 返回一个通道,在指定时间后接收到一个 Time 值
func After(d Duration) <-chan Time {
    return NewTimer(d).C
}

关键在于: time.After 内部创建了一个 time.Timer。如果 Timer 到期前被 GC 丢弃,这个 Timer 就永远无法被停止,导致泄漏。

泄露场景

select 中泄漏

// ❌ 高频循环中使用 time.After 会泄漏!
func leakInLoop() {
    for {
        select {
        case msg := <-ch:
            process(msg) // 假设 msg 来得很频繁
        case <-time.After(5 * time.Minute):
            // 5 分钟后超时处理
            fmt.Println("超时")
        }
    }
}

泄漏原因:

sequenceDiagram
    participant L as 循环
    participant TA as time.After
    participant T as Timer
    participant G as GC

    L->>TA:  1  time.After(5min)
    TA->>T: 创建 Timer5 分钟后触发)
    Note over L:  msg 很快就来了
    L->>T: select 选择了 msgTimer 被丢弃
    Note over T,G: Timer 还活 5 分钟<br>GC 无法回收<br>(因为被定时器堆引用)

    L->>TA:  2  time.After(5min)
    TA->>T: 又创建一个 Timer
    L->>T: 又丢弃...
    Note over T:  2  Timer 泄漏

    Note over L: 循环 100 万次  100 万个 Timer 泄漏

数量级

// 每次泄漏的 Timer 大约占 200 字节
// 循环 100 万次 ≈ 泄漏 200MB 内存
// 而且每个 Timer 绑定了一个 goroutine 等待触发

解决方案

方案 1:复用 Timer(推荐)

// ✅ 手动创建并复用 Timer
func loopWithTimer() {
    timer := time.NewTimer(5 * time.Minute)
    defer timer.Stop()

    for {
        // 先将 timer 暂停
        timer.Stop()
        // 清理通道(如果已触发)
        select {
        case <-timer.C:
        default:
        }
        timer.Reset(5 * time.Minute)

        select {
        case msg := <-ch:
            process(msg)
        case <-timer.C:
            fmt.Println("超时")
        }
    }
}

方案 2:在循环外创建 After 通道

// ✅ 在一个循环周期内只创建一个 time.After
func loopWithAfter() {
    timeout := time.After(5 * time.Minute)

    for {
        select {
        case msg := <-ch:
            process(msg)
        case <-timeout:
            fmt.Println("超时,退出循环")
            return
        }
    }
    // 注意:这适用于一次超时就退出的场景
}

方案 3:使用 context 超时

// ✅ 使用 context 代替 time.After
func loopWithContext(ctx context.Context) {
    for {
        select {
        case msg := <-ch:
            process(msg)
        case <-ctx.Done():
            fmt.Println("超时或取消")
            return
        }
    }
}

func main() {
    ctx, cancel := context.WithTimeout(context.Background(), 5*time.Minute)
    defer cancel()
    loopWithContext(ctx)
}

time.Tick vs time.NewTicker

// time.Tick 也有同样的问题——无法停止
func tickLeak() {
    for range time.Tick(time.Second) {
        // time.Tick 创建的 Ticker 无法停止
        // 即使循环退出了,Ticker 仍然运行
    }
}

// ✅ 使用 NewTicker
func tickSafe() {
    ticker := time.NewTicker(time.Second)
    defer ticker.Stop()

    for range ticker.C {
        // ...
    }
}

什么时候可以用 time.After

// ✅ 一次性超时——安全
func doOnce() error {
    done := make(chan error, 1)
    go func() {
        done <- doWork()
    }()

    // 只执行一次,Timer 不是"累积"的,安全
    select {
    case err := <-done:
        return err
    case <-time.After(30 * time.Second):
        return fmt.Errorf("超时")
    }
}

// ✅ 函数退出时 select 也退出——安全
func safeSelect() {
    ch := make(chan int)

    // 函数返回时 select 退出
    // 虽然仍有一个 Timer 跑着,但函数不循环,影响有限
    select {
    case v := <-ch:
        use(v)
    case <-time.After(time.Second):
        fmt.Println("超时")
    }
}

检测泄漏

func detectTimerLeak() {
    var before, after runtime.MemStats

    runtime.ReadMemStats(&before)

    // 模拟泄漏
    for i := 0; i < 10000; i++ {
        go leakInLoop()
    }

    runtime.ReadMemStats(&after)
    fmt.Printf("内存增长: %d MB\n", (after.HeapAlloc-before.HeapAlloc)/1024/1024)
    fmt.Printf("Goroutines: %d → %d\n",
        runtime.NumGoroutine()-10000, runtime.NumGoroutine())
}

更安全的 After——timeout 工具函数

// 封装一个带"重置超时"功能的工具
type Timeout struct {
    timer *time.Timer
}

func NewTimeout(d time.Duration) *Timeout {
    return &Timeout{
        timer: time.NewTimer(d),
    }
}

func (t *Timeout) C() <-chan time.Time {
    return t.timer.C
}

func (t *Timeout) Reset(d time.Duration) {
    t.timer.Stop()
    select {
    case <-t.timer.C:
    default:
    }
    t.timer.Reset(d)
}

func (t *Timeout) Stop() {
    t.timer.Stop()
    select {
    case <-t.timer.C:
    default:
    }
}

// 使用
func main() {
    timeout := NewTimeout(5 * time.Second)
    defer timeout.Stop()

    for {
        timeout.Reset(5 * time.Second)

        select {
        case msg := <-ch:
            process(msg)
        case <-timeout.C():
            fmt.Println("超时")
        }
    }
}

总结

场景 推荐做法 原因
一次性 select time.After 不频繁,影响有限
循环 select 复用 time.Timer 避免累积泄漏
循环周期任务 time.NewTicker 可 Stop,无泄漏
循环 select time.Tick 无法 Stop,内存泄漏
循环 select time.After 每次创建新 Timer,泄漏

面试必问: “time.After 在 select 中有内存泄漏风险吗?” → 在循环中使用时,每次迭代都创建新的 Timer,之前的 Timer 需要等到超时才能被回收。高频循环中会积累大量 Timer 对象,造成内存和 goroutine 泄漏。


ThreadLocal原理详解与内存泄漏问题:线程本地变量深度分析

ThreadLocal原理详解与内存泄漏问题:线程本地变量深度分析

一、定义

ThreadLocal 是 Java 提供的线程局部变量工具类。每个线程拥有自己独立的变量副本,互不干扰。它通常用于存储线程上下文信息,如用户 Session、数据库连接、事务信息等。

二、核心原理

总体架构

flowchart TD
    subgraph 线程T1
        TL1["ThreadLocalMap"]
        TL1 --> E1["Entry
key: 弱引用ThreadLocal
value: 值A"
] end subgraph 线程T2 TL2["ThreadLocalMap"] TL2 --> E2["Entry
key: 弱引用ThreadLocal
value: 值B"
] end subgraph 线程T3 TL3["ThreadLocalMap"] TL3 --> E3["Entry
key: 弱引用ThreadLocal
value: 值C"
] end TH["ThreadLocal对象
(单例)"
] -.->|"作为key"| TL1 TH -.->|"作为key"| TL2 TH -.->|"作为key"| TL3

内部结构

每个 Thread 对象内部维护一个 ThreadLocalMap

// Thread 类中的内部字段
public class Thread implements Runnable {
    ThreadLocal.ThreadLocalMap threadLocals = null;
}

// ThreadLocal 核心方法
public class ThreadLocal<T> {
    public T get() {
        Thread t = Thread.currentThread();
        ThreadLocalMap map = getMap(t);
        if (map != null) {
            ThreadLocalMap.Entry e = map.getEntry(this);
            if (e != null) return (T) e.value;
        }
        return setInitialValue();
    }

    public void set(T value) {
        Thread t = Thread.currentThread();
        ThreadLocalMap map = getMap(t);
        if (map != null)
            map.set(this, value);
        else
            createMap(t, value);
    }
}

get() 流程

flowchart TD
    A["threadLocal.get()"] --> B["获取当前线程 Thread.currentThread()"]
    B --> C["获取当前线程的 threadLocals (ThreadLocalMap)"]
    C --> D{map 存在?}
    D -->|"存在"| E["以 this (ThreadLocal对象) 为 key 查找 Entry"]
    D -->|"不存在"| F["创建 ThreadLocalMap
调用 initialValue()"
] E --> G{Entry 存在?} G -->|"存在"| H["返回 Entry.value"] G -->|"不存在"| I["调用 initialValue()
放入 map"
] I --> J["返回初始值"] H --> K["返回结果"] F --> J

三、内存泄漏问题分析

弱引用设计

ThreadLocalMapEntry 继承自 WeakReference

static class Entry extends WeakReference<ThreadLocal> {
    Object value;

    Entry(ThreadLocal k, Object v) {
        super(k); // key 为弱引用
        value = v;
    }
}
flowchart TD
    subgraph 正常情况
        REF["ThreadLocal对象
强引用"
] --> ACTIVE["可达"] MAP_WEAK["Entry.key
弱引用"
] -.-> ACTIVE ACTIVE --> VAL["value
可访问"
] end subgraph ThreadLocal对象置null后 NULLED["ThreadLocal对象
置为 null"
] --> X[GC回收] MAP_WEAK_KEY["Entry.key
弱引用 → null"
] -.-> X XN[Entry.value仍存在<br>但无法被访问] XN --> MEM["💀 内存泄漏!"] end

内存泄漏的场景

线程池中的线程复用场景:
1. threadLocal.set(value)  → 向 ThreadLocalMap 存入 Entry
2. 任务执行完毕,但线程被线程池回收复用
3. 没有调用 threadLocal.remove()
4. Entry.key(弱引用)可能已被 GC
5. Entry.value 仍然存活着,线程复用导致 value 无法被回收
6. → 内存泄漏!

四、完整代码示例

/**
 * ThreadLocal 使用示例:存储用户会话信息
 */
public class ThreadLocalDemo {

    // 用户上下文
    private static final ThreadLocal<UserContext> USER_HOLDER = new ThreadLocal<>();

    static class UserContext {
        String userId;
        String userName;

        UserContext(String userId, String userName) {
            this.userId = userId;
            this.userName = userName;
        }
    }

    public static void main(String[] args) {
        // 模拟多个请求,每个请求由不同线程处理
        for (int i = 0; i < 3; i++) {
            final int userId = i;
            new Thread(() -> {
                try {
                    // 设置用户上下文
                    USER_HOLDER.set(new UserContext(
                        "user-" + userId,
                        "用户" + userId
                    ));

                    // 业务处理——从 ThreadLocal 获取上下文
                    UserContext ctx = USER_HOLDER.get();
                    System.out.println(Thread.currentThread().getName() +
                        " 处理请求: " + ctx.userName);

                    // 模拟业务处理
                    Thread.sleep(500);

                } catch (InterruptedException e) {
                    Thread.currentThread().interrupt();
                } finally {
                    // ★ 必须清除!防止内存泄漏
                    USER_HOLDER.remove();
                }
            }, "thread-" + i).start();
        }
    }
}

线程池中正确的使用方式

/**
 * 线程池中 ThreadLocal 的正确使用
 */
public class ThreadLocalInPoolDemo {

    private static final ThreadLocal<Long> COST_TIME = new ThreadLocal<>();

    public static void main(String[] args) {
        ExecutorService pool = Executors.newFixedThreadPool(2);

        for (int i = 0; i < 5; i++) {
            pool.execute(() -> {
                try {
                    // 设置开始时间
                    COST_TIME.set(System.currentTimeMillis());

                    // 模拟业务处理
                    Thread.sleep(200);

                    // 计算耗时
                    long cost = System.currentTimeMillis() - COST_TIME.get();
                    System.out.println(Thread.currentThread().getName() +
                        " 耗时: " + cost + "ms");
                } catch (InterruptedException e) {
                    Thread.currentThread().interrupt();
                } finally {
                    // ★ 线程池复用线程,必须清除!
                    COST_TIME.remove();
                }
            });
        }
        pool.shutdown();
    }
}

五、TransmittableThreadLocal

ThreadLocal线程池场景中有一个缺陷:父线程设置的 ThreadLocal 值无法被子线程继承(除非在创建子线程时手动传递)。阿里开源的 TransmittableThreadLocal 解决了这个问题。


    com.alibaba
    transmittable-thread-local
    2.14.0

// 使用 TransmittableThreadLocal 实现跨线程池传递
TransmittableThreadLocal<String> context = new TransmittableThreadLocal<>();
context.set("parent-value");

// 将 ThreadLocal 包装后提交,值会传递到子线程
Runnable task = () -> System.out.println(context.get());
TtlRunnable ttlTask = TtlRunnable.get(task);
executor.submit(ttlTask);

六、ThreadLocal 应用场景

场景 说明 示例
用户会话 请求处理链中传递用户信息 Spring Security 的 SecurityContextHolder
数据库连接 每个线程维护自己的 DB 连接 Spring 事务管理
事务上下文 传递事务状态 @Transactional 底层
请求追踪 分布式追踪 ID 传递 TraceId 传递
日期格式化 替代 SimpleDateFormat(非线程安全) ThreadLocal
/**
 * 线程安全的 SimpleDateFormat
 */
public class DateFormatHolder {
    private static final ThreadLocal<SimpleDateFormat> DATE_FORMAT =
        ThreadLocal.withInitial(() -> new SimpleDateFormat("yyyy-MM-dd HH:mm:ss"));

    public static String format(Date date) {
        return DATE_FORMAT.get().format(date);
    }

    public static void clear() {
        DATE_FORMAT.remove();
    }
}

七、常见问题

问题 原因 解决方案
值未清除 线程池复用,旧值污染新任务 在 finally 中调用 remove()
内存泄漏 Entry.value 无法回收 必须调用 remove()
值不传递 新线程使用自己的 ThreadLocalMap 使用 TransmittableThreadLocal
弱引用失效 key 被 GC 后 value 残留在 Entry 中 由 hash 表自动清理(但存在时间差)

八、面试常见问题

Q1:ThreadLocal 的内存泄漏是怎么产生的?
ThreadLocalMap 的 Entry 继承 WeakReference,key 是弱引用。当 ThreadLocal 对象的外部强引用被置为 null 后,key 会被 GC 回收变成 null,但 Entry.value 仍然存在强引用链:Thread → ThreadLocalMap → Entry → value。如果 Thread 长期存活(如线程池),value 就会一直占用内存。

Q2:为什么 Entry 的 key 要使用弱引用?
如果使用强引用,即使业务代码将 ThreadLocal 对象置为 null,ThreadLocalMap 中仍然持有 ThreadLocal 的强引用,导致 ThreadLocal 永远无法被 GC,造成更严重的内存泄漏。使用弱引用后,ThreadLocal 可以正常被回收,ThreadLocalMap 会在后续 get/set 操作中清理 key 为 null 的 Entry。

Q3:ThreadLocal.remove() 为什么能解决内存泄漏?
remove() 方法会删除当前线程 ThreadLocalMap 中对应的 Entry,断开 value 的强引用链,让 value 可以被 GC 回收。核心代码:

public void remove() {
    ThreadLocalMap m = getMap(Thread.currentThread());
    if (m != null)
        m.remove(this); // 删除 Entry,断开 value 引用
}

Q4:InheritableThreadLocal 是什么?
InheritableThreadLocal 是 ThreadLocal 的子类,允许子线程继承父线程的 ThreadLocal 值。在创建子线程时,构造函数会拷贝父线程的 InheritableThreadLocal 值。

Q5:TransmittableThreadLocal 解决了什么具体问题?
线程池中的线程在创建时(不是使用时)完成值传递。使用常规 InheritableThreadLocal + 线程池时,由于线程被复用,第二次提交的任务可能看到的是第一次提交时传递的旧值。TTL 在每次提交任务时重新传递值。

>

Agent服务的内存泄漏常见原因及排查方法

Agent服务的内存泄漏常见原因及排查方法

定义

Agent服务的内存泄漏(Memory Leak)是指程序在运行过程中动态分配的内存未能及时释放,导致进程占用的内存持续增长,最终引发OOM(Out of Memory)Kill或服务性能严重下降。Agent服务因其复杂的推理循环和工具调用链,比传统Web服务更容易出现内存泄漏。

原理

Agent的内存泄漏主要来自三个方面:LLM上下文积累(对话历史无限增长)、工具调用结果缓存不释放、以及异步任务引用循环。与传统Web请求的”请求-响应-释放”模式不同,Agent的会话可能持续数小时甚至数天,对象引用关系也更复杂。

graph TD
    subgraph "内存泄漏常见来源"
        A["会话上下文膨胀
对话历史不截断"
] B["工具结果缓存
不设TTL不淘汰"
] C["异步回调
闭包引用未释放"
] D["LLM Token缓存
无上限导致OOM"
] E["连接池泄漏
HTTP/DB连接未归还"
] F["日志/追踪数据
内存缓冲区过大"
] end A --> Mem["进程内存持续增长"] B --> Mem C --> Mem D --> Mem E --> Mem F --> Mem Mem --> GC["GC压力增大
STW时间变长"
] GC --> OOM["OOM Kill"] Mem --> Swap["Swap频繁
性能雪崩"
]

代码示例

展示了常见的Agent内存泄漏模式及修复方案:

import gc
import tracemalloc
import objgraph  # 需要安装: pip install objgraph
from typing import List, Dict
import weakref

# ====== 问题1:对话上下文无限增长 ======
class LeakyAgent:
    """内存泄漏版本:对话历史不截断"""
    def __init__(self):
        self.conversation_history: List[dict] = []

    async def chat(self, message: str) -> str:
        self.conversation_history.append({"role": "user", "content": message})
        reply = f"Reply to: {message}"
        self.conversation_history.append({"role": "assistant", "content": reply})
        return reply
    # 对话历史会无限膨胀!每天数万条消息全部在内存中

class FixedAgent:
    """修复版:滑动窗口 + 摘要压缩"""
    def __init__(self, max_history: int = 20):
        self.recent_history: List[dict] = []  # 最近的完整对话
        self.summary: str = ""  # 早期对话的摘要
        self.max_history = max_history

    async def chat(self, message: str) -> str:
        self.recent_history.append({"role": "user", "content": message})

        # 超过阈值时压缩
        if len(self.recent_history) > self.max_history:
            # 将最早的一半对话摘要化
            early_msgs = self.recent_history[:self.max_history // 2]
            self.summary = f"{self.summary}\n{self._summarize(early_msgs)}"
            self.recent_history = self.recent_history[self.max_history // 2:]

        reply = f"Reply to: {message}"
        self.recent_history.append({"role": "assistant", "content": reply})
        return reply

    def _summarize(self, messages: List[dict]) -> str:
        return f"[摘要: {len(messages)}条消息]"

# ====== 问题2:循环引用 ======
class ToolResultCache:
    def __init__(self):
        self.cache: dict = {}

    def store_tool_result(self, agent_instance, tool_name: str, result: dict):
        """数据库连接对象被缓存引用,无法GC"""
        # 泄漏点:agent_instance被引用但没有清理机制
        self.cache[f"{id(agent_instance)}:{tool_name}"] = {
            "agent": agent_instance,  # 强引用!
            "result": result,
            "timestamp": time.time()
        }

class FixedToolResultCache:
    def __init__(self, max_entries: int = 1000, ttl: int = 300):
        self.cache: Dict[str, weakref.ref] = {}  # 使用弱引用
        self.max_entries = max_entries
        self.ttl = ttl

    def store_tool_result(self, agent_instance, tool_name: str, result: dict):
        # 使用弱引用避免阻止GC
        key = f"{id(agent_instance)}:{tool_name}"
        self.cache[key] = {
            "agent_ref": weakref.ref(agent_instance),  # 弱引用
            "result": result,
            "timestamp": time.time()
        }
        # 淘汰策略
        if len(self.cache) > self.max_entries:
            oldest = min(self.cache.keys(), 
                        key=lambda k: self.cache[k]["timestamp"])
            del self.cache[oldest]

# ====== 排查工具使用 ======
class MemoryProfiler:
    """内存泄漏排查工具"""

    @staticmethod
    def start_tracking():
        """启动内存追踪"""
        tracemalloc.start(25)  # 保存25层调用栈

    @staticmethod
    def take_snapshot():
        """获取内存快照"""
        return tracemalloc.take_snapshot()

    @staticmethod
    def compare_snapshots(before, after, top_n: int = 10):
        """比较两个快照,找出增长最多的对象"""
        stats = after.compare_to(before, 'lineno')
        print("Top memory allocations growth:")
        for stat in stats[:top_n]:
            print(f"  {stat.count_diff:>8} new blocks, "
                  f"{stat.size_diff / 1024:.1f} KB: {stat.traceback.format()[0]}")

    @staticmethod
    def find_leaked_objects(cls_name: str):
        """查找未被GC回收的特定类实例"""
        # 使用objgraph找出未被回收的对象
        objects = objgraph.by_type(cls_name)
        print(f"Live {cls_name} instances: {len(objects)}")
        if len(objects) > 10:
            # 找出引用链
            objgraph.show_backrefs(objects[:3], max_depth=5)

    @staticmethod
    def check_gc_stats():
        """检查GC统计信息"""
        gc.set_debug(gc.DEBUG_LEAK)
        unreachable = gc.collect()
        print(f"Unreachable objects collected: {unreachable}")
        print(f"GC generations counts: {gc.get_count()}")

要点总结

  • 对话历史:使用滑动窗口(保留最近N轮)+ 摘要压缩,避免无限增长
  • 缓存策略:工具结果缓存必须设置TTL和最大条目数,使用LRU/LFU淘汰
  • 循环引用:使用 weakref 避免对象间循环引用,对大型对象实现 __del__ 方法
  • 异步上下文:确保asyncio任务正确取消,使用 try/finally 释放资源
  • 连接池:HTTP客户端和数据库连接池设置 max_connections,实现空闲超时回收
  • 定期检查:内存Profiling纳入CI/CD管道,设置内存增长告警阈值

面试常见问题

Q1:Agent服务最常见的OOM场景是什么?
A:最典型的是”会话上下文泄漏”——单用户大量长对话导致单个session的context list增长到数万条消息,以及”工具调用结果累积”——每次工具调用的原始响应(可能数MB)都被保留在内存中。

Q2:如何定位Agent服务的内存泄漏?
A:分四步。1)监控工具:启用Grafana + Prometheus观察RES内存曲线。2)Heap Dump:OOM时自动dump堆(-XX:+HeapDumpOnOutOfMemoryError)。3)分析:使用Memory Profiler或Py-spy分析对象分布。4)对比:连续两次快照比对,找出增长最快的对象类型。

Q3:Python Agent的内存泄漏排查有什么特殊之处?
A:Python的GC不会处理循环引用的 __del__ 方法,这意味着自定义资源管理类(如数据库连接包装器)中的循环引用是Python Agent最常见的泄漏来源。推荐显式使用 contextlibclosing@asynccontextmanager 管理资源生命周期。



事务隔离级别详解:READ UNCOMMITTED / READ COMMITTED / REPEATABLE READ / SERIALIZABLE

事务隔离级别详解:READ UNCOMMITTED / READ COMMITTED / REPEATABLE READ / SERIALIZABLE

一、定义

事务隔离级别定义了多个并发事务之间的隔离程度。SQL 标准定义了四种隔离级别,从低到高依次为:读未提交、读已提交、可重复读、串行化。隔离级别越高,数据一致性越好,但并发性能越低。

二、四种隔离级别详解

1. READ UNCOMMITTED(读未提交)

特点:事务可以读取其他事务未提交的修改。存在脏读、不可重复读、幻读。

SET SESSION TRANSACTION ISOLATION LEVEL READ UNCOMMITTED;

-- 事务 A(修改未提交)
BEGIN;
UPDATE accounts SET balance = 500 WHERE id = 1;

-- 事务 B(能读到未提交数据)
SET SESSION TRANSACTION ISOLATION LEVEL READ UNCOMMITTED;
BEGIN;
SELECT balance FROM accounts WHERE id = 1;  -- 读到 500(脏数据)

适用场景:基本不使用,仅用于某些不需要数据准确性的场景。

2. READ COMMITTED(读已提交)

特点:只能读取其他事务已提交的修改。解决了脏读,存在不可重复读和幻读。Oracle/PostgreSQL 的默认级别。

sequenceDiagram
    participant TA as 事务A
    participant DB as 数据库
    participant TB as 事务B

    TA->>DB: SELECT balance  1000
    TB->>DB: UPDATE balance=500
    TB->>DB: COMMIT
    TA->>DB: SELECT balance  500(不可重复读)
SET SESSION TRANSACTION ISOLATION LEVEL READ COMMITTED;

-- 每次 SELECT 都生成新的 Read View
-- 能看到其他事务最新已提交的数据

适用场景:大多数应用场景,对一致性要求不极端。

3. REPEATABLE READ(可重复读)

特点:事务内多次读取同一数据结果一致。MySQL InnoDB 的默认隔离级别。通过 MVCC + 间隙锁解决了大部分幻读问题。

sequenceDiagram
    participant TA as 事务A
    participant DB as 数据库
    participant TB as 事务B

    TA->>DB: SELECT balance  1000(创建Read View
    TB->>DB: UPDATE balance=500
    TB->>DB: COMMIT
    TA->>DB: SELECT balance  1000(快照读,不变 ✅)
SET SESSION TRANSACTION ISOLATION LEVEL REPEATABLE READ;

-- 事务开始时的第一个快照在整个事务期间保持一致
-- Read View 只在第一次 SELECT 时生成,整个事务复用

InnoDB 解决幻读的方式
快照读(普通 SELECT):通过 MVCC 读取事务开始时的快照
当前读(SELECT … FOR UPDATE / UPDATE / DELETE):通过间隙锁(Gap Lock)防止插入

4. SERIALIZABLE(串行化)

特点:最严格的隔离级别,所有事务串行执行。解决了所有并发问题(脏读、不可重复读、幻读),但性能最低。

SET SESSION TRANSACTION ISOLATION LEVEL SERIALIZABLE;

-- 所有 SELECT 自动加锁
BEGIN;
SELECT * FROM accounts WHERE id = 1;  -- 自动加行锁(共享锁)
COMMIT;  -- 释放锁

适用场景:极少使用,仅对数据一致性要求极高且并发低的场景(如金融结算)。

三、隔离级别对比总结表

隔离级别 脏读 不可重复读 幻读 并发性能
读未提交 可能 可能 可能 最高
读已提交 避免 可能 可能
可重复读 避免 避免 MySQL 基本避免
串行化 避免 避免 避免 最低

四、InnoDB 隔离级别实现原理

MVCC 核心机制

flowchart TD
    A[每行记录有多个版本] --> B[存储在undo log中]
    B --> C[事务开始时生成Read View]
    C --> D[READ COMMITTED: 每次SELECT都生成新视图]
    C --> E[REPEATABLE READ: 事务第一次SELECT生成,全程复用]
    D --> F[能看到其他事务最新已提交数据]
    E --> G[只能看到事务开始时已提交的数据]

一致性视图(Read View)对比

特性 READ COMMITTED REPEATABLE READ
Read View 生成时机 每次 SELECT 第一次 SELECT
能否看到其他事务已提交 不能
是否存在不可重复读

五、如何选择隔离级别?

场景 推荐级别 原因
大多数业务系统 READ COMMITTED 性能和一致性平衡
MySQL 默认场景 REPEATABLE READ MySQL 默认,主从复制一致
金融/账务 REPEATABLE READ 或 SERIALIZABLE 需要事务内多次读取一致
数据分析(容忍不一致) READ UNCOMMITTED 追求极致性能

六、面试常见问题

Q1:MySQL InnoDB 的默认隔离级别是什么?为什么?
A:REPEATABLE READ。MySQL 基于 binlog 做主从复制时,使用 READ COMMITTED 可能导致主从不一致。MySQL 在 RR 级别下通过间隙锁机制解决了大部分幻读问题。

Q2:READ COMMITTED 和 REPEATABLE READ 在实现上有什么区别?
A:核心区别在于 Read View 的生成时机。RC 每次 SELECT 都生成新视图,能看到其他事务最新已提交的数据;RR 只在第一次 SELECT 时生成视图,整个事务期间数据一致。

Q3:MySQL 的 RR 级别真的解决了幻读吗?
A:InnoDB 的 RR 通过 MVCC 快照读避免了幻读,通过 Next-Key Lock 在当前读场景下避免了幻读。但特殊场景(先快照读后当前读)仍可能出现幻读。

Q4:互联网项目通常用什么隔离级别?
A:很多使用 READ COMMITTED(RC),因为 RC 级别下间隙锁不会启用,死锁概率降低,并发更高。虽然 RR 是 MySQL 默认,但 RC 在大多数互联网非金融场景已足够。


相关文章脏读/不可重复读/幻读详解 | MySQL 锁机制 | 事务四大特性 ACID | Spring 事务隔离级别


Spring 事务隔离级别:READ_UNCOMMITTED / READ_COMMITTED / REPEATABLE_READ / SERIALIZABLE 详解

Spring 事务隔离级别:READ_UNCOMMITTED / READ_COMMITTED / REPEATABLE_READ / SERIALIZABLE 详解

一、定义

事务隔离级别(Transaction Isolation Level)定义了一个事务可能受其他并发事务影响的程度。Spring 通过 @Transactional(isolation=...) 来指定,底层代理给数据库的事务隔离级别。隔离级别越高,数据一致性越好,但并发性能越低。

二、并发事务可能引发的三大问题

1. 脏读(Dirty Read)

事务 A 读取了事务 B 未提交的数据,然后事务 B 回滚了。

sequenceDiagram
    participant TA as 事务A
    participant DB as 数据库
    participant TB as 事务B
    TB->>DB: 更新余额=500(未提交)
    TA->>DB: 读取余额  500(脏读!)
    TB->>DB: ROLLBACK(余额恢复1000
    Note over TA: 基于错误余额做业务判断

2. 不可重复读(Non-repeatable Read)

同一事务内两次读取同一数据得到不同结果(另一事务已提交的更新)。

sequenceDiagram
    participant TA as 事务A
    participant DB as 数据库
    participant TB as 事务B
    TA->>DB: 读取余额  1000
    TB->>DB: 更新余额=500(提交)
    TA->>DB: 再次读取余额  500(不可重复读!)

3. 幻读(Phantom Read)

同一事务内两次执行相同条件查询,结果集条数不同(另一事务插入了新数据)。

sequenceDiagram
    participant TA as 事务A
    participant DB as 数据库
    participant TB as 事务B
    TA->>DB: 查询用户总数  10
    TB->>DB: 插入新用户(提交)
    TA->>DB: 再次查询用户总数  11人(幻读!)

三、四种隔离级别

隔离级别对比表

隔离级别 脏读 不可重复读 幻读 性能
READ_UNCOMMITTED ✅ 可能 ✅ 可能 ✅ 可能 最好
READ_COMMITTED ❌ 避免 ✅ 可能 ✅ 可能
REPEATABLE_READ ❌ 避免 ❌ 避免 ✅ 可能* 一般
SERIALIZABLE ❌ 避免 ❌ 避免 ❌ 避免

*MySQL InnoDB 的 REPEATABLE_READ 通过 MVCC + Next-Key Lock 解决了大部分幻读问题

1. READ_UNCOMMITTED(读未提交)

@Transactional(isolation = Isolation.READ_UNCOMMITTED)
public void readData() {
    // 可能读取到未提交的数据(脏读)
}

原理:读取数据时不加任何锁,也不检查其他事务的锁。几乎不用。

2. READ_COMMITTED(读已提交)

@Transactional(isolation = Isolation.READ_COMMITTED)
public void queryOrder(Long id) {
    Order order1 = orderDao.findById(id);
    // 其他事务可能修改并提交了这条记录
    Order order2 = orderDao.findById(id); // 第二次读取可能不同
}

原理:使用快照读(Snapshot Read),只能看到已经提交的数据。Oracle 和 PostgreSQL 的默认隔离级别。

3. REPEATABLE_READ(可重复读)—— MySQL InnoDB 默认

@Transactional(isolation = Isolation.REPEATABLE_READ)
public void queryOrder(Long id) {
    Order order1 = orderDao.findById(id);
    // 即使其他事务修改并提交
    Order order2 = orderDao.findById(id); // 结果相同
}

原理(MySQL InnoDB):使用 MVCC(多版本并发控制),事务开始的第一个快照在整个事务期间保持一致。同时使用 Next-Key Lock(行锁 + 间隙锁)来防止幻读。

4. SERIALIZABLE(串行化)

@Transactional(isolation = Isolation.SERIALIZABLE)
public void transfer(Long fromId, Long toId, BigDecimal amount) {
    // 所有事务串行执行,完全避免并发问题
    // 但性能最差
}

原理:所有读操作加共享锁,写操作加排他锁,事务实际上是串行执行的。

四、MVCC 实现原理

MySQL InnoDB 通过 MVCC 实现 READ_COMMITTED 和 REPEATABLE_READ:

flowchart TD
    A[每行记录有多个版本<br>存储在undo log中] --> B[事务开始时创建Read View]
    B --> C{Read View 包含}
    C --> D[creator_trx_id<br>创建者事务ID]
    C --> E[m_ids<br>活跃事务ID列表]
    C --> F[min_trx_id<br>最小活跃事务ID]
    C --> G[max_trx_id<br>下一个要分配的事务ID]

    H[可见性判断] --> I{trx_id < min_trx_id?}
    I -->|| J[可见 - 已提交的老事务]
    I -->|| K{trx_id > max_trx_id?}
    K -->|| L[不可见 - 未来事务]
    K -->|| M{trx_id  m_ids?}
    M -->|| N[不可见 - 活跃事务]
    M -->|| O[可见 - 已提交事务]

READ_COMMITTED vs REPEATABLE_READ 在 MVCC 中的区别
READ_COMMITTED:每条语句都生成新的 Read View
REPEATABLE_READ:事务开始时生成 Read View,整个事务复用

五、Spring 中的隔离级别配置

// 方法级别配置
@Service
public class UserService {

    @Transactional(
        isolation = Isolation.READ_COMMITTED,   // 隔离级别
        timeout = 10,                           // 超时秒数
        readOnly = true,                        // 只读事务(查询优化)
        rollbackFor = Exception.class           // 回滚异常类型
    )
    public User findById(Long id) {
        return userDao.findById(id);
    }
}

六、面试常见问题

Q1:MySQL 默认隔离级别是什么?
MySQL InnoDB 默认是 REPEATABLE_READ。Oracle 和 PostgreSQL 默认是 READ_COMMITTED。MySQL 的 RR 也是基于主从复制一致性考虑。

Q2:REPEATABLE_READ 在 MySQL 中能完全防止幻读吗?
MySQL InnoDB 的 REPEATABLE_READ 通过快照读(MVCC)和当前读(Next-Key Lock)在大部分场景下可以防止幻读,但快照读和当前读混用时仍可能出现幻读。

Q3:如何选择隔离级别?
一般系统使用 READ_COMMITTED 即可(性能和一致性平衡)。对账等金融场景需要 REPEATABLE_READ 或 SERIALIZABLE。报表等查询可设置 readOnly=true。

Q4:READ_UNCOMMITTED 为什么很少用?
数据一致性太差,几乎所有业务场景都不能接受脏读。其性能优势在日常场景中也不明显。


相关文章脏读、不可重复读与幻读详解 | MySQL 锁机制 | 事务四大特性 ACID | Spring 事务传播机制


内存溢出和内存泄漏区别详解:从根因排查到预防方案

内存溢出和内存泄漏区别详解:从根因排查到预防方案

内存溢出(Out Of Memory, OOM)内存泄漏(Memory Leak) 是 Java 内存管理中两个最常被混淆的概念。简单来说:内存泄漏是病根,内存溢出是病症。理解两者的区别与联系,是 Java 性能调优和线上问题排查的基础。

定义

概念 定义 是否可恢复
内存泄漏(Memory Leak) 不再使用的对象仍被 GC Roots 引用,GC 无法回收,内存占用持续增长 理论可恢复(清除引用后 GC 可回收),但难以定位
内存溢出(Out Of Memory) JVM 内存不足,无法为新对象分配空间,抛出 OutOfMemoryError 通常不可恢复,JVM 进程终止
flowchart LR
    A["内存泄漏
对象死而不葬"
] -->|"日积月累"| B["可用内存减少"] B -->|"持续分配新对象"| C["内存溢出 OOM"] C --> D["程序终止"] E["直接原因"] -->|"大对象/高并发"| C

一、内存泄漏(Memory Leak)详解

什么是内存泄漏?

内存泄漏是指不再需要使用的对象仍然被 GC Roots 引用,导致 GC 无法将其回收。泄漏的对象会一直占用堆内存,随着时间推移越积越多。

常见泄漏场景与代码示例

1. 静态集合类持有对象引用

public class StaticListLeak {
    // 静态 List 持有所有 add 的对象 → 永远不会被 GC
    private static List<Object> list = new ArrayList<>();

    public void leak() {
        list.add(new byte[1024 * 1024]); // 1MB
        // 使用完后从不清理
    }
}

// 修复:使用完毕后清理,或使用 WeakHashMap
private static List<Object> list = new ArrayList<>();
// 使用完后:list.clear();

2. 未关闭的资源

public void resourceLeak() throws Exception {
    // ❌ 忘记关闭
    FileInputStream fis = new FileInputStream("test.txt");
    // 处理文件...
    // fis.close();  // 忘记调用!
}

// ✅ 正确做法:try-with-resources(JDK 7+)
public void resourceSafe() throws Exception {
    try (FileInputStream fis = new FileInputStream("test.txt");
         BufferedReader br = new BufferedReader(new InputStreamReader(fis))) {
        String line = br.readLine();
        // 自动关闭 ✅
    }
}

3. 内部类持有外部类引用

public class Outer {
    private Object[] bigData = new Object[1000000];

    class Inner {
        // 内部类隐式持有 Outer.this 引用
        // 只要 Inner 对象存活,Outer 的 bigData 就不会被回收
    }

    // ✅ 修复:使用静态内部类
    static class InnerStatic {
        // 不持有外部类引用
    }
}

4. ThreadLocal 使用不当

public class ThreadLocalLeak {
    private static ThreadLocal<byte[]> tl = new ThreadLocal<>();

    public void set() {
        tl.set(new byte[1024 * 1024]); // 1MB
        // ❌ 使用后没有调用 tl.remove()
        // 线程池的线程一直存活 → value 永远不会被回收
    }

    // ✅ 修复:使用后移除
    public void setSafe() {
        try {
            tl.set(new byte[1024 * 1024]);
            // 处理业务...
        } finally {
            tl.remove();  // 确保移除 ✅
        }
    }
}

5. 自定义 key 未重写 hashCode/equals

public class Key {
    private String id;
    // ❌ 没有重写 equals() 和 hashCode()
}

// 使用 Key 作为 HashMap 的 key → 放入后无法 remove
Map<Key, String> map = new HashMap<>();
Key key = new Key();
key.setId("123");
map.put(key, "value");
key.setId("456");          // 修改 hash 相关字段
map.remove(key);           // ❌ 找不到(hash 变了),内存泄漏

二、内存溢出(Out Of Memory)详解

五种 OOM 类型

错误信息 含义 常见原因
Java heap space 堆空间不足 对象泄漏、堆太小、大对象过多
Metaspace 元空间不足 动态生成类太多(CGLIB、JSP、Groovy)
Direct buffer memory 直接内存不足 NIO 中 DirectByteBuffer 泄漏
GC overhead limit exceeded GC 花费 >98% 时间但只回收 <2% 内存 内存泄漏导致 GC 频繁无效
Unable to create new native thread 无法创建新线程 线程数超过系统限制

OOM 示例

// 1. 堆溢出
public class HeapOOM {
    public static void main(String[] args) {
        List<byte[]> list = new ArrayList<>();
        while (true) {
            list.add(new byte[1024 * 1024]); // 每秒分配 1MB
        }
    }
}

// 2. 元空间溢出(动态生成类)
public class MetaspaceOOM {
    public static void main(String[] args) {
        while (true) {
            // 使用 CGLIB 不断生成新类
            Enhancer enhancer = new Enhancer();
            enhancer.setSuperclass(OOMObject.class);
            enhancer.setUseCache(false);
            // ... 每个 create 都会生成新类
            enhancer.create();
        }
    }
    static class OOMObject {}
}

三、核心区别对比

对比维度 内存泄漏 内存溢出
本质 对象”死而不葬 内存”不够用
表现 内存占用持续增长 直接报 OutOfMemoryError
原因 不再使用的对象被引用,GC 无法回收 堆空间不足(可能由泄漏导致)
是否直接报错 不直接报错 抛出 OutOfMemoryError
可恢复性 清理引用后可被回收 通常无法恢复(JVM 退出)
排查难度 较难(需要分析堆转储) 较容易(看堆栈和错误信息)
flowchart TD
    subgraph 关系图
        L["内存泄漏
水槽排水管堵了"
] -->|"日积月累"| O["内存溢出
水满溢出"
] N["正常分配
水龙头一直在开"
] --> O end

四、排查方法

步骤 1:观察 GC 情况

# 查看 GC 频率和回收效果
jstat -gcutil  1000

# 输出示例(内存泄漏的特征):
# S0  S1   E   O   M   YGC  YGCT  FGC  FGCT   GCT
# 0.00 0.00 98% 92% 85%  120  3.5   45   12.0  15.5
# 
# 关键指标:
# - O(老年代占用)持续升高且 FGC 后不下降 → 内存泄漏
# - FGC 频繁(45次)但回收量小 → 内存泄漏

步骤 2:生成堆转储

# 方式1:通过 jmap 手动生成
jmap -dump:live,format=b,file=heap.hprof 

# 方式2:JVM 参数自动生成(OOM 时触发)
-XX:+HeapDumpOnOutOfMemoryError
-XX:HeapDumpPath=/path/to/dump/

步骤 3:分析堆转储

# 推荐工具:
# 1. Eclipse MAT (Memory Analyzer Tool)
# 2. JProfiler
# 3. VisualVM

# 使用 MAT 的分析方法:
# Leak Suspects Report → 自动推荐最可能泄漏的对象
# Dominator Tree → 按对象大小排序,找到最大的对象
# Path to GC Roots → 查看引用链,定位泄漏根因

步骤 4:预防性参数

# 推荐生产环境配置
-XX:+HeapDumpOnOutOfMemoryError      # OOM 时自动 dump
-XX:HeapDumpPath=/opt/logs/heapdump/ # dump 文件路径
-XX:+PrintGCDetails                   # 打印 GC 详情
-XX:+PrintGCDateStamps                # 带时间戳
-Xloggc:/opt/logs/gc.log             # GC 日志文件
-XX:+UseGCLogFileRotation             # 日志滚动
-XX:NumberOfGCLogFiles=10
-XX:GCLogFileSize=10M

五、内存泄漏排查实战思路

flowchart TD
    A["应用变慢/报OOM"] --> B["jstat 查看GC情况"]
    B --> C{"FGC频繁且回收量小?"}
    C -->|"是"| D["✅ 内存泄漏可能性高"]
    C -->|"否"| E["堆太小/大对象过多"]
    D --> F["jmap dump堆"]
    F --> G["MAT分析"]
    G --> H["找到最大的对象/可疑对象"]
    H --> I["查看GC Roots引用链"]
    I --> J["定位泄漏代码位置"]
    J --> K["修复并验证"]

要点总结

要点 说明
内存泄漏 ≠ 内存溢出 泄漏是原因,溢出是结果
内存泄漏不直接报错 内存占用持续上升而不报错
泄漏的五大场景 静态集合、未关闭资源、内部类、ThreadLocal、错误的 equals
OOM 五大类型 Heap space、Metaspace、Direct buffer、GC overhead、Native thread
排查工具链 jstat → jmap → MAT
预防 > 排查 写好代码并用 HeapDumpOnOutOfMemoryError 兜底

面试常见问题

Q1: 内存泄漏一定会导致内存溢出吗?

A:不一定。如果泄漏速度很慢、堆空间很大,可能长期不会触发 OOM。但理论上只要泄漏持续存在,总有一天会耗尽堆空间导致 OOM。实际生产环境中,内存泄漏往往是导致最终 OOM 的根本原因。

Q2: 如何定位内存泄漏?

A:四步法:(1) 观察——通过 jstat -gcutil 查看 GC 频率和回收量,如果 Full GC 频繁但老年代回收后占用不降,大概率是泄漏;(2) 转储——用 jmap -dump 生成堆转储;(3) 分析——用 MAT 等工具分析,看 Leak Suspects 报告;(4) 定位——查看 GC Roots 到可疑对象的引用链,找到泄漏的代码位置。

Q3: 列举几个常见的 Java 内存泄漏场景。

A:五大场景:(1) 静态集合类持有对象引用且不清理;(2) 资源未关闭(数据库连接、文件流、Socket 等);(3) ThreadLocal 使用后未 remove();(4) 内部类/匿名类隐式持有外部类引用;(5) 不正确的 equals()/hashCode() 导致 HashMap 中的 key 无法 remove。

Q4: Java 堆溢出时怎么排查?

A:首先通过启动参数 -XX:+HeapDumpOnOutOfMemoryError 自动生成堆转储文件。然后用 MAT 分析:进入 Leak Suspects Report 看自动分析结果,或者用 Histogram 按对象大小排序找到最大的对象,再用 Path to GC Roots 定位到具体的引用链。最后根据引用链找到代码中的问题。

Q5: 什么是 GC overhead limit exceeded?

A:JVM 抛出 java.lang.OutOfMemoryError: GC overhead limit exceeded 时,意味着 GC 花费了 超过 98% 的 CPU 时间,但只回收了不到 2% 的堆内存。这通常是内存泄漏的明显信号——GC 反复尝试回收但收效甚微,JVM 为了避免”有用”的程序完全不执行而主动终止。解决方法是排查内存泄漏。

相关文章


G1 收集器特点详解:Region 化、可预测停顿与 Mixed GC

G1 收集器特点详解:Region 化、可预测停顿与 Mixed GC

G1(Garbage First)收集器是 JDK 7u4 引入的服务端垃圾收集器,从 JDK 9 开始成为默认垃圾收集器。它采用了颠覆性的 Region 化堆内存布局,提供了可预测的停顿时间,兼顾高吞吐量和低延迟。

定义

G1 将堆内存划分为多个大小相等的 Region,以可预测的暂停时间为核心目标。它不再需要物理上的分代——每个 Region 在逻辑上可以扮演 Eden、Survivor 或 Old 区,实现了区域化的分代收集

flowchart TD
    subgraph 传统分代
        Y["新生代(连续)"] --> O["老年代(连续)"]
    end

    subgraph G1 Region化
        R1["Eden"] R2["Eden"] R3["Survivor"] R4["Old"]
        R5["Old"] R6["Old"] R7["Humongous"] R8["Humongous"]
        R9["Old"] R10["Eden"] R11["Eden"] R12["Survivor"]
    end

    note["G1每个Region大小相等
逻辑角色动态变化"
]

一、G1 的四大核心特点

1. Region 化堆内存

G1 将堆划分为 2048 个左右大小相等的 Region(每个 1MB ~ 32MB)。

-XX:G1HeapRegionSize=4m     # 手动设置 Region 大小
# 默认自动计算:堆大小 / 2048,范围 1~32MB
Region 类型 逻辑角色 说明
Eden 新生代 新对象分配区,与传统类似
Survivor 新生代 存放 Minor GC 幸存对象
Old 老年代 长期存活对象
Humongous 超大对象 大小超过 Region 50% 的对象
flowchart TD
    subgraph G1堆布局示例
        R1["Eden
新生代"
] R2["Eden"] R3["S
Survivor"
] R4["Old
老年代"
] R5["Old"] R6["Old"] R7["H
Humongous"
] R8["H
Humongous"
] R9["Old"] R10["Eden"] R11["Eden"] R12["S
Survivor"
] end subgraph 角色变化 R1 -->|"GC后清空"| R2 R2 -->|"下次分配"| E["空闲Region
可变为任何角色"
] end

2. 可预测的停顿时间模型

flowchart TD
    A["设定目标停顿
MaxGCPauseMillis=200ms"
] --> B["分析每个Region
回收价值"
] B --> C["回收价值 = 释放空间/回收耗时"] C --> D["按价值排序"] D --> E["选择N个收益最高的Region
满足停顿时间目标"
] E --> F["只回收这些Region"] F --> G["控制停顿时间在目标内 ✅"]

核心:G1 不是一次回收所有垃圾,而是”有选择地”回收——优先回收收益最大的 Region。这就是 Garbage First 名称的由来。

-XX:MaxGCPauseMillis=200    # 默认 200ms 停顿目标

3. 无内存碎片(标记-整理)

G1 在全局范围使用标记-整理算法,回收后存活对象被复制到空闲 Region 中。相比 CMS 的标记-清除,G1 不会产生内存碎片。

flowchart LR
    subgraph 回收前
        F1["Old Region A
存活20% 碎片80%"
] F2["Old Region B
存活30% 碎片70%"
] end subgraph 回收后 T1["空闲Region A
已清空"
] T2["空闲Region B
已清空"
] T3["新的Old Region
存活对象连续存放"
] end F1 --> T1 F1 -->|"存活对象复制"| T3 F2 --> T2 F2 -->|"存活对象复制"| T3

4. Mixed GC(混合回收)

G1 不止回收新生代,还可以同时回收部分老年代 Region。这是 G1 区别于其他收集器的重要特性。

GC 类型 回收范围 触发条件
Young GC 只回收 Eden + Survivor Eden 区满,频繁
Mixed GC 回收新生代 + 部分老年代 并发标记完成后
-XX:InitiatingHeapOccupancyPercent=45  # 堆占用 45% 时触发全局并发标记
-XX:G1MixedGCLiveThresholdPercent=85  # 只回收存活占比低于85%的Region
-XX:G1MixedGCCountTarget=8            # Mixed GC 的轮次数

二、G1 工作流程

完整工作流程

flowchart TD
    A["应用程序运行"] --> B{"Eden区满?"}
    B -->|"是"| C["Young GC (STW)
Eden→Survivor/Old"
] B -->|"否"| D{"堆占用 > 45%?"} D -->|"是"| E["并发标记开始"] D -->|"否"| A C --> A E --> F["初始标记 (STW)
标记GC Roots"
] F --> G["并发标记
遍历Region"
] G --> H["最终标记 (STW)
处理SATB快照"
] H --> I["清理 (STW)
统计存活, 排序"
] I --> J["Mixed GC (STW)
回收新生代+部分老年代"
] J --> A

阶段 1:Young GC

  • 触发:Eden 区满
  • 过程:Eden 中存活对象复制到 Survivor 或 Old 区
  • 特点:STW,但时间可控(通常很短)
  • 频率:频繁

阶段 2:并发标记(Concurrent Marking)

  • 触发:堆整体占用率达到 InitiatingHeapOccupancyPercent(默认 45%)
  • 子阶段
    1. 初始标记(STW):标记 GC Roots 直接引用
    2. 并发标记:从 GC Roots 遍历所有 Region(与用户线程并发)
    3. 最终标记(STW):处理 SATB(Snapshot-At-The-Beginning)记录
    4. 清理阶段(STW):统计各 Region 存活对象,按回收价值排序

阶段 3:Mixed GC

  • 触发:并发标记完成后
  • 特点:一次 GC 同时回收新生代 + 部分老年代 Region
  • 轮次:默认分多轮完成(-XX:G1MixedGCCountTarget=8
  • 选择:只回收存活对象占比低于 G1MixedGCLiveThresholdPercent(默认 85%)的 Region

三、G1 关键参数

# 启用 G1(JDK 9+ 默认)
-XX:+UseG1GC

# 停顿目标(最重要的调优参数)
-XX:MaxGCPauseMillis=200

# Region 大小(1~32MB)
-XX:G1HeapRegionSize=4m

# 并发标记触发阈值
-XX:InitiatingHeapOccupancyPercent=45

# 并发线程数
-XX:ConcGCThreads=4

# 并行线程数
-XX:ParallelGCThreads=4

# Mixed GC 配置
-XX:G1MixedGCCountTarget=8
-XX:G1MixedGCLiveThresholdPercent=85
-XX:G1HeapWastePercent=5

四、G1 vs CMS vs Parallel

对比项 G1 CMS Parallel
堆分区 Region(不固定分代) 连续分代 连续分代
算法 标记-整理 标记-清除 标记-整理
内存碎片 ❌ 有 ✅ 无
停顿时间 可预测 不可预测 不可预测
吞吐量 中等 最高
适用堆大小 4GB+ 中小堆 任意
JDK 版本 9+ 默认 9 废弃 可用

要点总结

要点 说明
Region 化堆内存 2048 个 Region,逻辑角色动态变化
可预测停顿 通过回收价值模型控制回收 Region 数量
无内存碎片 使用标记-整理算法,存活对象连续存放
Mixed GC 一次 GC 可同时回收新生代和部分老年代
大堆友好 堆越大,G1 的优势越明显

面试常见问题

Q1: G1 如何实现可预测的停顿时间?

A:G1 维护每个 Region 的回收价值模型(释放空间大小 / 回收耗时)。每次 GC 时,G1 根据 -XX:MaxGCPauseMillis 目标,按价值从高到低选择 Region 进行回收。通过控制本次回收的 Region 数量,保证总停顿时间不超过目标值。如果选中的 Region 回收完目标时间还有余,就多选几个;如果不够,就少选几个。

Q2: G1 中什么是 SATB(Snapshot-At-The-Beginning)?

A:SATB 是 G1 并发标记阶段使用的算法。在并发标记开始时,对堆中存活对象拍一张”快照“——不需要暂停所有线程,而是通过写屏障(Pre-Write Barrier)在并发标记期间记录所有引用关系的变化。最终标记阶段再处理这些记录。相比 CMS 的增量更新(记录所有新引用),SATB 通常更高效,因为写屏障只记录旧值被覆盖前的情况。

Q3: G1 的 Humongous Region 是什么?

A:当对象大小超过 Region 大小的 50% 时,G1 将其视为超大对象(Humongous Object),放入连续的多个 Humongous Region 中。大对象会被直接分配到老年代,且不会在 Young GC 中考虑回收。频繁分配大对象会影响 G1 的性能,需要注意优化。

Q4: G1 与 CMS 相比有哪些优势?

A:(1) 无内存碎片——使用标记-整理而非标记-清除;(2) 停顿可预测——通过回收价值模型精确控制;(3) Mixed GC——一次 GC 处理新生代和老年代,减少 Full GC 频率;(4) 大堆性能更好——当堆 ≥4GB 时,G1 优势明显。

Q5: G1 适合什么样的应用场景?

A:G1 适合需要平衡吞吐量和延迟的服务端应用,特别是堆大小在 4GB~100GB 之间的场景。JDK 9+ 默认使用 G1。如果应用对延迟极其敏感(要求 <10ms)且堆非常大(>100GB),可考虑 ZGC。

相关文章


CMS 收集器工作流程详解:4 大阶段、并发模式失败与内存碎片

CMS 收集器工作流程详解:4 大阶段、并发模式失败与内存碎片

CMS(Concurrent Mark Sweep)收集器是 JVM 老年代垃圾收集器的里程碑——它首次实现了GC 线程与用户线程并发执行,大幅缩短了 STW 暂停时间。尽管在 JDK 9 中被标记为废弃,其设计思想对理解现代并发 GC(如 G1、ZGC)仍有重要参考价值。

定义

CMS 是以获取最短回收停顿时间为目标的垃圾收集器,基于标记-清除算法实现。它常与 ParNew 新生代收集器搭配使用。

flowchart TD
    subgraph CMS收集器体系
        YG["ParNew
新生代收集器
复制算法, 并行"
] -->|"Minor GC"| YG2["仅处理新生代"] OG["CMS
老年代收集器
标记-清除, 并发"
] -->|"Major GC"| OG2["仅处理老年代"] end YG -.->|"对象晋升"| OG

一、CMS 的 4 个主要阶段

flowchart LR
    subgraph CMS完整流程
        S1["❶ 初始标记
Initial Mark"
] --> S2["❷ 并发标记
Concurrent Mark"
] S2 --> S3["❸ 重新标记
Remark"
] S3 --> S4["❹ 并发清除
Concurrent Sweep"
] end subgraph STW状态 S1 -->|"STW ✅"| S1_STW["暂停时间: 很短"] S2 -->|"并发 ❌"| S2_CON["无暂停"] S3 -->|"STW ✅"| S3_STW["暂停时间: 中等"] S4 -->|"并发 ❌"| S4_CON["无暂停"] end

阶段 1:初始标记(CMS Initial Mark)— STW

  • 目标:标记 GC Roots 能直接关联到的对象
  • 范围:仅标记第一层直接引用,速度很快
  • STW:需要暂停所有用户线程,但暂停时间很短(ms 级别)
flowchart TD
    subgraph 初始标记
        GCR["GC Roots"] -->|"直接引用"| A["对象A ✅"]
        GCR -->|"直接引用"| B["对象B ✅"]
        A -.->|"间接引用 (不标记)"| C["对象C ⏳"]
    end

阶段 2:并发标记(CMS Concurrent Mark)

  • 目标:从 GC Roots 出发,遍历整个对象图,标记所有可达对象
  • STW不需要暂停用户线程,与用户线程并发执行
  • 范围:时间较长(与对象图大小成正比)

问题:并发标记期间,用户线程仍在运行,对象的引用关系可能发生变化。CMS 使用写屏障记录这些变化。

阶段 3:重新标记(CMS Remark)— STW

  • 目标:修正并发标记期间因用户线程运行而产生变动的部分(增量更新
  • STW:暂停时间可控(比初始标记长,但远短于并发标记)
  • 范围:使用写屏障记录的引用变更

STW 时间优化:在重新标记前通常先做一次 Minor GC

-XX:+CMSScavengeBeforeRemark  # Remark 前先做一次 Minor GC

这样可以清理大量新生代对象,减少重新标记需要处理的对象数量。

阶段 4:并发清除(CMS Concurrent Sweep)

  • 目标:清除未被标记的对象,回收内存空间
  • STW不需要暂停用户线程,与用户线程并发执行

问题:并发清除期间,用户线程仍在产生新对象(浮动垃圾),这些对象在本次 CMS 中无法被清理,需要等待下一次 CMS。


二、CMS 的两个辅助操作

1. 并发模式失败(Concurrent Mode Failure)

sequenceDiagram
    participant CMS as CMS回收
    participant Heap as 老年代
    participant Backup as Serial Old

    Note over CMS: CMS正在并发回收...
    Heap->>Heap: 用户线程继续分配对象
    Note over Heap: 老年代空间逐渐减少
    Heap->>CMS: 空间不足!
    Note over CMS,Backup: 并发模式失败!
    Backup->>Heap: Serial Old 启动 Full GC (STW!)

原因:并发标记和清除期间,用户线程仍在产生新对象进入老年代。如果老年代空间在 CMS 回收完之前就被填满,就触发 Concurrent Mode Failure。

后果:JVM 启动 Serial Old 作为后备,进行 STW 的 Full GC,暂停时间大幅增加。

预防措施

-XX:CMSInitiatingOccupancyFraction=70  # 老年代 70% 时触发 CMS(默认 92%)
-XX:+UseCMSInitiatingOccupancyOnly     # 仅使用该阈值,不自动计算
# 降低阈值可以让 CMS 更早触发,减少并发失败概率

2. 内存碎片问题

原因:CMS 使用标记-清除算法,不压缩整理空间。长期运行后老年代碎片严重。

后果:碎片过多 → 无法分配大对象 → 提前触发 Full GC。

解决方案

-XX:+UseCMSCompactAtFullCollection       # Full GC 时进行碎片整理
-XX:CMSFullGCsBeforeCompaction=5         # 每 5 次 Full GC 整理一次

三、CMS 完整参数配置

# 启用 CMS
-XX:+UseConcMarkSweepGC
-XX:+UseParNewGC

# CMS 线程数(默认 = (CPU核数+3)/4)
-XX:ConcGCThreads=4

# 触发阈值
-XX:CMSInitiatingOccupancyFraction=70
-XX:+UseCMSInitiatingOccupancyOnly

# 碎片处理
-XX:+UseCMSCompactAtFullCollection
-XX:CMSFullGCsBeforeCompaction=5

# Remark 前做 Minor GC
-XX:+CMSScavengeBeforeRemark

# 预清理
-XX:+CMSPrecleaningEnabled

四、CMS 的工作过程(时序图)

sequenceDiagram
    participant User as 用户线程
    participant CMS as CMS线程
    participant STW as 全局暂停

    User->>User: 正常运行
    Note over STW: 初始标记 (STW)
    STW->>CMS: GC Roots直接引用标记
    Note over STW: 暂停结束

    User->>User: 并发运行
    CMS->>CMS: 并发标记(遍历对象图)
    CMS->>CMS: 写屏障记录引用变化

    Note over STW: 重新标记 (STW)
    STW->>CMS: 修正并发标记期间的变化
    Note over STW: 暂停结束

    User->>User: 并发运行
    CMS->>CMS: 并发清除(回收空间)

五、CMS vs G1

对比项 CMS G1
算法 标记-清除 标记-整理
内存碎片 (严重)
停顿预测 不可预测 可预测(MaxGCPauseMillis)
工作方式 分代(新生+老年代) Region 化(不固定分代)
浮动垃圾 也有,但通过 SATB 处理
JDK 状态 JDK 9 废弃,JDK 14 移除 JDK 9+ 默认

要点总结

要点 说明
CMS 追求最短停顿时间 适合交互式 Web 应用
4 个阶段 初始标记(STW) → 并发标记(并发) → 重新标记(STW) → 并发清除(并发)
两个缺陷 内存碎片 + 浮动垃圾 → 并发模式失败
被废弃的原因 标记-清除碎片化、并发失败概率高、停顿不可预测
JDK 9 已废弃 统一使用 G1

面试常见问题

Q1: CMS 为什么会发生 Concurrent Mode Failure?怎么解决?

A:并发标记和清除期间,用户线程仍在产生新对象进入老年代。如果老年代空间在 CMS 回收完之前就被填满,就会触发 Concurrent Mode Failure,JVM 改用 Serial Old 进行 STW Full GC。解决:降低触发阈值(如 CMSInitiatingOccupancyFraction=70%),或者增大老年代空间。

Q2: CMS 的重新标记阶段解决了什么问题?

A:并发标记阶段用户线程同时在运行,对象的引用关系可能发生变化(新生代晋升、老年代对象被重新引用等)。重新标记阶段通过增量更新算法修正这些变动的对象,保证标记准确性。

Q3: CMS 为什么被废弃?G1 的优势在哪里?

A:CMS 被废弃的原因:(1) 标记-清除导致内存碎片;(2) 浮动垃圾导致并发模式失败概率高;(3) 无法预测停顿时间。G1 采用 Region 化 + 标记-整理算法,无碎片,停顿可预测,更适合大堆场景。

Q4: CMS 和 ParNew 是什么关系?

A:ParNew 是新生代收集器,CMS 是老年代收集器,两者搭配使用。ParNew 是 Serial 的多线程版本,是唯一能与 CMS 配合的新生代收集器。JDK 9 后随着 CMS 的废弃,ParNew 也一同被废弃。

Q5: CMS 的增量更新(Incremental Update)是什么?

A:增量更新是 CMS 并发标记阶段用于处理新引用的算法。当并发标记期间用户线程创建了新的引用关系(如 obj.field = newObject),写屏障会记录这个变化。重新标记阶段,CMS 会以这些被修改的对象为起点重新扫描,确保新对象被正确标记。G1 则使用不同的 SATB(Snapshot-At-The-Beginning)算法。

相关文章


常见垃圾收集器详解:Serial、ParNew、Parallel、CMS、G1、ZGC

常见垃圾收集器详解:Serial、ParNew、Parallel、CMS、G1、ZGC

垃圾收集器(Garbage Collector)是垃圾回收算法的具体实现。不同的收集器适用于不同场景——有的追求低延迟,有的追求高吞吐量,有的追求大堆内存管理

定义

JVM 提供了多种收集器供用户选择,从单线程的 Serial 到超低延迟的 ZGC,覆盖了从客户端应用到大型服务端的所有场景。

flowchart TD
    subgraph 新生代收集器
        S["Serial
单线程STW"
] PN["ParNew
多线程并行"
] PS["Parallel Scavenge
吞吐量优先"
] end subgraph 老年代收集器 SO["Serial Old
标记-整理"
] CMS["CMS
并发低延迟"
] PO["Parallel Old
标记-整理并行"
] end subgraph 全堆收集器 G1["G1
区域化,可预测停顿"
] ZGC["ZGC
超低延迟<10ms"
] end S -->|"配合"| SO PN -->|"配合"| CMS PS -->|"配合"| PO G1 -.->|"JDK9+默认"| G1 ZGC -.->|"JDK15+正式"| ZGC

一、Serial 收集器(串行)

  • 算法:新生代:复制算法;老年代:标记-整理算法
  • 特点单线程工作,GC 时需暂停所有用户线程(Stop-The-World)
  • 适用:单 CPU 环境、客户端模式(Client Mode)、小内存应用(<100MB)
  • 参数-XX:+UseSerialGC
flowchart TD
    subgraph Serial GC
        T1["用户线程"] -->|"STW暂停"| GC["Serial GC单线程
新生代复制/老年代整理"
] GC -->|"GC完成"| T2["用户线程恢复"] end

适用场景:桌面应用、嵌入式设备、单核服务器。


二、ParNew 收集器

  • 本质:Serial 的多线程版本
  • 算法:新生代:复制算法 + 多线程并行
  • 特点唯一能与 CMS 搭配的新生代收集器
  • 适用:多核 CPU + CMS 组合
  • 参数-XX:+UseParNewGC
flowchart TD
    subgraph ParNew GC
        T1["用户线程"] -->|"STW暂停"| GC["ParNew
多线程并行复制"
] GC -->|"GC完成"| T2["用户线程恢复"] end

三、Parallel Scavenge + Parallel Old(吞吐量优先)

  • 算法:新生代(Parallel Scavenge):复制算法(并行);老年代(Parallel Old):标记-整理(并行)
  • 特点:关注吞吐量(Throughput = 运行用户代码时间 / 总时间)
  • 适用:后台批处理、科学计算、数据分析
  • 参数-XX:+UseParallelGC / -XX:+UseParallelOldGC
参数 作用
-XX:MaxGCPauseMillis=200 控制最大暂停时间(毫秒)
-XX:GCTimeRatio=19 控制吞吐量(默认 99,即 1% 时间用于 GC)
-XX:+UseAdaptiveSizePolicy 自适应调节(JVM 自动调整新生代/老年代比例)
flowchart LR
    subgraph 吞吐量概念
        A["应用运行时间 99ms"] -->|"Total: 100ms"| B["GC时间 1ms"]
        A --> C["吞吐量 = 99/100 = 99%"]
    end

四、CMS 收集器(Concurrent Mark Sweep)

  • 算法:老年代:标记-清除,追求最短停顿时间
  • 特点并发执行,用户线程和 GC 线程同时工作
  • 适用Web 服务器、互联网应用等对响应时间敏感的场景
  • 参数-XX:+UseConcMarkSweepGC

4 个阶段:初始标记(STW) → 并发标记(并发) → 重新标记(STW) → 并发清除(并发)

主要缺陷
1. 内存碎片(标记-清除)
2. 浮动垃圾
3. 并发模式失败(Concurrent Mode Failure)

详细工作流程见 interview_048: CMS 收集器工作流程详解

JDK 9 已标记废弃,JDK 14 正式移除。


五、G1 收集器(Garbage First)

  • 算法Region 化,全堆范围,标记-整理
  • 特点:将堆划分为多个 Region(1~32MB),可预测的停顿时间
  • 适用JDK 9+ 默认收集器,大堆内存(4GB+)应用
  • 参数-XX:+UseG1GC
-XX:MaxGCPauseMillis=200    # 停顿目标(默认 200ms)
-XX:G1HeapRegionSize=4m     # Region 大小
-XX:InitiatingHeapOccupancyPercent=45 # 触发并发标记的阈值

详细特点见 interview_049: G1 收集器特点详解


六、ZGC 收集器

  • 算法:基于 Region,着色指针(Colored Pointers)读屏障(Load Barrier)
  • 特点超低延迟——GC 暂停不超过 10ms(甚至 1ms)
  • 适用:JDK 15+ 正式版,大内存、低延迟需求
  • 参数-XX:+UseZGC
flowchart LR
    subgraph ZGC特点
        A["暂停时间 < 10ms"] --> B["与堆大小无关
16MB和16TB的
暂停时间一致"
] B --> C["几乎完全并发
所有阶段并发执行"
] end

与堆大小无关:ZGC 的暂停时间不会因为堆变大而增加,16GB 和 1TB 堆的 GC 暂停都 <10ms。


七、收集器选择指南

flowchart TD
    A["选择收集器"] --> B{堆大小?}
    B -->|"< 4GB"| C{延迟敏感?}
    C -->|"是"| D["CMS (JDK8+)
或 G1"
] C -->|"否"| E["Parallel Scavenge + Parallel Old
高吞吐量"
] B -->|"4-100GB"| F["G1 ✅"] B -->|"> 100GB"| G{延迟敏感?} G -->|"是"| H["ZGC ✅"] G -->|"否"| F
收集器 JDK 版本 延迟 吞吐量 堆大小
Serial 所有版本 高(STW 长)
Parallel 所有版本 最高 任意
CMS 8(已废弃)
G1 9+ 默认 可预测 大(4GB+)
ZGC 15+ 正式 超低<10ms 超大

八、参数速查

# ===== Serial =====
-XX:+UseSerialGC

# ===== ParNew + CMS =====
-XX:+UseParNewGC -XX:+UseConcMarkSweepGC

# ===== Parallel =====
-XX:+UseParallelGC -XX:+UseParallelOldGC
-XX:MaxGCPauseMillis=200
-XX:GCTimeRatio=19

# ===== G1 =====
-XX:+UseG1GC
-XX:MaxGCPauseMillis=200
-XX:G1HeapRegionSize=4m

# ===== ZGC =====
-XX:+UseZGC
-XX:ConcGCThreads=4

# ===== 通用监控 =====
-XX:+PrintGCDetails -XX:+PrintGCDateStamps
-Xloggc:gc.log

要点总结

收集器 工作模式 分代 目标 适用场景
Serial 串行 新生+老年代 简单稳定 客户端/小堆
ParNew 并行 新生代 配合 CMS CMS 搭档
Parallel 并行 新生+老年代 高吞吐量 批处理/科学计算
CMS 并发 老年代 低停顿 Web 服务器(已废弃)
G1 并发+并行 全堆 Region 可预测停顿 大堆/JDK9+默认
ZGC 并发 全堆 <10ms 暂停 超大堆/超低延迟

面试常见问题

Q1: 吞吐量优先和低延迟优先的收集器分别有哪些?

A:吞吐量优先:Parallel Scavenge + Parallel Old。Parallel 关注总 CPU 利用率,适合后台计算。低延迟优先:CMS(JDK 8,已废弃)、G1、ZGC。关注用户线程停顿时间,适合交互式应用(如 Web 服务器)。

Q2: 为什么 JDK 9 改用 G1 作为默认收集器?

A:(1) CMS 有内存碎片、浮动垃圾、Concurrent Mode Failure 等缺陷;(2) G1 解决了 CMS 的内存碎片问题(使用标记-整理),且可以 预测停顿时间;(3) G1 对大堆友好,适应现代服务器的内存规模(4GB+);(4) G1 的 Mixed GC 可以同时清理新生代和部分老年代。

Q3: ZGC 为什么能做到超低延迟?

A:(1) 使用着色指针(Colored Pointer)在对象指针中存储 GC 元信息,无对象头额外开销;(2) 读屏障(Load Barrier)只在访问对象时触发,比写屏障轻量;(3) 几乎所有阶段都是并发执行;(4) 染色指针和内存多重映射实现指针压缩和 GC 状态切换。(5) ZGC 暂停时间与堆大小无关——这是它与 G1/CMS 最本质的区别。

Q4: 新生代收集器有哪些?如何搭配老年代?

A:三种新生代收集器:Serial(单线程,配 Serial Old)、ParNew(多线程,配 CMS)、Parallel Scavenge(吞吐量优先,配 Parallel Old)。ParNew 是唯一能与 CMS 配合的新生代收集器。JDK 9+ 不再推荐 CMS,统一使用 G1。

相关文章


垃圾回收算法详解:标记-清除、复制、标记-整理与分代回收

垃圾回收算法详解:标记-清除、复制、标记-整理与分代回收

垃圾回收算法是 JVM 识别并回收死亡对象所占内存空间的具体策略。主流算法有四种——标记-清除、复制、标记-整理、分代回收——不同的 GC 收集器基于这些算法进行组合实现。

定义

GC 算法解决的是”如何回收内存“的问题(而可达性分析解决的是”哪些对象该回收“的问题)。不同的算法在内存碎片空间利用率暂停时间等维度上各有优劣。

flowchart TD
    A["垃圾回收算法家族"] --> B["标记-清除 Mark-Sweep
CMS"
] A --> C["复制 Copying
新生代(Serial/ParNew/Parallel)"
] A --> D["标记-整理 Mark-Compact
老年代(Serial Old/Parallel Old)"
] A --> E["分代 Generational
综合使用以上算法"
]

一、标记-清除算法(Mark-Sweep)

原理

  1. 标记阶段:从 GC Roots 出发,标记所有存活对象
  2. 清除阶段:遍历堆中所有对象,回收未被标记的对象空间
flowchart TD
    subgraph 标记-清除过程
        MS1["回收前
A B _ C _ _ D"
] --> MS2["标记阶段
A✓ B✓ _ C✓ _ _ D✓"
] MS2 --> MS3["清除阶段
A✓ B✓ 空闲 C✓ 空闲 空闲 D✓"
] end

优缺点

优点 缺点
实现简单,是所有 GC 算法的基础 内存碎片严重——回收后空间不连续,大对象分配困难
不需要移动对象 标记和清除两个阶段都需要 Stop-The-World
效率随对象数量增加而下降

适用场景

  • 老年代(配合 CMS)
  • 嵌入式/客户端等内存较小、对碎片不敏感的场景

二、复制算法(Copying)

原理

将可用内存按容量划分为大小相等的两块,每次只使用其中一块。当一块用完了,将存活对象复制到另一块上,然后一次性清理整块已使用空间。

flowchart TD
    subgraph 复制算法
        CP1["使用区A: [A B C D]
空闲区B: [ ]"
] --> CP2["GC: 存活对象复制到B"] CP2 --> CP3["清空A"] CP3 --> CP4["切换:
使用区B, 空闲区A"
] end

优缺点

优点 缺点
没有内存碎片——整块清理,分配用指针碰撞 可用内存缩小了一半(浪费空间)
分配简单(指针碰撞) 对象存活率高时复制频繁,效率下降
清理高效(整块清除,无需遍历) 不适合老年代(存活对象多,复制成本高)

新生代的应用

JVM 新生代采用此算法,但优化为 Eden:S0:S1 = 8:1:1,实际只浪费 10% 的空间:

// 默认:-XX:SurvivorRatio=8
// Eden = 80%, Survivor0 = 10%, Survivor1 = 10%
// 每次 Minor GC 时,存活的对象复制到空的 Survivor 区
// 实际可用的新生代空间 = Eden + 1个Survivor = 90%
// 仅浪费 10%(空闲的 Survivor)

三、标记-整理算法(Mark-Compact)

原理

  1. 标记阶段:与标记-清除一样,标记所有存活对象
  2. 整理阶段:将所有存活对象向内存空间一端移动,直接清理边界以外的内存
flowchart TD
    subgraph 标记-整理过程
        MC1["回收前: A _ B C _ _"] --> MC2["标记: A✓ _ B✓ C✓ _ _"]
        MC2 --> MC3["整理: A✓ B✓ C✓ 空闲 空闲 空闲"]
    end

优缺点

优点 缺点
无内存碎片,空间利用率高 移动对象需要更新引用,STW 时间更长
适合老年代(对象存活率高) 需要计算对象移动的目标地址

适用场景

  • 老年代(Serial Old、Parallel Old、G1)

四、三种算法对比

算法 内存碎片 空间利用率 暂停时间 适用场景
标记-清除 ⚠️ 严重 较长(标记+清除都 STW) 老年代(配合 CMS 并发版)
复制 ✅ 无 低(浪费一半或 10%) 较短(只暂停复制阶段) 新生代
标记-整理 ✅ 无 最长(标记+移动都 STW) 老年代
flowchart TD
    subgraph 三算法横评
        A["标记-清除"] --> B["碎片: ❌ 严重
速度: 一般
空间: 好"
] C["复制"] --> D["碎片: ✅ 无
速度: 最快
空间: ❌ 浪费"
] E["标记-整理"] --> F["碎片: ✅ 无
速度: 最慢
空间: 好"
] end

五、分代回收算法(Generational Collection)

核心思想

根据对象存活周期的不同,将堆划分为不同代,对不同代采用不同的回收算法

flowchart TD
    subgraph 分代回收策略
        Y["新生代 Young"] --> Y_A["算法: 复制
特点: 存活率低, 复制成本小
频率: 频繁Minor GC"
] O["老年代 Old"] --> O_A["算法: 标记-清除/标记-整理
特点: 存活率高, 避免复制
频率: 较低Major/Full GC"
] end

为什么分代更高效?

因素 不分代 分代
GC 扫描范围 整个堆 仅新生代(Minor GC)或老年代(Major GC)
每次 GC 耗时 与堆大小成正比 新生代 GC 仅扫描小部分
对象死->生比例 混合在一起 新生代 90%+ 对象死亡,效率高

核心数据:经过统计,90%+ 的对象在新生代就被回收,只有不到 10% 进入老年代。


六、完整代码示例:观察 GC 行为

import java.util.ArrayList;
import java.util.List;

public class GCAlgorithmDemo {
    private static final int _1MB = 1024 * 1024;

    public static void main(String[] args) {
        // JVM 参数:-Xms20M -Xmx20M -Xmn10M -XX:SurvivorRatio=8 -XX:+PrintGCDetails
        // 堆 20MB,新生代 10MB,Eden:from:to = 8:1:1

        byte[] allocation1, allocation2, allocation3;

        allocation1 = new byte[2 * _1MB];  // 分配到 Eden
        allocation2 = new byte[2 * _1MB];  // 分配到 Eden
        allocation3 = new byte[2 * _1MB];  // 分配到 Eden

        // 此时 Eden 已使用 6MB/8MB

        // 触发 Minor GC(Eden 不够分配 4MB)
        byte[] allocation4 = new byte[4 * _1MB];

        // Minor GC 过程:
        // 1. Eden 中 allocation1/2/3 存活 → 复制到 Survivor
        // 2. Survivor 只有 1MB,不够放 3 个对象
        // 3. 部分对象直接进入老年代(担保分配)
        // 4. 清理 Eden
        // 5. allocation4 在 Eden 分配

        System.gc(); // 触发 Full GC(建议用 System.gc() 测试,生产不要用)
    }
}

要点总结

算法 内存碎片 空间利用率 暂停时间 适用区域 典型收集器
标记-清除 ⚠️ 老年代 CMS
复制 ✅ 无 低(浪费 10%) 新生代 Serial, ParNew, Parallel
标记-整理 ✅ 无 老年代 Serial Old, Parallel Old, G1
分代回收 ✅ 综合 综合 综合 全堆 所有主流收集器

面试常见问题

Q1: 为什么新生代使用复制算法?

A:新生代 GC 时 90%+ 的对象都会死亡,只有少量存活对象。复制算法只需要复制少量存活对象到空的 Survivor 区,然后整块清理 Eden,效率极高。配合 Eden:S0:S1=8:1 的设计,实际浪费仅为 10%,是可接受的代价。

Q2: 标记-清除算法的缺陷有哪些?

A:三大缺陷:(1) 内存碎片化严重——回收后空间不连续,可能导致大对象无法分配而提前触发 Full GC;(2) 效率问题——标记和清除耗时随存活对象和总对象数量增加而增加;(3) 两次 STW——标记阶段和清除阶段都需要暂停用户线程。

Q3: 标记-整理算法中移动对象有什么代价?

A:移动存活对象需要更新所有引用该对象的指针。在引用多的大型系统中,这需要遍历并更新大量指针,暂停时间较长。但相比内存碎片导致的频繁 Full GC 和分配效率问题,移动对象的代价通常是可以接受的。通过”安全点”优化和并行整理可以减少影响。

Q4: 为什么老年代不适合用复制算法?

A:老年代对象存活率高(生命周期长),如果使用复制算法,每次 GC 需要复制大量存活对象,复制成本很高。而且老年代空间大,预留一半空闲区的空间浪费太多。所以老年代适合用标记-清除或标记-整理。

Q5: 什么是 JVM 的”安全点”(Safe Point)?

A:安全点是 GC 时所有线程必须暂停执行的位置。JVM 不会在任意位置暂停线程,而是在方法调用、循环跳转、异常抛出等位置设置安全点。线程运行到安全点后检查 GC 标志,如果 GC 需要,则在此处暂停。通过 -XX:+PrintGCApplicationStoppingTime 可查看线程暂停时间。

相关文章


4 种引用类型详解:强引用、软引用、弱引用、虚引用

4 种引用类型详解:强引用、软引用、弱引用、虚引用

在 JDK 1.2 之前,Java 只有一种引用类型——强引用。从 JDK 1.2 开始,java.lang.ref 包提供了 4 种引用类型,让程序可以更灵活地控制对象的生命周期,支持内存敏感缓存自动清理对象回收追踪等高级需求。

定义

四种引用类型按强度从高到低排列:

引用类型 回收时机 获取对象 主要用途
强引用 永不回收(OOM 为止) 可直接访问 普通对象引用
软引用 内存不足时回收 get() 可访问 内存敏感缓存
弱引用 下次 GC 即回收 get() 可访问 WeakHashMap、ThreadLocal
虚引用 GC 时放入队列 get() 返回 null 对象回收追踪
flowchart LR
    subgraph 引用强度
        SR["强引用
永不回收"
] --> SofR["软引用
内存不足回收"
] SofR --> WR["弱引用
每次GC回收"
] WR --> PR["虚引用
get永远null"
] end subgraph GC触发回收 G1["内存充足"] -->|"不回收"| SR G1 -->|"不回收"| SofR G1 -->|"回收"| WR G1 -->|"回收入队列"| PR G2["内存不足"] -->|"不回收"| SR G2 -->|"回收"| SofR G2 -->|"回收"| WR G2 -->|"回收入队列"| PR end

一、强引用(Strong Reference)

最常见的引用方式,只要强引用还存在,GC 永远不会回收被引用的对象。

Object obj = new Object();  // 强引用
String str = "hello";        // 强引用
List<String> list = new ArrayList<>(); // 强引用

// 即使内存不足抛出 OOM,也不会回收强引用指向的对象
// 需要显式断开引用才能被回收
obj = null;  // 断开引用,对象可被回收

典型问题:强引用过多导致内存泄漏——集合中持有无用对象的引用但不清理:

public class StrongRefLeak {
    // 静态集合持有所有添加的对象 → 内存泄漏
    private static List<Object> list = new ArrayList<>();

    public void add() {
        list.add(new byte[1024 * 1024]); // 1MB
        // 对象永远不会被回收(list 持有强引用)
    }
}

二、软引用(Soft Reference)

描述”有用但非必需“的对象。在内存溢出之前,JVM 会回收所有软引用指向的对象。

import java.lang.ref.SoftReference;

public class SoftReferenceDemo {
    public static void main(String[] args) {
        // 创建软引用
        SoftReference<byte[]> softRef = new SoftReference<>(new byte[1024 * 1024 * 10]);

        // 获取对象
        byte[] data = softRef.get();  // 返回对象,除非已被回收
        System.out.println("获取到: " + (data != null));

        // 尝试耗尽内存
        try {
            List<byte[]> list = new ArrayList<>();
            while (true) {
                list.add(new byte[1024 * 1024]); // 不断分配
            }
        } catch (OutOfMemoryError e) {
            System.out.println("OOM 后: " + (softRef.get() != null)); // false(已被回收)
        }
    }
}

缓存应用

public class SoftCache<K, V> {
    private final Map<K, SoftReference<V>> cache = new HashMap<>();

    public V get(K key) {
        SoftReference<V> ref = cache.get(key);
        if (ref == null) return null;
        V value = ref.get();
        if (value == null) {
            cache.remove(key);  // 已被 GC 回收,清理无效条目
        }
        return value;
    }

    public void put(K key, V value) {
        cache.put(key, new SoftReference<>(value));
    }

    public static void main(String[] args) {
        SoftCache<String, byte[]> imageCache = new SoftCache<>();
        imageCache.put("logo", new byte[1024 * 1024]); // 缓存 1MB 图片

        // 内存充足时:get 返回缓存数据
        byte[] logo = imageCache.get("logo");
        System.out.println("缓存命中: " + (logo != null));

        // 内存不足时:软引用被回收,get 返回 null
        // 下次访问时需要重新加载
    }
}

三、弱引用(Weak Reference)

比软引用更短命——只要发生 GC,弱引用指向的对象就会被回收,无论内存是否充足。

import java.lang.ref.WeakReference;

public class WeakReferenceDemo {
    public static void main(String[] args) {
        WeakReference<byte[]> weakRef = new WeakReference<>(new byte[1024 * 1024]);

        System.out.println("GC 前: " + (weakRef.get() != null)); // true

        System.gc();  // 手动触发 GC

        System.out.println("GC 后: " + (weakRef.get() != null)); // false(已被回收)
    }
}

WeakHashMap

import java.util.WeakHashMap;

public class WeakHashMapDemo {
    public static void main(String[] args) {
        WeakHashMap<Object, String> map = new WeakHashMap<>();

        Object key = new Object();       // 强引用
        map.put(key, "value");           // Entry 中 key 是弱引用

        System.out.println("删除前: " + map.size()); // 1

        key = null;  // 断开强引用 → key 只有弱引用

        System.gc(); // key 被回收 → Entry 自动清理

        System.out.println("GC 后: " + map.isEmpty()); // true
    }
}

ThreadLocal 中的弱引用

// ThreadLocalMap 中的 Entry 使用弱引用指向 ThreadLocal 对象
// 防止 ThreadLocal 对象无法被回收导致内存泄漏

public class ThreadLocalWeakRef {
    private static ThreadLocal<byte[]> tl = new ThreadLocal<>();

    public static void main(String[] args) {
        tl.set(new byte[1024 * 1024]);  // 1MB

        // ThreadLocalMap:
        // Entry(key=WeakReference(ThreadLocal对象), value=1MB数组)

        tl = null;  // 断开 ThreadLocal 的强引用

        // 下次 GC 时:
        // ThreadLocal 对象只有弱引用 → 被回收
        // Entry 的 key 变为 null → value 在下次 get/set 时被清理
        // ⚠️ 但建议使用后调用 tl.remove() 主动清理
    }
}

注意:虽然 Entry 的 key 使用弱引用,但 value 是强引用。所以使用 ThreadLocal 后建议调用 remove() 主动清理,避免 value 泄漏。


四、虚引用(Phantom Reference)

最弱的引用类型——无法通过虚引用获取对象实例,get() 永远返回 null。必须配合 ReferenceQueue 使用。

import java.lang.ref.PhantomReference;
import java.lang.ref.ReferenceQueue;

public class PhantomReferenceDemo {
    public static void main(String[] args) throws Exception {
        ReferenceQueue<Object> queue = new ReferenceQueue<>();

        PhantomReference<byte[]> phantomRef = 
            new PhantomReference<>(new byte[1024 * 1024], queue);

        // get() 永远返回 null
        System.out.println("get(): " + phantomRef.get()); // null

        System.gc();
        Thread.sleep(100);

        // 对象被回收后,虚引用被放入队列
        System.out.println("队列中有引用: " + (queue.poll() != null)); // true
    }
}

NIO 中的实际应用

// NIO DirectByteBuffer 使用虚引用追踪堆外内存回收
// 当 DirectByteBuffer 对象被 GC 回收时,虚引用入队
// Cleaner 线程从队列取出引用,执行堆外内存的释放

import java.nio.ByteBuffer;

public class DirectBufferDemo {
    public static void main(String[] args) {
        // 分配 100MB 堆外内存
        ByteBuffer buffer = ByteBuffer.allocateDirect(1024 * 1024 * 100);

        // buffer 是一个 DirectByteBuffer 对象(在堆上很小)
        // 实际数据在堆外内存(由虚引用追踪)

        buffer = null;  // 断开引用

        // DirectByteBuffer 被 GC 时
        // Cleaner 自动释放对应的 100MB 堆外内存
    }
}

五、引用队列(ReferenceQueue)

配合软/弱/虚引用使用,当引用指向的对象被回收后,引用对象本身会被放入队列:

import java.lang.ref.*;

public class ReferenceQueueDemo {
    public static void main(String[] args) throws Exception {
        ReferenceQueue<Object> queue = new ReferenceQueue<>();

        // 创建弱引用并关联队列
        WeakReference<Object> ref = new WeakReference<>(new Object(), queue);

        System.out.println("对象: " + ref.get());
        System.out.println("队列: " + queue.poll()); // null(还未回收)

        System.gc();
        Thread.sleep(100);

        // 对象被回收 → ref 被放入队列
        Reference removed = queue.poll();
        System.out.println("队列中移除: " + removed); // 非 null
        System.out.println("removed == ref: " + (removed == ref)); // true
    }
}

六、四者对比总结

引用类型 强度 回收时机 get() 返回值 典型用途
强引用 ⭐⭐⭐⭐ OOM 也不回收 对象本身 普通对象引用
软引用 ⭐⭐⭐ 内存不足时回收 对象(可能为 null) 内存敏感缓存
弱引用 ⭐⭐ 下次 GC 即回收 对象(可能为 null) WeakHashMap、ThreadLocal
虚引用 GC 时入队列 永远 null 对象回收追踪、NIO
flowchart TD
    A["引用类型选择"] --> B{需要缓存?}
    B -->|"是"| C{内存敏感?}
    C -->|"是, 内存不足可丢弃"| D["软引用 ✅"]
    C -->|"否, GC即可丢弃"| E["弱引用 ✅"]
    B -->|"否"| F{需要追踪回收?}
    F -->|"是"| G["虚引用 + ReferenceQueue ✅"]
    F -->|"否"| H["强引用(默认) ✅"]

面试常见问题

Q1: 软引用和弱引用的区别?

A:软引用只有在内存不足时才被回收,适合做缓存(图片缓存、网页缓存);弱引用只要 GC 就回收,生命周期更短。弱引用适合做规范映射(如 WeakHashMap 在 key 不再使用时自动清除条目,ThreadLocal 防止内存泄漏)。

Q2: ThreadLocal 使用弱引用的目的是什么?

A:ThreadLocalMap 的 Entry 的 key 使用弱引用指向 ThreadLocal 对象。当外部不再持有 ThreadLocal 的强引用时(如 tl = null),ThreadLocal 对象可以被 GC 回收,防止线程长期存活导致的 ThreadLocal 对象内存泄漏。但注意 value 是强引用,所以仍建议使用 remove() 主动清理。

Q3: 虚引用有什么实际用途?

A:主要用于追踪对象的清理操作。典型场景:(1) NIO 中 DirectByteBuffer 的堆外内存回收通知——Cleaner 通过虚引用在对象被回收后自动释放堆外内存;(2) 对象被回收前的资源释放——在 ReferenceQueue 中获取虚引用后执行自定义清理逻辑。

Q4: 一个对象可以同时有强引用和弱引用吗?GC 会回收吗?

A:可以同时有多种引用,GC 回收判定看最强的引用类型。如果一个对象既有强引用又有弱引用,GC 不会回收(因为有强引用存在)。只有当最强的引用也断开后,才根据剩余引用的类型决定回收时机。

Q5: ReferenceQueue 的作用是什么?

A:ReferenceQueue 用于接收被回收对象的引用。当软/弱/虚引用指向的对象被 GC 回收后,这些引用对象(SoftReference/WeakReference/PhantomReference 实例)会被放入队列。程序可以轮询或阻塞获取队列中的引用,执行清理操作(如释放关联资源、清除缓存条目等)。


相关文章


垃圾回收判断对象存活详解:引用计数法与可达性分析

垃圾回收判断对象存活详解:引用计数法与可达性分析

垃圾回收(GC)的第一步是判断哪些对象是”已死”的——即不再被任何活动对象引用。JVM 主要使用可达性分析算法来判断对象是否存活,同时放弃了有先天缺陷的引用计数法。

定义

对象存活判定是 GC 的前提。JVM 需要准确识别哪些对象可以被回收,哪些必须保留。误判”活对象”为”死对象”会导致程序崩溃,而误判”死对象”为”活对象”则会导致内存泄漏。


一、引用计数法(Reference Counting)

原理

每个对象维护一个引用计数器,当对象被引用时计数器 +1,引用失效时计数器 -1,当计数器为 0 时对象可回收。

flowchart LR
    subgraph 引用计数
        OA["对象 A"] -->|"被引用 +1"| OB["对象 B
计数=2"
] OA2["objA指向
+1"
] --> OB end

致命缺陷:循环引用

public class RefCountProblem {
    public static void main(String[] args) {
        Obj objA = new Obj();  // objA 引用计数 = 1
        Obj objB = new Obj();  // objB 引用计数 = 1

        objA.ref = objB;       // objB 计数 = 2
        objB.ref = objA;       // objA 计数 = 2

        objA = null;           // objA 计数 = 1(objB.ref 还指向它)
        objB = null;           // objB 计数 = 1(objA.ref 还指向它)

        // 循环引用:两个对象的计数都不为 0,不会被回收
        // 但实际上它们已经不可能被外部访问了!
    }

    static class Obj { Object ref; }
}
flowchart TD
    subgraph 循环引用
        A["objA = null
外部引用断开"
] --> OA["对象A
引用计数=1"
] OA -->|"objB.ref指向"| OB["对象B
引用计数=1"
] OB -->|"objA.ref指向"| OA end note["两个对象互相引用,但外部已无引用\nGC 无法回收 → 内存泄漏"]

优缺点

优点 缺点
实现简单 无法解决循环引用问题 → Java 未采用
回收及时(计数为 0 立即回收) 每次引用变更需更新计数器,性能开销大
不需要 GC Root 计数器增减需原子操作,并发成本高

二、可达性分析(Reachability Analysis)⭐

这是 Java 和 .NET 等现代语言采用的主流算法

原理

从一组称为 GC Roots 的根对象出发,通过引用链(Reference Chain)向下搜索。如果一个对象到 GC Roots 没有任何引用链相连(即不可达),则该对象可被回收。

flowchart TD
    subgraph GC Roots
        GCR1["虚拟机栈引用"]
        GCR2["静态变量引用"]
        GCR3["常量引用"]
        GCR4["JNI引用"]
    end

    GCR1 -->|"引用链"| OA["对象A → 存活"]
    OA --> OB["对象B → 存活"]
    OA --> OC["对象C → 存活"]

    OD["对象D → 不可达 ❌"] -.->|"互相引用
但不可达"
| OE["对象E → 不可达 ❌"] GCR2 --> OF["对象F → 存活"]

注意:不可达的对象 D 和 E 即使互相引用,但从 GC Roots 出发没有路径到达它们,所以两者都被标记为”可回收”——可达性分析天然解决了循环引用问题

GC Roots 包含哪些?

// 可以作为 GC Roots 的对象
public class GCRootsExamples {
    private static Object staticField = new Object(); // ② 静态变量引用

    public void method() {
        Object localVar = new Object();              // ① 栈帧中局部变量引用

        String constant = "hello";                   // ③ 常量池引用

        synchronized (this) {                        // ⑥ 同步锁持有对象
            // this 本身也是 GC Root
        }
    }

    public static void main(String[] args) {
        // 启动时,main 方法的参数、JVM 内部对象等都是 GC Roots
    }
}
GC Root 类型 说明
① 虚拟机栈引用 栈帧中局部变量表引用的对象
② 静态变量引用 方法区中静态属性引用的对象
③ 常量引用 方法区中常量引用的对象(如字符串常量池)
④ JNI 引用 本地方法栈中 Native 方法引用的对象
⑤ JVM 内部引用 基本数据类型对应的 Class 对象、常驻异常对象等
⑥ 同步锁持有 被 synchronized 持有的对象

三、对象的”自我救赎”——finalize()

当对象被可达性分析判断为不可达后,它并非”必死”——对象有一次自我救赎的机会

flowchart TD
    A["可达性分析
不可达"
] --> B["第一次标记"] B --> C{是否需要执行finalize?} C -->|"否"| D["回收对象 ❌"] C -->|"是"| E["放入F-Queue队列"] E --> F["Finalizer线程执行
对象的finalize()"
] F --> G["第二次标记"] G --> H{"在finalize中
重新与GC Roots建立连接?"
} H -->|"是"| I["对象复活 ✅
移出回收集合"
] H -->|"否"| D
public class FinalizeEscapeGC {
    public static FinalizeEscapeGC SAVE_HOOK = null;

    public void isAlive() {
        System.out.println("我还活着!");
    }

    @Override
    protected void finalize() throws Throwable {
        super.finalize();
        System.out.println("finalize() 执行!");
        SAVE_HOOK = this;  // 自救:重新与 GC Roots 建立连接
    }

    public static void main(String[] args) throws Exception {
        SAVE_HOOK = new FinalizeEscapeGC();

        // 第一次自救
        SAVE_HOOK = null;  // 不可达
        System.gc();       // 触发 finalize()
        Thread.sleep(500); // 等待 finalize() 执行
        System.out.println(SAVE_HOOK == null ? "已死亡" : "已自救");

        // 第二次自救(失败)
        SAVE_HOOK = null;  // 再次不可达
        System.gc();       // finalize() 只执行一次!
        Thread.sleep(500);
        System.out.println(SAVE_HOOK == null ? "已死亡" : "已自救");
    }
}

// 输出:
// finalize() 执行!
// 已自救     ← 第一次自救成功
// 已死亡     ← 第二次自救失败(finalize 只执行一次)

注意
finalize() 只执行一次(第二次不可达时不会再执行)
finalize() 运行代价高、不确定性大
JDK 9 已标记为 @Deprecated
强烈不推荐依赖 finalize(),推荐使用 try-with-resourcesCleaner


四、完整的垃圾回收判定流程

flowchart TD
    A["对象创建"] --> B["可达性分析
从GC Roots搜索"
] B --> C{是否可达?} C -->|"是"| D["存活对象,保留"] C -->|"否"| E{finalize可覆盖?<br/>对象未执行过finalize} E -->|"是"| F["放入F-Queue"] E -->|"否"| G["回收对象 ❌"] F --> H["Finalizer线程执行finalize"] H --> I{重新与GC Roots连接?} I -->|"是"| D I -->|"否"| G

五、引用计数法 vs 可达性分析

对比项 引用计数法 可达性分析
原理 计数引用次数 从 GC Roots 搜索引用链
循环引用 ❌ 无法解决 天然解决
性能 频繁计数,有额外开销 需要 STW 扫描
并发成本 计数器增减需原子操作 需要写屏障
使用场景 C++ Com/SmartPtr Java、.NET、Go

要点总结

要点 说明
Java 使用可达性分析 而非引用计数法
GC Roots 栈引用、静态变量、常量、JNI、锁等
循环引用被天然解决 不可达但互相引用的对象也能被回收
finalize 提供一次自救 JDK 9 已标记废弃,不推荐使用
引用计数法缺陷 循环引用 + 频繁计数开销

面试常见问题

Q1: Java 为什么不用引用计数法?

A:三个原因:(1) 循环引用无法解决——对象互相引用但外部无引用时,计数器不为 0,导致内存泄漏;(2) 性能开销大——每次引用赋值都需要更新计数器,多线程下还需要原子操作;(3) 频繁中断——引用操作在 Java 中极其频繁,计数更新的累积开销很大。

Q2: GC Roots 包括哪些?请举例。

A:六大类:(1) 虚拟机栈引用的对象(方法局部变量、参数);(2) 静态变量引用的对象(static 字段);(3) 常量引用的对象(如 String.intern() 返回值);(4) JNI 引用的对象(Native 方法);(5) JVM 内部引用(Class 对象、异常对象等);(6) 同步锁持有的对象(synchronized 关键字)。

Q3: 对象什么时候真正被 GC 回收?

A:经过两次标记:(1) 初次不可达时标记,检查是否覆盖了 finalize() 且未被调用过;(2) 如果需要执行 finalize(),对象进入 F-Queue,由 Finalizer 线程执行;(3) 如果在 finalize() 中成功”自救”(重新与 GC Roots 连接),移出回收集合;(4) 否则第二次标记后回收。但实际情况中,finalize() 已废弃,一般不可达对象直接回收。

Q4: 可达性分析过程中,为什么需要 STW(Stop The World)?

A:可达性分析必须在一个一致性的快照中进行——即分析过程中对象引用关系不能变化。如果一边分析一边修改引用,结果不准确。因此,所有 Java 执行线程必须在安全点(Safe Point)停顿,以保证分析的准确性。这也是 GC 暂停的根源。

相关文章


双亲委派模型原理与破坏机制详解

双亲委派模型原理与破坏机制详解

双亲委派模型(Parents Delegation Model)是 Java 类加载器的核心工作机制,也是保障 Java 核心类库安全的关键设计。理解它对于分析类加载冲突、热部署、SPI 机制等问题至关重要。

定义

双亲委派模型要求除了顶层的启动类加载器外,其余类加载器在加载一个类时,都应该先把这个加载请求委派给父类加载器去尝试加载,只有当父类加载器无法完成加载时,子加载器才会尝试自己加载。

flowchart TD
    subgraph 委派链
        CCL["自定义类加载器"] -->|"①委派"| AppCL["应用类加载器
App ClassLoader"
] AppCL -->|"②委派"| ExtCL["扩展类加载器
Ext ClassLoader"
] ExtCL -->|"③委派"| BCL["启动类加载器
Bootstrap ClassLoader"
] end subgraph 加载链 BCL2["启动类加载器"] -->|"④尝试加载"| R1["找到: 加载成功✅"] BCL2 -->|"⑤未找到"| ExtCL2["扩展类加载器"] ExtCL2 -->|"尝试加载"| R2["找到: 加载成功✅"] ExtCL2 -->|"未找到"| AppCL2["应用类加载器"] AppCL2 -->|"尝试加载"| R3["找到: 加载成功✅"] AppCL2 -->|"未找到"| CCL2["自定义类加载器"] CCL2 -->|"尝试加载"| R4["找到: 加载成功✅"] CCL2 -->|"未找到"| E["ClassNotFoundException❌"] end CCL -.-> CCL2 AppCL -.-> AppCL2 ExtCL -.-> ExtCL2 BCL -.-> BCL2

一、工作流程详解

加载过程

// ClassLoader.loadClass() — 双亲委派的核心实现
protected Class loadClass(String name, boolean resolve)
    throws ClassNotFoundException {

    synchronized (getClassLoadingLock(name)) {
        // 1. 检查该类是否已被加载过
        Class c = findLoadedClass(name);

        if (c == null) {
            try {
                // 2. 如果父加载器不为空,委派给父加载器
                if (parent != null) {
                    c = parent.loadClass(name, false);
                } else {
                    // 3. 如果父加载器为空(即当前是启动类加载器)
                    c = findBootstrapClassOrNull(name);
                }
            } catch (ClassNotFoundException e) {
                // 4. 父加载器抛出异常,说明父加载器无法加载
            }

            if (c == null) {
                // 5. 父加载器无法加载时,自己尝试加载
                c = findClass(name);
            }
        }

        if (resolve) resolveClass(c);
        return c;
    }
}

核心原则:自底向上委派,自顶向下加载。

为什么需要双亲委派?

核心目的:保证 Java 核心类库的安全

// 反例:如果没有双亲委派
// 用户可以自定义一个 java.lang.String 类放入 ClassPath
// 不同加载器可能加载不同的 String 版本
// → 核心 API 的 String 和用户自定义的 String 同时存在
// → 类型混乱、安全隐患

// 双亲委派的保障:
// java.lang.String 始终由启动类加载器加载(rt.jar 中)
// 用户自定义的同名 String 永远不会被加载
// → 核心 API 不可被篡改 ✅
好处 说明
安全性 核心 API(java.lang.* 等)不能被用户自定义类替换
唯一性 同一个类在 JVM 中只加载一次
有序性 类加载有明确的优先级结构
避免重复 父加载器已加载过,子加载器无需再加载

二、验证双亲委派

public class DelegationDemo {
    public static void main(String[] args) {
        // 查看各个类加载器
        ClassLoader appClassLoader = ClassLoader.getSystemClassLoader();
        System.out.println("应用类加载器: " + appClassLoader);

        ClassLoader extClassLoader = appClassLoader.getParent();
        System.out.println("扩展类加载器: " + extClassLoader);

        ClassLoader bootstrapClassLoader = extClassLoader.getParent();
        System.out.println("启动类加载器: " + bootstrapClassLoader); // null(C++实现)

        // String 由启动类加载器加载
        System.out.println("String 的加载器: " + String.class.getClassLoader()); // null

        // HashMap 由扩展类加载器加载(JDK 8)
        System.out.println("HashMap 的加载器: " + HashMap.class.getClassLoader()); 
        // JDK 9+ 可能是 PlatformClassLoader

        // 当前类由应用类加载器加载
        System.out.println("当前类加载器: " + DelegationDemo.class.getClassLoader());
    }
}

输出(JDK 8):

应用类加载器: sun.misc.Launcher$AppClassLoader@123a439b
扩展类加载器: sun.misc.Launcher$ExtClassLoader@7f31245a
启动类加载器: null
String 的加载器: null

三、双亲委派模型的破坏

破坏场景 1:JNDI / SPI 机制

问题:JNDI 等核心 API 由启动类加载器加载,但需要调用第三方实现(如 JDBC 驱动)。启动类加载器找不到第三方类。

解决:引入线程上下文类加载器(Thread Context ClassLoader)

// 线程上下文类加载器 — 破坏双亲委派的"后门"
// 通过它,父加载器可以请求子加载器加载类

// 典型场景:JDBC 驱动加载
public class JDBCDemo {
    public static void main(String[] args) throws Exception {
        // 1. DriverManager 由启动类加载器加载
        // 2. MySQL 驱动在 ClassPath 中,应用类加载器才能找到
        // 3. 通过线程上下文类加载器加载 MySQL 驱动

        // DriverManager 内部逻辑(简化):
        ClassLoader tccl = Thread.currentThread().getContextClassLoader();
        // 用 tccl 加载第三方驱动类
        Class.forName("com.mysql.cj.jdbc.Driver", true, tccl);

        // 获取连接(DriverManager 内部已经通过 SPI 机制注册了驱动)
        Connection conn = DriverManager.getConnection("jdbc:mysql://...");
    }
}
flowchart TD
    subgraph 正常双亲委派
        A["Boot
加载DriverManager"
] --> B["Bootstrap找不到JDBC驱动"] B --> C["Ext找不到"] C --> D["App找到了
但DriverManager是Boot加载的"
] D --> E["✗ 类加载器不一致"] end subgraph SPI破坏双亲委派 F["Boot
加载DriverManager"
] --> G["SPI机制
获取线程上下文类加载器"
] G --> H["上下文类加载器=AppClassLoader"] H --> I["用AppClassLoader加载JDBC驱动 ✅"] end

破坏场景 2:Tomcat 等 Web 容器

问题:需要部署多个 Web 应用,它们可能使用同名但不同版本的类(如不同版本的 Spring)。

解决:Tomcat 为每个 Web 应用创建独立的 WebAppClassLoader,优先加载自己应用内的类

flowchart TD
    subgraph Tomcat类加载器
        TC["Common ClassLoader
加载容器公共库"
] TC --> CAT["Catalina ClassLoader
加载Tomcat自身"
] TC --> SP["Shared ClassLoader
共享类库"
] SP --> WA1["WebApp1 ClassLoader
应用1的类"
] SP --> WA2["WebApp2 ClassLoader
应用2的类"
] end subgraph 加载顺序 WA1 -->|"①先尝试自己加载"| SELF["自己WebApp内的类 ✅"] WA1 -->|"②自己找不到"| PARENT["委派给父加载器"] end

为什么 Tomcat 要破坏双亲委派?

  1. 多个 Web App 需要加载同名不同版本的类(如 Spring 4 vs Spring 5 同时部署)
  2. Web 应用中类优先于容器类加载,实现沙箱隔离
  3. 支持 JSP 热替换(每次修改 JSP 生成新的类加载器)

破坏场景 3:热部署 / 热替换

// 热部署:不重启 JVM 就替换类的实现
// 原理:使用新的 ClassLoader 实例加载新版类
// 旧类加载器中的类仍然存在,新请求使用新加载的类

public class HotDeployDemo {
    public static void main(String[] args) throws Exception {
        // 第一次加载
        URLClassLoader loader1 = new URLClassLoader(
            new URL[]{new URL("file:///path/to/classes/")});
        Class clazz1 = loader1.loadClass("com.example.MyService");
        Object instance1 = clazz1.newInstance();
        instance1.getClass().getMethod("execute").invoke(instance1);

        // 热替换:创建新的类加载器加载新版本
        URLClassLoader loader2 = new URLClassLoader(
            new URL[]{new URL("file:///path/to/classes/")});
        Class clazz2 = loader2.loadClass("com.example.MyService");
        Object instance2 = clazz2.newInstance();
        instance2.getClass().getMethod("execute").invoke(instance2);
    }
}

四、如何自定义类加载器

不破坏双亲委派(推荐)

public class MyClassLoader extends ClassLoader {
    @Override
    protected Class findClass(String name) throws ClassNotFoundException {
        // 默认 loadClass() 会先委派父加载器
        // 父加载器找不到时,调用 findClass()
        byte[] classBytes = loadClassData(name);  // 从自定义路径加载
        return defineClass(name, classBytes, 0, classBytes.length);
    }

    private byte[] loadClassData(String name) {
        // 从文件、网络等位置加载字节码
        // 此处省略实现
        return null;
    }
}

打破双亲委派

public class BreakParentDelegationLoader extends ClassLoader {
    @Override
    public Class loadClass(String name, boolean resolve) 
            throws ClassNotFoundException {
        // 先自己尝试加载(不委派父加载器)
        synchronized (getClassLoadingLock(name)) {
            Class c = findLoadedClass(name);
            if (c == null) {
                try {
                    c = findClass(name); // 先自己加载
                } catch (ClassNotFoundException e) {
                    // 自己加载失败,再委派给父加载器
                    c = super.loadClass(name, resolve);
                }
            }
            if (resolve) resolveClass(c);
            return c;
        }
    }
}

重要:如果试图用这种方式加载 java. 开头的类,会收到 SecurityException: Prohibited package name: java.lang


要点总结

要点 说明
双亲委派流程 自底向上委派,自顶向下加载
核心目的 保证核心类库安全,不被篡改
唯一性保证 同一个类只被加载一次
SPI 破坏 通过线程上下文类加载器,让父加载器请求子加载器
Tomcat 破坏 优先加载应用内类,支持多版本共存
热部署 使用新 ClassLoader 实例加载新类

面试常见问题

Q1: 双亲委派模型的加载流程是怎样的?

A:类加载器收到请求 → 检查类是否已加载 → 未加载则委派给父加载器 → 父加载器同样向上委派 → 启动类加载器尝试加载 → 找到则加载成功 → 找不到则逐层向下 → 都失败则抛出 ClassNotFoundException。简单记忆:自底向上委派,自顶向下加载

Q2: 为什么启动类加载器在 Java 中获取为 null?

A:启动类加载器(Bootstrap ClassLoader)由 C++ 实现(HotSpot 虚拟机中),它不是 Java 类,所以 getClassLoader() 返回 null。这不是错误,而是正常现象。

Q3: 如何自定义类加载器并打破双亲委派?

A:继承 ClassLoader重写 loadClass() 方法(而不是 findClass())。在 loadClass() 中先自己尝试加载,加载失败再委派给父加载器。重写 findClass() 是不破坏双亲委派的正确做法。

Q4: Tomcat 为什么要破坏双亲委派?

A:(1) 多个 Web App 需要加载同名不同版本的类(如不同版本的 Spring 同时部署);(2) Web 应用中的类优先于容器类加载,实现沙箱隔离;(3) 支持 JSP 热替换。Tomcat 为每个 Web 应用创建独立的 WebAppClassLoader,优先加载自己应用内的类。

Q5: SPI(Service Provider Interface)如何破坏双亲委派?

A:核心 SP I类(如 DriverManager、ServiceLoader)由启动类加载器加载,但需要调用 ClassPath 上的第三方实现。此时通过线程上下文类加载器Thread.currentThread().getContextClassLoader())获取应用类加载器,然后用它加载第三方实现类。这是”父加载器请求子加载器”的典型场景。

相关文章


类加载机制详解:加载、验证、准备、解析、初始化五阶段

类加载机制详解:加载、验证、准备、解析、初始化五阶段

类加载机制指的是 JVM 将 Class 文件中的二进制数据读取到内存中,经过加载、验证、准备、解析、初始化五个阶段,最终形成可以被 JVM 直接使用的 Java 类型的过程。

定义

类加载是 Java 动态性的基础——类在运行时按需加载,而非编译时全部加载。这是 Java 与 C/C++ 等静态编译语言的重要区别。

flowchart LR
    A["*.class
字节码文件"
] --> B["加载 Loading"] B --> C["验证 Verification"] C --> D["准备 Preparation"] D --> E["解析 Resolution"] E --> F["初始化 Initialization"] F --> G["使用 Using"] G --> H["卸载 Unloading"] subgraph 连接Linking C --> D --> E end

一、加载(Loading)

目标:通过类的全限定名获取该类的二进制字节流,并转化为方法区的运行时数据结构。

flowchart TD
    A["类全限定名"] --> B["类加载器获取二进制字节流"]
    B --> C["来源: Class文件/JAR/网络/动态代理"]
    C --> D["将字节流转换为方法区的数据结构"]
    D --> E["在堆中生成Class对象
作为方法区数据的访问入口"
]

加载来源
– 本地文件系统:file:///(最常见)
– JAR 包:jar:(如 rt.jar)
– 网络:http://
– 动态代理:java.lang.reflect.Proxy
– JSP 生成的 Class 文件
– 数据库(较少见)


二、验证(Verification)

目的:确保 Class 文件的字节流符合 JVM 规范,不危害 JVM 自身安全。这是类加载中最耗时的一步。

四个验证阶段

验证阶段 检查内容 示例
文件格式验证 魔数 0xCAFEBABE、版本号、常量池类型等 确保字面量可识别
元数据验证 父类继承、final 类不被继承、抽象方法实现等 确保语义合法
字节码验证 数据流分析、控制流分析、类型安全 最复杂,确保字节码不危害 JVM
符号引用验证 符号引用是否能找到对应的类/方法/字段 解析时校验
// 可以通过参数关闭验证(生产环境不推荐)
// -Xverify:none 或 -noverify

三、准备(Preparation)

目标:为类变量(static)分配内存并设置零值

public class PreparationDemo {
    // 准备阶段:
    // value 分配内存,设置为 0(不是 123)
    public static int value = 123;

    // final static 变量在准备阶段直接赋值为指定值
    // 因为编译期已确定,不需要 clinit
    public static final String NAME = "Hello";
}
flowchart LR
    A["准备阶段"] --> B["为static变量分配内存"]
    B --> C{"是final static?"}
    C -->|| D["直接赋值为编译期的常量值"]
    C -->|| E["赋值为零值
0/false/null"
] D --> F["完成"] E --> F

四、解析(Resolution)

目标:将常量池中的符号引用替换为直接引用

引用类型 符号引用(示例) 直接引用
类/接口 java/lang/String 内存中的类对象指针
字段 name:Ljava/lang/String; 字段的内存偏移量
方法 toString()Ljava/lang/String; 方法入口地址

动态绑定:解析可以在初始化之后进行,以支持 Java 的动态绑定特性(大部分虚拟机采用懒解析,即使用时才解析)。

// 符号引用 vs 直接引用
public class Test {
    public void method() {
        // 编译后的常量池中有符号引用
        // "java/lang/String" → 字符串的符号引用
        // "length()I" → 方法长度()的符号引用
        String s = "hello";
        int len = s.length();

        // 解析后,符号引用变为直接的内存地址/偏移量
    }
}

五、初始化(Initialization)

目标:执行类构造器 () 方法

() 方法

由编译器自动收集类中所有类变量赋值语句静态代码块合并生成:

public class InitOrderDemo {
    // 按代码编写顺序生成 clinit 方法
    public static int a = 10;          // ① a=10
    static {
        System.out.println("静态块");  // ② 输出
    }
    public static int b = a + 5;       // ③ b=15

    // 编译后的 clinit 等价于:
    // static int a = 10;
    // System.out.println("静态块");
    // static int b = a + 5;
}

线程安全:JVM 会保证 () 被正确的加锁同步,多个线程同时初始化同一个类时,只有一个线程执行,其他线程等待。

flowchart TD
    A["多个线程同时触发类初始化"] --> B{"锁是否已被某线程持有?"}
    B -->|| C["线程A获得锁,执行clinit"]
    B -->|| D["其他线程阻塞等待"]
    C --> E["clinit执行完毕
唤醒等待线程"
] D --> E E --> F["其他线程发现已初始化
直接返回"
]

六种主动引用(触发初始化)

public class TriggerInitDemo {
    public static void main(String[] args) throws Exception {
        // 1. new 创建对象
        MyClass obj = new MyClass();

        // 2. 反射
        Class.forName("MyClass");

        // 3. 访问静态字段(非 final)
        int val = MyClass.VALUE;

        // 4. 调用静态方法
        MyClass.staticMethod();

        // 5. 初始化子类时父类未初始化
        // 6. JVM 启动时含 main 方法的类
    }
}

被动引用(不触发初始化)

public class PassiveRefDemo {
    public static void main(String[] args) {
        // 1. 通过子类引用父类静态字段
        System.out.println(Sub.value); // 只初始化 Parent,不初始化 Sub

        // 2. 数组引用
        Parent[] arr = new Parent[10]; // 不触发任何初始化

        // 3. 引用编译期常量
        System.out.println(Const.HELLO); // 常量在调用类中已编译,不触发
    }
}

六、完整代码示例

class Parent {
    static { System.out.println("Parent 初始化"); }
    public static int value = 100;
}

class Child extends Parent {
    static { System.out.println("Child 初始化"); }
    public static int childValue = 200;
}

class Const {
    public static final String HELLO = "Hello World";
}

public class ClassLoadCompleteDemo {
    public static void main(String[] args) throws Exception {
        System.out.println("=== 1. 子类引用父类静态字段 ===");
        System.out.println(Child.value);
        // 输出: Parent 初始化 \n 100(Child未初始化)

        System.out.println("=== 2. 反射触发子类初始化 ===");
        Class.forName("Child");
        // 输出: Child 初始化

        System.out.println("=== 3. 数组不触发 ===");
        Parent[] parents = new Parent[10];
        // 无输出

        System.out.println("=== 4. 常量不触发 ===");
        System.out.println(Const.HELLO);
        // 无输出(HELLO 已在编译期存入常量池)
    }
}

要点总结

阶段 作用 关键点
加载 获取二进制字节流,生成 Class 对象 类加载器参与,可自定义
验证 确保字节流安全合规 四个子阶段,最耗时
准备 为 static 变量分配内存并赋零值 final static 直接赋值
解析 符号引用 → 直接引用 支持动态绑定(可延迟)
初始化 执行 () 方法 线程安全加锁

面试常见问题

Q1: 类的生命周期是怎样的?

A:加载 → 验证 → 准备 → 解析 → 初始化 → 使用 → 卸载。其中验证、准备、解析合称为连接(Linking)阶段。卸载阶段发生在类不再被使用且其 ClassLoader 可回收时。

Q2: ()() 有什么区别?

A:()类构造器,JVM 自动收集静态变量赋值和静态代码块生成,在类初始化阶段执行,只执行一次()实例构造器(构造方法),在创建对象时执行,每次 new 对象都会执行。简单说:前者”一辈子一次”,后者”每次 new 一次”。

Q3: 类初始化阶段的线程安全性如何保证?

A:JVM 通过加锁机制保证 () 方法在同一时刻只能被一个线程执行。当多个线程同时初始化同一个类时,只有一个线程执行 (),其他线程阻塞等待。执行完成后,所有线程唤醒。这就是为什么某些场景下的”懒加载单例”会出现死锁。

Q4: 什么情况下类不会被初始化?

A:三种被动引用情况:(1) 通过子类引用父类的静态字段——只初始化父类;(2) 通过数组引用类——不触发初始化;(3) 引用编译期常量——常量已存入调用类的常量池,不加载目标类。

Q5: 解析阶段可以延迟到什么时候?

A:解析阶段可以在初始化之后进行,这就是 Java 的动态绑定支持。大部分 JVM 实现采用懒解析——在符号引用第一次被使用时才解析为直接引用,这样可以减少类加载时的开销。

相关文章


对象创建流程详解:类加载检查到内存分配再到初始化

对象创建流程详解:类加载检查到内存分配再到初始化

在 Java 中,创建一个对象(new Object())远不止”在堆上分配一块内存”那么简单。JVM 内部有一套完整的流程,涉及类加载检查、内存分配、零值初始化、对象头设置、执行 方法等多个步骤。

定义

当 JVM 遇到一个 new 指令时,会执行五个核心步骤。理解这个流程对于分析 JVM 内存布局、GC 行为和并发安全至关重要。

flowchart TD
    A["遇到 new 指令"] --> B["Step1: 类加载检查"]
    B --> C["Step2: 分配内存"]
    C --> D["Step3: 内存空间初始化零值"]
    D --> E["Step4: 设置对象头"]
    E --> F["Step5: 执行init方法"]
    F --> G["返回对象引用"]

Step 1: 类加载检查

当 JVM 遇到 new 指令时:

  1. 常量池中定位到该类的符号引用
  2. 检查该类是否已被加载、解析、初始化
  3. 如果没有,则执行类加载过程(加载 → 验证 → 准备 → 解析 → 初始化)
  4. 如果加载过程中发现类不存在,抛 NoClassDefFoundError
// new 关键字背后的第一步
public static void main(String[] args) {
    // 1. JVM 在常量池找到 User 的符号引用
    // 2. 检查 User 是否已加载
    // 3. 如果未加载:触类类加载器加载 User.class
    // 4. 如果 User 的父类也未加载:先加载父类
    User user = new User("张三");
}

Step 2: 分配内存

类加载通过后,JVM 在堆中为对象分配内存。分配方式取决于堆是否规整:

指针碰撞 vs 空闲列表

flowchart TD
    A["分配内存"] --> B{GC算法是标记-整理/复制?}
    B -->|| C["堆内存规整 → 指针碰撞"]
    B -->|| D["堆内存不规整 → 空闲列表"]
    C --> E["Serial, ParNew, Parallel Scavenge"]
    D --> F["CMS(标记-清除)"]
分配方式 适用 GC 算法 原理
指针碰撞(Bump the Pointer) 标记-整理、复制(Serial, ParNew, Parallel) 已用/空闲内存分界指针向空闲侧移动对象大小
空闲列表(Free List) 标记-清除(CMS) 维护空闲内存块列表,从中找一块足够大的空间分配

并发安全处理

多线程同时分配对象时,需要保证线程安全:

方案 原理
CAS + 失败重试 对分配指针的更新操作使用 CAS 原子指令
TLAB(Thread Local Allocation Buffer) 每个线程在 Eden 区预分配一块缓冲,线程内分配无需同步
-XX:+UseTLAB       # 启用 TLAB(默认开启)
-XX:TLABSize=256k  # TLAB 大小
-XX:TLABRefillWasteFraction=64  # TLAB 最大浪费比例

Step 3: 内存空间初始化零值

将分配到的内存空间(不含对象头)全部初始化为零值

// 这个步骤保证了即使不显式初始化,字段也有默认值
public class DefaultValue {
    private int age;        // 默认 0
    private boolean flag;   // 默认 false
    private String name;    // 默认 null
    private double salary;  // 默认 0.0

    public void print() {
        // 如果没有 Step 3,这里读取到的可能是垃圾数据
        System.out.println(age);   // 0
        System.out.println(flag);  // false
        System.out.println(name);  // null
    }
}

关键作用:保证了对象的实例字段在程序员赋初始值之前已经有一个确定的默认值,不会读取到随机的内存残留数据。


Step 4: 设置对象头(Object Header)

JVM 在对象头中存储关键元信息:

flowchart LR
    subgraph 对象内存布局
        H["Object Header
对象头"
] --> M["Mark Word
(哈希码/GC年龄/锁信息)"
] H --> K["Klass Pointer
指向类元数据的指针"
] H --> L["数组长度(仅数组有)"] I["Instance Data
实例数据"
] P["Padding
对齐填充"
] end

Mark Word 内容(以 32 位为例)

对象状态 存储内容 标志位
无锁 对象哈希码 + GC 分代年龄 01
偏向锁 线程 ID + Epoch + GC 分代年龄 01
轻量级锁 指向锁记录的指针 00
重量级锁 指向监视器(Monitor)的指针 10

示例:查看对象头(借助 JOL)



    org.openjdk.jol
    jol-core
    0.17

import org.openjdk.jol.info.ClassLayout;

public class ObjectHeaderDemo {
    public static void main(String[] args) {
        Object obj = new Object();
        System.out.println(ClassLayout.parseInstance(obj).toPrintable());

        synchronized (obj) {
            System.out.println("=== 加锁后 ===");
            System.out.println(ClassLayout.parseInstance(obj).toPrintable());
        }
    }
}

Step 5: 执行 方法

这是程序员视角的对象真正初始化的时刻。JVM 执行:
1. 父类的 () 方法(先递归初始化父类)
2. 子类的实例变量赋值(按代码顺序)
3. 子类的实例代码块(按代码顺序)
4. 子类的构造方法体

public class InitOrderDemo {
    private int id = getId();      // ③ 实例变量赋值

    {                              // ④ 实例代码块
        System.out.println("实例代码块");
        this.name = "默认名";
    }
    private String name = "张三";  // ⑤ 实例变量赋值(覆盖了代码块的值)

    public InitOrderDemo(int id) { // ⑥ 构造方法体
        System.out.println("构造方法");
        this.id = id;
    }

    private int getId() {
        System.out.println("getId() 调用");
        return 100;
    }

    public static void main(String[] args) {
        InitOrderDemo obj = new InitOrderDemo(1);
        System.out.println("id=" + obj.id + ", name=" + obj.name);
    }
}

// 输出:
// getId() 调用      ← 实例变量赋值
// 实例代码块         ← 实例代码块执行
// 构造方法           ← 构造方法执行
// id=1, name=张三

完整的初始化顺序

flowchart TD
    A["执行init"] --> B["调用父类的init 
递归到Object"
] B --> C["父类实例变量赋值 + 实例代码块"] C --> D["父类构造方法体"] D --> E["当前类实例变量赋值
按代码顺序"
] E --> F["当前类实例代码块
按代码顺序"
] F --> G["当前类构造方法体"] G --> H["初始化完成"]

六、完整代码示例

class Parent {
    private String parentField = initParentField();

    {
        System.out.println("Parent 实例代码块");
    }

    public Parent() {
        System.out.println("Parent 构造方法");
    }

    private String initParentField() {
        System.out.println("Parent 实例变量赋值");
        return "parent";
    }
}

class Child extends Parent {
    private String childField = initChildField();

    {
        System.out.println("Child 实例代码块");
    }

    public Child(String name) {
        System.out.println("Child 构造方法: " + name);
        this.childField = name;
    }

    private String initChildField() {
        System.out.println("Child 实例变量赋值");
        return "child";
    }

    public static void main(String[] args) {
        System.out.println("=== 创建 Child 对象 ===");
        Child c = new Child("测试");
    }
}

// 输出:
// === 创建 Child 对象 ===
// Parent 实例变量赋值
// Parent 实例代码块
// Parent 构造方法
// Child 实例变量赋值
// Child 实例代码块
// Child 构造方法: 测试

对象内存布局总结

+-------------------+-------------------+-------------------+
|  Object Header    |   Instance Data   |      Padding      |
|  (Mark Word +     |   (实际字段值)     |   (对齐到8字节)    |
|   Klass Pointer)  |                   |                   |
+-------------------+-------------------+-------------------+

32位系统: Header = 8字节 (4+4)
64位系统: Header = 12-16字节 (8+4/8),开启指针压缩时 Klass Pointer 为4字节

Padding:对齐到 8 字节的整数倍

要点总结

步骤 内容 备注
1. 类加载检查 检查符号引用,确定类已加载 未加载则触发类加载
2. 分配内存 指针碰撞 / 空闲列表 TLAB + CAS 保证并发安全
3. 零值初始化 字段设为默认值(0/false/null) 保证不初始化也能使用
4. 设置对象头 Mark Word + Klass Pointer 存储 GC/锁/类信息
5. 执行 父类→实例变量→代码块→构造方法 程序员自定义初始化

面试常见问题

Q1: 对象分配内存时如何保证线程安全?

A:两种机制:(1) TLAB:每个线程在 Eden 区预分配一块缓冲,优先在 TLAB 内分配,线程内分配无需同步;(2) CAS + 失败重试:对分配指针进行原子操作(CAS),如果并发冲突则重试。两种机制配合使用,TLAB 处理大多数分配,CAS 作为后备。

Q2: 什么是指针碰撞?什么是空闲列表?

A:指针碰撞:当堆内存规整(已用内存在一侧,空闲内存在另一侧)时,只需将边界指针向空闲侧移动对象大小即可。空闲列表:当堆空间不规整(被 GC 碎片化)时,维护一个空闲内存块列表,从中找一块足够大的空间分配。

Q3: 对象头中 Mark Word 存储哪些信息?

A:Mark Word 在 32 位系统中占 32 bit,64 位中占 64 bit,存储内容随对象状态变化:无锁时存哈希码和 GC 分代年龄;偏向锁时存线程 ID 和时间戳;轻量级锁时存锁记录指针;重量级锁时存监视器指针

Q4: 对象创建时父类和子类的初始化顺序是怎样的?

A:先父类后子类。具体顺序:父类 (父类实例变量赋值 → 父类实例代码块 → 父类构造方法体)→ 子类实例变量赋值 → 子类实例代码块 → 子类构造方法体。注意:实例变量赋值和实例代码块按代码编写顺序执行。

Q5: 什么是 TLAB?有什么作用?

A:TLAB(Thread Local Allocation Buffer)是线程本地分配缓冲区。每个线程在 Eden 区预分配一块小空间,线程内分配对象直接在 TLAB 中分配,不需要任何同步操作。只有 TLAB 空间不足时才需要同步分配。默认开启,可通过 -XX:TLABSize 调整。


相关文章


方法区存储内容详解:类型信息、常量池、静态变量与方法元数据

方法区存储内容详解:类型信息、常量池、静态变量与方法元数据

方法区(Method Area)是 JVM 内存模型中线程共享的区域,用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等数据。从 JDK 8 开始,方法区由元空间(Metaspace)实现。

定义

方法区是 JVM 规范定义的逻辑内存区域,用于存储类的元数据结构和运行时常量池。它不像堆那样存储对象实例,而是存储描述类”长什么样”的元信息

flowchart TD
    subgraph 方法区-Metaspace
        T["类型信息
类名/父类/接口/修饰符"
] R["运行时常量池
字面量/符号引用"
] M["方法信息
字节码/异常表"
] F["字段信息
字段名/类型/修饰符"
] J["JIT编译缓存
热点代码本地码"
] end subgraph JDK8+ S["静态变量 ← 已移至堆中存储\nClass对象也移至堆中"] end

一、方法区存储的主要内容

1. 类型信息(类信息)

每个加载的类(包括接口、枚举、注解),JVM 在方法区中存储:

  • 类的全限定名(如 java.lang.String
  • 直接父类的全限定名
  • 类修饰符(public, abstract, final 等)
  • 实现的接口列表(有序)
  • 类的类型(Class、Interface、Enum、Annotation)

2. 运行时常量池(Runtime Constant Pool)

这是 Class 文件中常量池(Constant Pool)在运行时的表示,包含:

常量类型 说明 示例
字面量 文本字符串、final 常量值 "hello", 123, 3.14f
符号引用 类/接口的全限定名 java/lang/String
符号引用 字段的名称和描述符 name:Ljava/lang/String;
符号引用 方法的名称和描述符 toString()Ljava/lang/String;

动态性:运行时常量池在运行期间可以动态添加常量,如 String.intern() 方法:

String s1 = "hello";
String s2 = new String("hello");
String s3 = s2.intern();  // JDK 7+: 将堆中字符串引用存入常量池

System.out.println(s1 == s3); // true(常量池引用)
System.out.println(s1 == s2); // false(堆对象)

3. 字段信息

  • 字段的名称、类型(字段描述符)
  • 字段的修饰符(private, static, volatile 等)

4. 方法信息

信息类别 说明
方法名称 toString, add
返回类型 Ljava/lang/String;, V
参数列表 (II)V(两个 int 参数,返回 void)
修饰符 public, static, synchronized 等
字节码(Bytecode) 方法的核心指令序列
操作数栈大小和局部变量表大小 编译时确定
异常表 每个 try-catch 的起始、结束、处理位置

5. 静态变量(类变量)

// 被 static 修饰的变量
public class MyClass {
    public static int count = 0;       // 静态变量
    public static final String NAME = "MyClass"; // 常量
}
  • JDK 7 及之前:存储在方法区(永久代)
  • JDK 8 及之后:静态变量与 Class 对象一起存储在堆中

6. JIT 编译后的代码缓存

即时编译器(JIT Compiler)将执行频率高的热点代码编译为本地机器码,然后缓存在方法区中。当热点方法再次被调用时,直接执行本地机器码而不需要再解释执行。


二、方法区实现演进

版本 实现方式 内存位置 特点
JDK 6 永久代(PermGen) JVM 堆内 固定大小,容易 OOM
JDK 7 永久代 JVM 堆内 字符串常量池移入堆
JDK 8+ 元空间(Metaspace) 本地内存 默认无上限,自动扩展
timeline
    title 方法区演进
    JDK6 : 永久代PermGen : 堆内固定大小
    JDK7 : 永久代 : 字符串常量池移到堆
    JDK8 : 元空间Metaspace : 本地内存无上限

为什么用元空间替代永久代?

  1. 永久代大小难以确定:动态生成类的场景(CGLIB、JSP、动态代理)容易导致 OutOfMemoryError: PermGen space
  2. 元空间使用本地内存:仅受物理内存限制,不用同时调优堆和永久代
  3. 避免调优复杂性:不需要设置 PermSize 和 MaxPermSize 两个参数
  4. 更容易 GC:元空间的类元数据回收条件更清晰
# 永久代参数(JDK 7-)
-XX:PermSize=128m
-XX:MaxPermSize=256m

# 元空间参数(JDK 8+)
-XX:MetaspaceSize=256m
-XX:MaxMetaspaceSize=512m

三、方法区 OOM 示例

// 动态生成类导致元空间 OOM(使用 CGLIB)
import net.sf.cglib.proxy.*;

public class MetaspaceOOMDemo {
    public static void main(String[] args) {
        while (true) {
            Enhancer enhancer = new Enhancer();
            enhancer.setSuperclass(OOMObject.class);
            enhancer.setUseCache(false);
            enhancer.setCallback(
                (MethodInterceptor) (obj, method, args1, proxy) ->
                    proxy.invokeSuper(obj, args1));
            enhancer.create(); // 每次创建生成一个新类
        }
    }
    static class OOMObject {}
}

运行参数:-XX:MaxMetaspaceSize=64m,运行后会报:

java.lang.OutOfMemoryError: Metaspace

四、方法区与堆的关系

flowchart LR
    subgraph JDK8内存布局
        subgraph 
            H1["对象实例"]
            H2["数组"]
            H3["Class对象"]
            H4["静态变量"]
            H5["字符串常量池"]
        end

        subgraph 元空间
            M1["类元数据"]
            M2["运行时常量池"]
            M3["JIT代码缓存"]
            M4["方法字节码"]
        end
    end

    H3 -.->|"指向"| M1

五、方法区相关参数

# 元空间参数
-XX:MetaspaceSize=256m        # 触发 GC 的初始阈值
-XX:MaxMetaspaceSize=512m     # 最大大小(默认无上限)
-XX:MinMetaspaceFreeRatio=40  # GC 后最小空闲比例
-XX:MaxMetaspaceFreeRatio=70  # GC 后最大空闲比例

# 查看元空间使用
jstat -gc                 # MC 列显示元空间容量
jstat -gcmetacapacity    # 元空间容量详情

要点总结

要点 说明
方法区 ≠ 存放方法代码 存储类的元数据(描述类的结构信息)
运行时常量池 Class 文件常量池的运行时版本,支持动态扩展
JDK 8 元空间替代永久代 使用本地内存,从根本上解决 OOM 问题
静态变量 JDK 8+ 在堆中 而非元空间
JIT 代码缓存也在方法区 热点代码的本地机器码
方法区线程共享 需要保证类加载的线程安全

面试常见问题

Q1: 方法区和永久代/元空间是什么关系?

A:方法区是 JVM 规范定义的逻辑内存区域——它是抽象的接口。永久代(JDK 7-)和元空间(JDK 8+)是它的具体实现。就好比接口和实现类的关系。JDK 7 及之前用永久代实现(在 JVM 堆内),JDK 8+ 用元空间实现(在本地内存中)。

Q2: 什么信息存储在方法区中?

A:五大类:(1) 类型信息(类名、父类、接口、修饰符等);(2) 运行时常量池(字面量 + 符号引用);(3) 字段信息(字段名、类型、修饰符);(4) 方法信息(字节码、异常表、操作数栈大小);(5) JIT 编译代码缓存。注意:JDK 8+ 中文常量池在堆中,静态变量也在堆中。

Q3: String.intern() 在 JDK 7+ 中做了什么?

A:如果常量池中已有该字符串,直接返回常量池引用。如果没有,JDK 7+ 将堆中字符串对象的引用存入常量池(而不是复制对象到永久代),然后返回该引用。这样既节省了内存,又保留了堆对象的引用。

Q4: 什么情况下方法区会 OOM?

A:(1) 大量动态生成类(CGLIB 代理、JSP、OSGi);(2) 大量使用 String.intern() 且元空间设置过小;(3) JIT 编译了大量热点代码。使用元空间后,通常只有内存泄漏才会导致方法区 OOM(动态生成类不回收)。

相关文章


栈内存作用详解:局部变量、栈帧与方法调用

栈内存作用详解:局部变量、栈帧与方法调用

Java 虚拟机栈(Java Virtual Machine Stack)是 JVM 内存模型中线程私有的区域,每个线程创建时都会分配一个独立的栈空间。栈是描述 Java 方法执行的内存模型,理解栈对于分析递归深度、方法调优、线程安全等问题至关重要。

定义

Java 虚拟机栈存储方法调用的执行状态——每个方法被调用时,JVM 会创建一个栈帧(Stack Frame)入栈,方法执行完毕后出栈。栈帧的分配与回收完全是自动的,不需要 GC 参与。

flowchart TD
    subgraph JVM栈
        direction BT
        F3["main() 栈帧"] --> F2["methodA() 栈帧"]
        F2 --> F1["methodB() 栈帧(当前执行)"]
    end

    subgraph 栈帧结构
        L["局部变量表
参数 + 局部变量"
] O["操作数栈
中间计算结果"
] D["动态链接
到常量池的引用"
] R["方法返回地址"] end F1 --> L F1 --> O F1 --> D F1 --> R

一、栈的核心作用

1. 存储局部变量表

存放方法参数和方法内部定义的局部变量。

public void example(int a, String b) {
    int c = 10;           // 基本类型 → 直接存值
    String d = "hello";   // 引用类型 → 存堆中的地址
    User user = new User(); // user引用在栈,User对象在堆
    // 局部变量表: a(参数) → b(参数) → c → d → user
}
数据类型 存储方式 Slot 占用
boolean, byte, char, short, int, float 直接存值 1 个 Slot(32位)
long, double 直接存值 2 个 Slot(64位)
对象引用(reference) 存堆地址指针 1 个 Slot(32/64位)

2. 管理操作数栈

字节码指令执行的”工作台”,所有运算都在操作数栈上完成。

public int add() {
    int a = 10;
    int b = 20;
    return a + b;
}

// 对应的字节码指令(在操作数栈上的执行过程):
// 1. bipush 10    → 栈: [10]
// 2. istore_1     → 栈: [](a=10存入局部变量表)
// 3. bipush 20    → 栈: [20]
// 4. istore_2     → 栈: [](b=20存入局部变量表)
// 5. iload_1      → 栈: [10]
// 6. iload_2      → 栈: [10, 20]
// 7. iadd         → 栈: [30](10+20的计算结果)
// 8. ireturn      → 返回 30

3. 支持方法调用与返回

sequenceDiagram
    participant Main as main()
    participant A as methodA()
    participant B as methodB()

    Main->>A: 调用methodA<br/>创建栈帧A入栈
    A->>B: 调用methodB<br/>创建栈帧B入栈
    Note over B: 执行B的代码
    B-->>A: methodB返回<br/>栈帧B出栈
    Note over A: 继续执行A的剩余代码
    A-->>Main: methodA返回<br/>栈帧A出栈

二、栈大小配置

# 设置线程栈大小
-Xss256k    # 小栈:支持更多线程
-Xss2m      # 大栈:适合深度递归
平台 默认栈大小
Linux/x64 1MB
macOS/x64 1MB
Windows 512KB(取决于 JDK 版本)

选择策略
小栈(256KB):需要创建大量线程的服务(如 Web 服务器,每连接一线程)
大栈(2MB):有深度递归调用的应用(如解析器、树遍历)


三、栈溢出场景分析

1. 递归过深

public class StackOverflowDemo {
    private static int depth = 0;

    public static void recursion() {
        depth++;
        recursion();  // 每次调用创建一个栈帧
    }

    public static void main(String[] args) {
        try {
            recursion();
        } catch (StackOverflowError e) {
            System.out.println("栈溢出!深度: " + depth);
            // 默认 1MB 栈,深度约 10000-20000 次
        }
    }
}

2. 栈帧过大

局部变量过多、操作数栈过深也会导致栈溢出:

public void largeStackFrame() {
    // 一个方法中定义大量局部变量
    int a1, a2, a3, ..., a10000;
    // 局部变量表需要大量 Slot → 栈帧过大
    // 相同栈深度下可调用的方法数量减少
}

四、栈与堆的协作

对比项 栈(Stack) 堆(Heap)
存储内容 局部变量、引用、栈帧 对象实例、数组
生命周期 随线程生灭 随对象不再被引用后 GC 回收
访问速度 (直接入栈出栈) 相对慢(需要 GC 管理)
是否共享 线程私有 线程共享
内存管理 自动分配释放 GC 管理
异常 StackOverflowError OutOfMemoryError
public class StackHeapCooperation {
    public static void main(String[] args) {
        // s1 引用在栈,String 对象"hello"在常量池或堆
        String s1 = "hello";

        // user 引用在栈,User 对象在堆
        User user = new User();

        // arr 引用在栈,int[] 数组在堆
        int[] arr = new int[10];

        // 方法参数和返回值通过栈传递
        int result = add(10, 20);
    }

    public static int add(int a, int b) {
        // a 和 b 在当前栈帧的局部变量表中
        return a + b;  // 操作数栈参与运算
    }
}

五、逃逸分析与栈上分配

JVM 的逃逸分析优化:对于未逃逸的对象(方法私有、不返回、不被外部引用),JVM 可以直接在栈上分配内存(即对象在栈帧中),方法结束后自动销毁,无需 GC。

public class EscapeAnalysis {
    // ✅ 对象未逃逸 — 可在栈上分配
    public int sum(int x, int y) {
        Point p = new Point(x, y);  // p 不返回、不存到集合中
        return p.x + p.y;           // 方法结束后 p 自动销毁
    }

    // ❌ 对象逃逸 — 必须在堆上分配
    public Point create(int x, int y) {
        return new Point(x, y);     // 返回给调用方,逃逸了
    }

    static class Point {
        int x, y;
        Point(int x, int y) { this.x = x; this.y = y; }
    }
}
# 逃逸分析参数
-XX:+DoEscapeAnalysis     # 开启逃逸分析(JDK 6u23+ 默认开启)
-XX:-DoEscapeAnalysis     # 关闭逃逸分析
-XX:+PrintEscapeAnalysis  # 打印逃逸分析结果

六、Slot 复用优化

局部变量表中的 Slot 可以复用。当变量的作用域结束后,其占用的 Slot 可以被后续变量使用:

public void slotReuse() {
    {
        int a = 10;  // Slot 0(作用域在花括号内)
    }
    // a 的作用域结束,Slot 0 空闲

    int b = 20;      // 复用 Slot 0(而不是使用 Slot 1)
    // 节省了栈帧空间
}

要点总结

要点 说明
栈内存是线程私有的 每个线程有独立的栈
每个方法调用创建一个栈帧 栈帧包含:局部变量表、操作数栈、动态链接、返回地址
StackOverflowError 递归过深或方法调用层次过多导致
栈空间可通过 -Xss 调节 小栈支持更多线程,大栈适合深度递归
栈上分配 逃逸分析优化,方法私有对象在栈上分配,减少 GC

面试常见问题

Q1: 栈内存和堆内存的区别是什么?

A:栈是线程私有的,存储局部变量和栈帧,自动分配释放,速度更快;堆是线程共享的,存储对象实例,由 GC 管理。栈溢出抛出 StackOverflowError,堆溢出抛出 OutOfMemoryError

Q2: 什么情况下会触发 StackOverflowError?

A:(1) 方法递归调用层数过深(如无限递归);(2) 方法调用层次太多(如长链调用);(3) 线程栈设置过小(-Xss 配置太小);(4) 栈帧过大(方法内有大量局部变量)。每个方法调用都会在栈中创建栈帧,超过栈容量限制时抛出。

Q3: 方法中的局部变量存在哪里?

A:存在当前方法对应的栈帧的局部变量表中。基本类型直接存值;引用类型存堆中对象的地址指针。局部变量表所需大小在编译期就确定了,方法运行期间不会改变。

Q4: 什么是操作数栈?有什么作用?

A:操作数栈是栈帧中的一个后进先出(LIFO)栈,存放方法执行过程中的中间计算结果。所有的字节码运算(加减乘除、比较、调用)都在操作数栈上进行。比如 a + b 会先将 a 和 b 压入操作数栈,然后执行加法指令,计算结果保存在栈中。

Q5: -Xss 设置太小或太大有什么影响?

A:太小:容易发生 StackOverflowError,特别是递归场景。太大:每个线程占用更多内存,可创建的线程数减少。例如,堆 2GB、栈 2MB 时,大约只能创建 1000 个线程;如果栈降到 256KB,可创建约 8000 个线程。

相关文章


堆内存分区详解:新生代、老年代、元空间的分代回收设计

堆内存分区详解:新生代、老年代、元空间的分代回收设计

Java 堆(Heap)是 JVM 管理的最大一块内存区域,也是垃圾收集器(GC)的主战场。为了高效回收,JVM 对堆进行了分代设计——核心思想是”大部分对象朝生夕死”,对不同生命周期区域采用不同回收策略。

定义

堆是 JVM 中所有线程共享的内存区域,用于存储对象实例数组。堆在物理上可以不连续,但在逻辑上被划分为多个代(Generation)。

flowchart TD
    subgraph JVM        subgraph 新生代 Young Generation [约占堆1/3]
            E["Eden区
(伊甸园)"
] S0["Survivor 0
(存活区)"
] S1["Survivor 1
(存活区)"
] end subgraph 老年代 Old Generation [约占堆2/3] O["Tenured/Old
长期存活对象"
] end end subgraph 元空间 Metaspace [JDK8+, 本地内存] M["类的元数据
运行时常量池"
] end

一、新生代(Young Generation)

特点

  • 作用:存放生命周期短的对象(方法内创建的临时对象等)
  • 占比:通常占堆的 1/3(可通过 -Xmn 调节)
  • GC 频率:高(Minor GC 频繁发生)

三个分区

分区 占比(默认) 作用
Eden 区 80% of 新生代 对象创建时首先分配在此
Survivor 0 10% of 新生代 存放 Minor GC 后存活的对象
Survivor 1 10% of 新生代 与 Survivor 0 交替使用

默认比例 Eden:S0:S1 = 8:1:1,通过 -XX:SurvivorRatio 调节。

Minor GC 流程

flowchart TD
    A["新对象分配在Eden区"] --> B{"Eden区满?"}
    B -->|| C[继续分配]
    B -->|| D["触发Minor GC STW"]
    D --> E["标记Eden+S0存活对象"]
    E --> F["存活对象复制到S1"]
    F --> G["清理Eden和S0"]
    G --> H["Eden和S1存活对象年龄+1"]
    H --> I{年龄  MaxTenuringThreshold?}
    I -->|默认15| J["晋升到老年代"]
    I -->|| K["继续在Survivor区存活"]
    J --> L["下次Minor GC: S0和S1角色互换"]
    K --> L
// 简化版的 Minor GC 过程
// 每次 Minor GC:
// 1. 把 Eden 区存活的对象复制到空的 Survivor 区
// 2. 把另一个 Survivor 区中存活的对象也复制过来
// 3. 清理 Eden 区和旧的 Survivor 区
// 4. 年龄超过阈值 → 晋升到老年代

二、老年代(Old Generation)

特点

  • 作用:存放生命周期长的对象
  • 占比:通常占堆的 2/3
  • GC:触发 Major GC / Full GC(频率低但耗时长)

对象进入老年代的四种情况

条件 说明
年龄达标 在 Survivor 区经过 MaxTenuringThreshold 次 GC 仍存活(默认 15)
动态年龄判定 Survivor 区中相同年龄对象之和超过 Survivor 区的一半,大于等于该年龄的对象直接进入老年代
大对象 大小超过 -XX:PretenureSizeThreshold 的对象直接进入老年代(避免在 Eden 和 Survivor 间复制)
担保分配 Minor GC 前,如果老年代剩余空间小于新生代所有对象大小,可能直接进入老年代
// 查看默认晋升阈值
// -XX:MaxTenuringThreshold=15 (默认值)
// -XX:PretenureSizeThreshold=1m (大对象阈值,默认0表示不启用)

三、元空间(Metaspace)— JDK 8+

永久代 vs 元空间

对比维度 永久代(JDK 7-) 元空间(JDK 8+)
使用内存 JVM 堆内存 本地内存(Native Memory)
默认大小 有上限(需手动配置) 无上限(受物理内存限制)
OOM 风险 高(大小难确定,CGlib/JSP 易溢出) 低(除非内存泄漏)
字符串常量池 永久代中 堆中
静态变量 永久代中 堆中
# 元空间参数
-XX:MetaspaceSize=256m    # 初始大小(默认约 20MB)
-XX:MaxMetaspaceSize=512m # 最大大小(默认无上限)

四、对象分配策略总结

flowchart TD
    A["创建新对象"] --> B{是大对象?}
    B -->|| C["直接进入老年代"]
    B -->|| D["分配在Eden区"]
    D --> E{"TLAB可用?"}
    E -->|| F["在TLAB中分配
线程本地分配缓冲区"
] E -->|| G["在Eden区同步分配"] G --> H["触发Minor GC"] F --> H C --> H H --> I[存活对象进入Survivor] I --> J{"年龄≥MaxTenuringThreshold
或动态年龄判定"
} J -->|| K["晋升到老年代"] J -->|| L[继续在Survivor]

代码示例:查看堆内存使用

public class HeapMemoryDemo {
    public static void main(String[] args) {
        Runtime runtime = Runtime.getRuntime();

        long maxMemory = runtime.maxMemory();       // 最大可用内存
        long totalMemory = runtime.totalMemory();   // 已分配内存
        long freeMemory = runtime.freeMemory();     // 空闲内存

        System.out.println("最大内存: " + maxMemory / 1024 / 1024 + " MB");
        System.out.println("已分配: " + totalMemory / 1024 / 1024 + " MB");
        System.out.println("空闲: " + freeMemory / 1024 / 1024 + " MB");
        System.out.println("已使用: " + 
            (totalMemory - freeMemory) / 1024 / 1024 + " MB");
    }
}

五、堆参数调优

# ===== 堆大小 =====
-Xms512m                    # 堆初始大小(等价于 -XX:InitialHeapSize)
-Xmx512m                    # 堆最大大小(等价于 -XX:MaxHeapSize)

# ===== 新生代 =====
-Xmn256m                    # 新生代大小
-XX:SurvivorRatio=8         # Eden:Survivor = 8:1:1
-XX:MaxTenuringThreshold=15 # 晋升年龄阈值

# ===== 大对象 =====
-XX:PretenureSizeThreshold=1m  # 大对象阈值

# ===== 元空间 =====
-XX:MetaspaceSize=256m
-XX:MaxMetaspaceSize=512m

# ===== 其他 =====
-XX:+UseTLAB               # 启用线程本地分配缓冲区
-XX:+PrintGCDetails        # 打印 GC 详情

要点总结

要点 说明
堆分代核心思想 大部分对象朝生夕死,分代后对不同区域采用不同回收策略
新生代 = 复制算法 Minor GC 频繁,适合复制少量存活对象
老年代 = 标记-清除/整理 对象存活率高,适合标记-整理
元空间 = 本地内存 避免了永久代的 OOM 风险
Eden:S0:S1 = 8:1:1 默认比例,仅浪费 10% 空间
TLAB 优化 线程本地分配,避免同步

面试常见问题

Q1: 为什么需要进行分代回收?

A:大部分对象生命周期很短(”朝生夕死”)。分代后对不同区域使用不同 GC 算法,提高回收效率。新生代用复制算法(复制少量存活对象),老年代用标记-整理(避免复制大对象)。不分代的话,每次 GC 都要扫描整个堆,效率极低。

Q2: 对象直接进入老年代的情况有哪些?

A:(1) 大对象-XX:PretenureSizeThreshold 设置阈值,超过则直接进入老年代,避免在 Eden 和 Survivor 间复制);(2) 长期存活的对象(年龄超过 MaxTenuringThreshold,默认 15);(3) 动态年龄判定(Survivor 中同年龄对象之和超过一半,大于等于该年龄的晋升)。

Q3: 元空间和永久代的区别?

A:永久代使用 JVM 堆内存,大小难控,容易 OOM;元空间使用本地内存(Native Memory),默认自动扩展,仅受物理内存限制。JDK 7 的字符串常量池和静态变量在永久代,JDK 8 移到了堆中。元空间默认无上限,可通过 -XX:MaxMetaspaceSize 设置上限。

Q4: 什么是 TLAB?

A:TLAB(Thread Local Allocation Buffer)是线程本地分配缓冲区。每个线程在 Eden 区预分配一块小空间,线程内分配对象时直接在 TLAB 中分配,不需要同步。只有当 TLAB 空间不足时才需要同步分配。通过 -XX:+UseTLAB 开启(默认开启)。

相关文章

© 版权声明
THE END
喜欢就支持一下吧
点赞13 分享
评论 抢沙发

请登录后发表评论

    暂无评论内容