RustBelt最近发现Rust并发的一个Bug

RustBelt是Rust的形式验证项目。

这是Ralfj回归Rust团队之后新的博文，文章中介绍了该Bug，以及弱内存、数据竞争和同步。

Bug介绍及其产生原因简单总结：

Arc::get_mut可能会引发数据竞争，是在RustBelt研究人员Hai和Jacques-Henri在试图证明Arc :: get_mut的正确性时发现的。

是因为Arc内大量使用了原子类型，但是在使用原子类型的时候，实际上需要指定内存顺序，这和内存并发一致性是相关的。

目前Arc内部基本使用了Relaxed，已经证明了，将其换成Acquire则是正确的。

原文

---

使用Rust加速GPU的路径跟踪 Part 2

主要用于实现光线跟踪

原文

---

2018 Edition 周末报告（2018-07-13）

2018 Edition快要发布了，官方从这周开始会每周推出此报告，汇聚了各个工作组的最新进展

原文

---

一个玩具版tokio的实现

基于futures 0.2

toykio

---

随机点过程的Rust实现

可用于地震学，流行病学或金融数学中模拟随机事件发生的时间

原文

---

官方公告：Rust 1.27.2 补丁测试

又修复了一些Bug

原文

---

Rust实现的Brainf**k编译器

原文

---

系列文章：Rust实现一个最小化的容器运行时 2

本文作者以学习Docker的目的，用Rust实现了一个最小化容器运行时

原文

github

---

我们如何为IoT原型构建Visual Studio代码扩展

该文作者最近有机会制作一个需要与嵌入式设备通信的Visual Studio代码扩展，该文解释了他选择实现的架构和决策过程。

并介绍了一个串口通信的库 serialport-rs

原文

serialport-rs

---

国人整理翻译的Actix-web文档

原文

---

• ( 每日新闻备份地址 )
• Telgram Channel ： https://t.me/rust_daily_news