仅在Rust中编写的软件能完全避免竞争条件吗？

Posted 2021-04-21

维基百科defines a race condition为：

竞争条件或竞赛危险是电子，软件或其他系统的行为，其中输出取决于其他不可控事件的顺序或时间。当事件没有按程序员的意图发生时，它就变成了一个bug。

Rust is a：

安全，并发，实用的语言

如果我们创建100％Rust的软件，我们可以避免竞争条件吗？为什么或者为什么不？

答案

没有。

我见过竞争条件：

• 文件系统访问，
• 数据库访问，
• 访问其他服务。

程序在数据竞争中演变的环境，编程语言无法实现，只能接受它。

---

Rust专注于记忆安全。在多线程编程的上下文中，这意味着防止数据争用。

没有数据竞争的程序仍然可以包含竞争条件：

• data race：在没有同步的情况下由另一个线程读取/写入值时修改值，结果行为是不可预测的（特别是涉及优化器时），
• 竞争条件：一系列事件的计时问题，产生的行为是一小组可能的行为之一。它可以通过同步来解决，但这不是唯一的解决方案。

竞争条件不是内存错误。对于Rust来说，这意味着它们被认为是安全的，尽管它们当然仍然是不可取的。它们可能发生在许多不同的层面：线程，进程，服务器之间......