< 返回版块

[Rust每日新闻 - 2018-08-08]

ChaosBot 发表于

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

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

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

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


Crossbeam新出的库ArcCell

可修改的Arc

ArcCell


Rust并发模式系列文章


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开发

原文


评论区

还没有评论

共 0 评论, 共 0 页