Verona 项目是一种用于研究的编程语言,旨在探讨并发所有权的概念。它提供了一种新的并发模型,该模型无缝集成了所有权。Verona 旨在探索有关语言和运行时设计的研究,以实现安全的可扩展内存管理和分区。这里的原型仅涵盖研究的内存管理方面。
该研究项目由微软研究中心与伦敦帝国理工学院的合作运行。目前处于初期阶段,尚未准备好在研究之外使用。
一个月前,微软研究人员 Matthew Parkinson 曾提到:微软正在开发基于 Rust 的新编程语言,该项目被命名为 Verona。现在,微软已将 Verona 正式开源。 根据微软给出的介绍,Verona 项目旨在探索有关语言和运行时设计的研究,以实现安全的可扩展内存管理和分区。此次开源的原型仅涵盖内存管理方面。 此外,微软还分享了一些关于 Verona 项目较高级别的研究问题: 如果我们设计的语言没有并发突变,那么我们可以构建可扩展的内存管...
评论