无畏的并发？了解真实世界Rust软件中的并发编程安全性
Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software
摘要：
Rust是近年来在构建各种底层软件时流行的程序设计语言。它旨在通过一套编译器检查规则在实现多线程软件时提供安全并发。不幸的是，人们对检查规则如何影响Rust应用程序中并发编程的安全性的理解有限。本文从并发使用和并发缺陷两个方面对Rust的并发安全性进行了初步研究。我们的研究可以更好地理解Rust的并发性，并可以指导未来的研究人员和从业者编写更好，更可靠的Rust软件，并为Rust开发调试和错误检测工具。
英文摘要：
Rust is a popular programming language in building various low-level software in recent years. It aims to provide safe concurrency when implementing multi-threaded software through a suite of compiler checking rules. Unfortunately, there is limited understanding of how the checking rules influence the safety of concurrent programming in Rust applications. In this paper, we perform a preliminary study on Rust's concurrency safety from two aspects: concurrency usage and concurrency bugs. Our study can provide better understanding on Rust's concurrency and can guide future researchers and practitioners in writing better, more reliable Rust software and in developing debugging and bug detection tools for Rust.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
