引言

不同的编程语言选择了不同的内存管理路线，这直接决定了它们的适用场景。本文将从算法原理、屏障技术、停顿模型等维度进行深度对比。

1. 核心特性对比表

2. 深度分析

• Java: 传统的 Java GC (Parallel, G1) 设计初衷是吞吐量优先。分代收集极其高效，因为大部分对象在 Eden 区就死了，复制成本很低。但在大堆下，老年代的整理会导致较长的 STW。ZGC 的出现改变了这一局面，用 CPU 换延迟。
• Go: Go 从一开始就瞄准低延迟。它放弃了分代（虽然有类似优化）和整理（Compaction），选择了并发标记清除。
  • 代价: 内存碎片化。Go 通过多级缓存的内存分配器 (mspan) 来缓解碎片问题，但堆内存占用通常比 Java 高（为了减少 GC 频率，GOGC 默认 100，即用双倍内存换 CPU）。

2.2 Python: 简单与代价

• 引用计数的最大优势是实时性。资源（如文件句柄）可以在对象销毁时立即释放，这在 Java/Go 中需要 try-with-resources 或 defer。
• 代价: 无法并发。GIL (Global Interpreter Lock) 的存在部分原因就是为了保护引用计数的线程安全。多线程下频繁更新计数会导致严重的缓存抖动。

2.3 Rust: 第三条路

Rust 没有运行时 GC。它通过所有权 (Ownership) 和 借用 (Borrowing) 规则，在编译期插入内存释放代码 (drop)。 * 优势: 既有 C++ 的性能（无 GC 开销），又有 Java/Go 的内存安全。 * 劣势: 学习曲线陡峭。开发者必须通过编译器的借用检查器 (Borrow Checker)。

3. 伪代码对比：内存分配

Java (TLAB Bump Pointer):

// 极快，仅需移动指针
if (top + size <= end) {
    obj = top;
    top += size;
    return obj;
}

Go (Size Class Allocation):

// 查找对应大小的 span
size_class = size_to_class(size)
span = mcache.alloc[size_class]
if span.has_free() {
    return span.pop()
}

Rust (Stack Allocation):

// 编译期确定，栈分配，零开销
let x = MyStruct { ... }; 

总结

• 追求极致吞吐: 选 Java (Parallel GC)。
• 追求极致延迟: 选 Go 或 Java (ZGC)。
• 脚本与胶水: Python (忍受性能损耗)。
• 系统级编程: Rust (零开销抽象)。