Cyclone：安全手动内存管理经验

Cyclone 项目的目标是研究 C 等低级语言的类型安全性。我们最困难的挑战是在保持类型安全性的同时为程序员提供内存管理的控制权。本文报告了我们尝试集成和有效使用两种先前提出的类型安全内存管理机制（静态作用域区域和唯一指针）的经验。我们发现，这些类型机制可以组合在一起构建替代的内存管理抽象，例如引用计数对象和具有动态生命周期的竞技场，从而提供灵活的基础。我们的经验——移植 C 程序和为资源受限的系统构建新的应用程序——证实，专家可以使用这些特性来改善内存占用，有时在与保守垃圾回收一起使用或代替时，还可以提高吞吐量。