微軟最近透露出它正在從流行的Rust編程語(yǔ)言中汲取一些想法來(lái)創(chuàng )建一個(gè)新的轟動(dòng)，該項目以項目Verona的名義為“安全基礎結構編程”創(chuàng )建了一種新語(yǔ)言。

英國劍橋計算機實(shí)驗室的微軟研究員馬修·帕金森(Matthew Parkinson)在去年下半年的一次演講中首次詳細介紹了維羅納項目，并承諾微軟將盡快開(kāi)源該項目。

Microsoft Research現在已在GitHub上跟蹤并開(kāi)源了Project Verona，并提供了有關(guān)該項目的更多詳細信息，以及通過(guò)更好的內存管理，分區和“泛濫的沙箱”來(lái)構建更安全的系統的雄心。倫敦帝國學(xué)院的學(xué)者也為維??羅納計劃提供資助。

正如帕金森解釋的那樣，維羅納計劃旨在幫助保護仍然不存在于Microsoft的許多舊代碼中的不安全語(yǔ)言(如C和C#)中的代碼，Microsoft不會(huì )浪費這些代碼，但希望提供更好的保護。

帕金森在會(huì )上說(shuō)：“我們將運行一些C和C ++，這是我們不信任的東西。” “我們將其放入一個(gè)盒子中，我們知道存在物體的這一區域，我們必須非常小心，但是有一系列事情正在發(fā)生，我們可以在那里建立一些普遍的沙箱。因此可以是沙盒庫，我們可以將其嵌入沙盒Verona程序中。”

維羅納項目的GitHub頁(yè)面概述了該小組正在研究的一些高級問(wèn)題，這些問(wèn)題將在以后的同行評審文章中充實(shí)。問(wèn)題包括：

如果我們設計的語(yǔ)言沒(méi)有并發(fā)突變，那么我們可以構建可擴展的內存管理嗎?

可以在不犧牲內存管理的情況下使用線(xiàn)性區域消除每個(gè)對象線(xiàn)性的限制嗎?

語(yǔ)言級別的區域可以用來(lái)支持分隔嗎?

同樣，Rust并不是激發(fā)Verona項目靈感的唯一語(yǔ)言，該語(yǔ)言還借鑒了Cyclone(一種“ C的安全方言”) 和Pony的概念，Cyclone是Microsoft Research的主要貢獻者。

由帕金森撰寫(xiě)的GitHub頁(yè)面強調，維羅納計劃不是產(chǎn)品，并且與微軟對C ++，C#和Rust的持續使用沒(méi)有關(guān)系。微軟去年透露，它正在嘗試使用Rust而不是C和C ++來(lái)編寫(xiě)底層Windows組件。

它說(shuō)：“維羅納項目是一個(gè)研究項目，不會(huì )影響公司的工程選擇。”

“維羅納項目團隊使用公司所有主要語(yǔ)言與人們聯(lián)系在一起，并希望從他們的經(jīng)驗中學(xué)習，因此我們可以研究重要的問(wèn)題。”

此外，微軟將維羅納項目視為一種“研究編程語(yǔ)言”，并希望通過(guò)開(kāi)放源代碼，可以吸引希望探索并發(fā)所有權概念的學(xué)術(shù)合作者。

帕金森還提供了維羅納計劃的目標，概念及其在系統編程中的適用范圍的更詳細的清單。

他寫(xiě)道：“有了維羅納項目，我們將在系統編程領(lǐng)域開(kāi)辟一個(gè)基礎設施編程領(lǐng)域，該領(lǐng)域具有重要的性能和可預測性要求，而無(wú)需對機器進(jìn)行原始訪(fǎng)問(wèn)。”

“在Verona項目中，我們認為我們的研究語(yǔ)言不適合實(shí)現Verona運行時(shí)本身。這顯然是該項目的目標。”