栈式借用：一种Rust别名模型

ralfj比较高产，他负责Unsafe下内存模型相关的工作，目的是用miri来检测unsafe中的UB行为。

该模型用于定义在unsafe内存模型中允许哪种别名。建立合理的别名规则，才能基于miri来检查unsafe下的UB行为。

该模型的核心思想是： 对于一个内存位置，逐步建立可跟踪的引用，形成一个栈结构。比如有一个&mut i32，可以对其重新借用获得一个新引用。这个新引用是必须用于此位置的引用，建立在旧引用之上。当新引用过期的时候，旧引用会被激活，就好像是栈结构push和pop。

• 更多详细
• 关于别名规则issues

Crossbeam新出的库ArcCell

可修改的Arc

ArcCell

Rust并发模式系列文章

• rust-concurrency-patterns-communicate-by-sharing-your-sender
• rust-concurrency-patterns-natural-born-pipelines
• rust-concurrency-patterns-no-context-no-cancel-no-leak

NLL 现在需要你来帮助测试正确性 以备 RC

该文章里Niko列出了一些issues列表

原文

所以，你想创建一个语言虚拟机吗？

这是一个系列文章（如果作者足够坚持的话）的第00篇。教你使用Rust构建一个语言的VM。

原文

一共出到了第四篇：原文

事实上，也可以看看比较成熟的相关项目源码，比如 inko， inko就是用Rust实现了一个VM，一门面向对象语言，还支持类Erlang轻量级进程来处理并发。

PRRR全栈开发 系列文章Part 2

第一篇文章之前介绍过： https://medium.com/@ccrsh/introducing-prrrstack-d617ff518ba6

PRRR是指Postgresql、Rust、Rocket、React 进行全栈Web开发

原文

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