.png){kind=icon}
返回
Fully-Automatic Type Inference for Borrows with Lifetimes
.png){kind=icon}
PRE
AI
DOI：10.1145/3798221.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们提出了一种新的纯函数式语言及其类型系统，该系统包含带生命周期的借用机制，并实现了相应的全自动类型推断过程。推断过程能够在不要求用户进行类型标注的情况下，为用户提供带生命周期的借用机制所带来的性能优势。如果用户的程序无法通过类型检查，推断过程会插入少量引用计数操作以确保其可类型化。我们为借用语言提供了堆语义，并证明了其健全性定理，从而保证类型正确的程序不会违反内存安全性。我们将内存管理策略作为Morphic语言栈的一部分进行实现，并将其与基于线性类型推断的Perceus先进引用计数技术进行比较。我们发现，我们的系统能够在各类程序中消除几乎所有的引用计数操作，在所有基准测试中，将引用计数增量减少了75-100%（相对于基线），其中基线包含引用计数增量。因此，我们在所有基准测试上实现了1.48倍的平均加速。
Keyword:
reference counting
ownership
borrowing
type inference
期刊
P
IF:
2.8
论文数:
308
被引数:
4.7K
机构
查看更多机构
引用论文
暂无论文信息