VRLifeTime -- An IDE Tool to Avoid Concurrency and Memory Bugs in Rust
VRLifeTime -- An IDE Tool to Avoid Concurrency and Memory Bugs in Rust
复制标题
VRLifeTime——避免 Rust 并发和内存错误的 IDE 工具
DOI：
10.1145/3372297.3420024
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Zhang, Yiying
中科院分区：
文献类型：
--
作者：
Zhang, Ziyi;Qin, Boqin;Chen, Yilun;Song, Linhai;Zhang, Yiying
作为一种为系统软件开发而设计的年轻编程语言，Rust旨在提供像高级语言一样的安全保障和像低级语言一样的性能效率。生命周期是Rust中的核心概念，它是Rust编译器进行安全检查和自动化资源管理的关键。然而，Rust的生存期规则非常复杂。实际上，Rust程序员无法推断正确的生命周期并不罕见，导致严重的并发和内存错误。在本文中，我们介绍了VRLifeTime，这是一个IDE工具，可以可视化Rust程序的生命周期，并帮助程序员避免与生命周期相关的错误。此外，VRLifeTime可以帮助检测一些与生命周期相关的错误（即，双锁），并提供详细的调试信息。演示视频可在https://youtu.be/L5F_XCOrJTQ上获得。
As a young programming language designed for systems software development, Rust aims to provide safety guarantees like high-level languages and performance efficiency like low-level languages. Lifetime is a core concept in Rust, and it is key to both safety checks and automated resource management conducted by the Rust compiler. However, Rust's lifetime rules are very complex. In reality, it is not uncommon that Rust programmers fail to infer the correct lifetime, causing severe concurrency and memory bugs. In this paper, we present VRLifeTime, an IDE tool that can visualize lifetime for Rust programs and help programmers avoid lifetime-related mistakes. Moreover, VRLifeTime can help detect some lifetime-related bugs (i.e., double locks) with detailed debugging information. A demo video is available at https://youtu.be/L5F_XCOrJTQ.
Tock 嵌入式操作系统
DOI：
10.1145/3131672.3136988
发表时间：
2017
期刊：
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems
影响因子：
--
作者：
A. Levy;Bradford Campbell;Branden Ghena;Daniel B. Giffin;S. Leonard;P. Pannuto;P. Dutta;P. Levis
通讯作者：
P. Levis