论文标题
当地链中生锈的链接
Rusty Links in Local Chains
论文作者
论文摘要
Rust成功地将所有权类型应用于控制内存分配。这将程序的拓扑限制为无法在安全的生锈中编程双关联列表的地步。我们素描如何将更灵活的“本地”所有权添加到生锈中，只要每个参考都受对象的寿命界定，则允许对对象进行多个可变的引用。为了维护线程安全，本地拥有的对象必须保留螺纹本地。为了保持内存安全性，当所有者的寿命到期时，可以交易本地对象。
Rust successfully applies ownership types to control memory allocation. This restricts the programs' topologies to the point where doubly-linked lists cannot be programmed in Safe Rust. We sketch how more flexible "local" ownership could be added to Rust, permitting multiple mutable references to objects, provided each reference is bounded by the object's lifetime. To maintain thread-safety, locally owned objects must remain thread-local; to maintain memory safety, local objects can be deallocated when their owner's lifetime expires.
