微软在GitHub上开启了受Rust启发的Verona Project编程语�
微软最近透露，它正在从流行的Rust编程语言中汲取一些想法，以创造新的轰动效应。该项目以维罗纳的名义为“安全基础设施编程”创造了一种新的语言。
英国剑桥计算机实验室微软研究员马修帕金森在去年下半年的一次演讲中首次详细介绍了维罗纳项目，并承诺微软将尽快开放该项目。
微软研究院现在已经在GitHub上追踪并开放了Verona Project，并提供了有关该项目的更详细信息，以及其通过更好的内存管理、分区和“淹没沙盒”来构建更安全系统的雄心。伦敦帝国理工学院的学者也支持维罗纳项目。
但是有一系列事情正在发生，我们可以在那里建立一些普遍的沙箱。因此可以是沙盒库，我们可以将其嵌入沙盒Verona程序中。” 维罗纳项目的GitHub页面概述了该小组正在研究的一些高级问题，这些问题将在以后的同行评审文章中充实。问题包括： 如果我们设计的语言没有并发突变，那么我们可以构建可扩展的内存管理吗？ 可以在不牺牲内存管理的情况下使用线性区域消除每个对象线性的限制吗？ 语言级别的区域可以用来支持分隔吗？ 同样，Rust并不是激发Verona项目灵感的唯一语言，该语言还借鉴了Cyclone（一种“ C的安全方言”） 和Pony的概念，Cyclone是Microsoft Research的主要贡献者。 由帕金森撰写的GitHub页面强调，维罗纳计划不是产品，并且与微软对C ++，C＃和Rust的持续使用没有关系。微软去年透露，它正在尝试使用Rust而不是C和C ++来编写底层Windows组件。 它说：“维罗纳项目是一个研究项目，不会影响公司的工程选择。” “维罗纳项目团队使用公司所有主要语言与人们联系在一起，并希望从他们的经验中学习，因此我们可以研究重要的问题。” 此外，微软将维罗纳项目视为一种“研究编程语言”，并希望通过开放源代码，可以吸引希望探索并发所有权概念的学术合作者。 帕金森还提供了维罗纳计划的目标，概念及其在系统编程中的适用范围的更详细的清单。 他写道：“有了维罗纳项目，我们将在系统编程领域开辟一个基础设施编程领域，该领域具有重要的性能和可预测性要求，而无需对机器进行原始访问。” “在Verona项目中，我们认为我们的研究语言不适合实现Verona运行时本身。这显然是该项目的目标。”" src="http://www.xinhuatone.com/uploadfile/2020/0122/20200122014310651.png" style="max-width: 100%;" />正如帕金森解释的那样，维罗纳计划旨在帮助保护仍然不存在于Microsoft的许多旧代码中的不安全语言(如C和C#)中的代码，Microsoft不会浪费这些代码，但希望提供更好的保护。
帕金森在会上说：“我们将运行一些C和C ++，这是我们不信任的东西。” “我们将其放入一个盒子中，我们知道存在物体的这一区域，我们必须非常小心，但是有一系列事情正在发生，我们可以在那里建立一些普遍的沙箱。因此可以是沙盒库，我们可以将其嵌入沙盒Verona程序中。”
维罗纳项目的GitHub页面概述了该小组正在研究的一些高级问题，这些问题将在以后的同行评审文章中充实。问题包括：
如果我们设计的语言没有并发突变，那么我们可以构建可扩展的内存管理吗?
可以在不牺牲内存管理的情况下使用线性区域消除每个对象线性的限制吗?
语言级别的区域可以用来支持分隔吗?
同样，Rust并不是激发Verona项目灵感的唯一语言，该语言还借鉴了Cyclone(一种“ C的安全方言”) 和Pony的概念，Cyclone是Microsoft Research的主要贡献者。
由帕金森撰写的GitHub页面强调，维罗纳计划不是产品，并且与微软对C ++，C#和Rust的持续使用没有关系。微软去年透露，它正在尝试使用Rust而不是C和C ++来编写底层Windows组件。
它说：“维罗纳项目是一个研究项目，不会影响公司的工程选择。”
“维罗纳项目团队使用公司所有主要语言与人们联系在一起，并希望从他们的经验中学习，因此我们可以研究重要的问题。”
此外，微软将维罗纳项目视为一种“研究编程语言”，并希望通过开放源代码，可以吸引希望探索并发所有权概念的学术合作者。
帕金森还提供了维罗纳计划的目标，概念及其在系统编程中的适用范围的更详细的清单。
他写道：“有了维罗纳项目，我们将在系统编程领域开辟一个基础设施编程领域，该领域具有重要的性能和可预测性要求，而无需对机器进行原始访问。”
“在Verona项目中，我们认为我们的研究语言不适合实现Verona运行时本身。这显然是该项目的目标。”
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。标签：