本地链中的生锈链接
摘要：分配所有权类型来控制内存分配是Rust成功的一种应用。这限制了程序的拓扑结构，以至于无法在安全的Rust中编程双向链表。我们概述了如何向Rust中添加更灵活的“局部”所有权，允许对对象进行多个可变引用，前提是每个引用都受对象生命周期的限制。为了保持线程安全，局部拥有的对象必须保持在线程本地；为了保持内存安全，当拥有者的生命周期到期时，局部对象可以被释放回收。
作者：James Noble, Julian Mackay, Tobias Wrigstad
论文ID：2205.00795
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-05-03