GC

副标题 / 摘要 标记-清除是最基础的垃圾回收模型。本文用简化示例解释“可达性”与回收过程。 目标读者 想理解 GC 原理的开发者 系统编程与语言设计学习者 关注内存管理的工程师 背景 / 动机 手动内存管理容易出错，而 GC 通过“可达性”自动回收对象。 理解基础模型有助于调试内存问题。 核心概念 根集合（Roots）：直接可达的对象 可达性：从根出发可访问到的对象 标记-清除：标记存活对象，清除不可达对象 实践指南 / 步骤 构建对象图与引用关系 从根集合进行标记遍历 清除未被标记的对象 输出回收结果 可运行示例 class Obj: def __init__(self, name): self.name = name self.refs = [] self.marked = False def mark(obj): if obj.marked: return obj.marked = True for r in obj.refs: mark(r) def sweep(heap): return [o for o in heap if o.marked] if __name__ == "__main__": a = Obj("a") b = Obj("b") c = Obj("c") a.refs.append(b) heap = [a, b, c] roots = [a] for r in roots: mark(r) heap = sweep(heap) print([o.name for o in heap]) # c 被回收 解释与原理 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 会在不确定的时间触发暂停。 这些都让最坏时延不可预测，因此实时语言往往限制或避免堆分配。 ...