Home > News content

Microsoft is developing a secure programming language based on Rust

via:博客园     time:2019/12/3 9:31:08     readed:22

Previously,Microsoft says it is exploring a secure alternative to C and CAnd also demonstrated the use of rustOverride windows componentsAccording to Microsoft, Rust is a programming language that fundamentally considers security, and they will try to rewrite a variety of products using Rust, because more than 70 percent of Microsoft's security patches have provided memory-related errors over the past decade, and Rust solves this problem.

And according toZDNet ReportRecently, in a speech about Microsoft's work to solve the memory problem, Microsoft researcher Matthew Parkinson mentionedVerona, a new programming language based on rust developed by Microsoft

orgsrc=//img2018.cnblogs.com/news/34358/201912/34358-20191203084820365-529770013.png

In his speech, Matthew first shared Microsoft's work on the MemGC (Memory Garage Collector), which means the memory garbage collector on the IE and Edge browsers, which solves one of the characteristics of the standard browse

And then he pulled another question: how to build the most secure product? Not just to drop what is already, but to consider what can be built in a more secure system. He introduced Microsoft's use of Rust to rewrite some of the components and put forward:

Matthew proposed Verona, a new Rust-based programming language being developed by Microsoft, which he said was the first time the project had been discussed and that Verona was used by Microsoft.

Matthew introduces that Verona is maintained by C # project manager Mads Torgensen and Microsoft Research Cambridge research software engineer Juliana Franco.

The challenge for Microsoft is to address a wide range of applications, ranging from C # desktop applications to C or C # Exchange,ASP.NET,Azure and device drivers, to underlying Windows components such as memory management and boot loaders, and to the Windows kernel hardware abstraction layer (HAL,hardware abstraction layer).)

So by taking ownership at the level of ownership of objects, then we get much closer to the level of abstraction that people are using and it gives us the ability to build data structures without going outside of safety.

In addition, Matthew said Verona will soon be open source.

China IT News APP

Download China IT News APP

Please rate this news

The average score will be displayed after you score.

Post comment

Do not see clearly? Click for a new code.

User comments