内存管理

副标题 / 摘要 Java 有 GC 也会出现内存泄漏。本文用经典栈实现解释为什么对象引用没清理会导致泄漏。 目标读者 使用 Java 的开发者 关注内存问题的工程师 需要理解引用机制的人 背景 / 动机 GC 只能回收“不可达对象”。 如果引用没清理，哪怕对象不再需要，也不会被回收。 核心概念 对象可达性：决定是否可回收 引用残留：对象仍被数组引用 逻辑泄漏：对象不再使用却无法回收 实践指南 / 步骤 识别不再使用的引用 在 pop 后显式置空 使用工具分析堆快照 写回归测试验证 可运行示例 import java.util.EmptyStackException; import java.util.Arrays; public class Stack { private Object[] elements; private int size = 0; private static final int DEFAULT_INITIAL_CAPACITY = 16; public Stack() { elements = new Object[DEFAULT_INITIAL_CAPACITY]; } public void push(Object e) { ensureCapacity(); elements[size++] = e; } public Object pop() { if (size == 0) throw new EmptyStackException(); Object result = elements[--size]; elements[size] = null; // 防止内存泄漏 return result; } private void ensureCapacity() { if (elements.length == size) elements = Arrays.copyOf(elements, 2 * size + 1); } } 解释与原理 数组中残留的引用使对象仍然“可达”。 显式置空可以让 GC 回收对象。 ...

副标题 / 摘要 实时系统追求可预测性，而堆分配与 GC 往往引入不可控延迟。本文解释二者关系，并提供工程替代策略。 目标读者 做实时/嵌入式系统的工程师 关注性能与确定性的开发者 需要制定内存策略的技术负责人 背景 / 动机 在实时系统里，“偶尔慢”也可能是灾难。 堆分配和垃圾回收会带来不可预测的暂停和抖动，这与实时性天然冲突。 核心概念 堆分配：运行期动态申请内存 GC 暂停：回收时的停顿导致时延不可控 确定性：最坏情况可预测 静态分配：编译期或启动期分配 实践指南 / 步骤 避免运行期频繁分配 使用对象池/环形缓冲 关键路径使用栈或静态内存 把 GC 影响隔离在非实时线程 做最坏情况延迟测试 可运行示例 下面对比“堆分配”与“静态数组”的模式： #include <stdio.h> #include <stdlib.h> #define N 1024 static int buffer[N]; int main(void) { // 静态分配：可预测 for (int i = 0; i < N; ++i) buffer[i] = i; // 动态分配：可能触发不可预测延迟 int *heap = (int *)malloc(sizeof(int) * N); if (!heap) return 1; for (int i = 0; i < N; ++i) heap[i] = i; free(heap); printf("done\n"); return 0; } 解释与原理 堆分配需要维护分配器状态，可能引发锁竞争与碎片整理。 GC 会在不确定的时间触发暂停。 这些都让最坏时延不可预测，因此实时语言往往限制或避免堆分配。 ...