Win10下载官网_最新微软Msdn官方原版Win10镜像下载

Win10 32位 Win10 64位 Win10 1903 Win10 1909 Win10 2004
当前位置:首页 > Win10最新资讯

微软正在开发基于 Rust 的安全编程语言

时间:2019-12-03    来源:Win10下载官网    人气:

  微软表示正探索将 Rust 作为 C 和 C++ 的安全替代方案,并且也对外展示了使用 Rust 重写 Windows 组件的体验,根据微软的说法,Rust是一种从根本上考虑安全性的编程语言,他们将尝试使用 Rust重写各种产品,因为在过去的十年里,微软70% 以上的安全补丁都提供了与内存相关的错误,而 Rust正是解决这个问题的“良药”。

  而根据ZDNet 的报导,近日在一次演讲中,谈到微软为解决相应内存问题所做的工作,微软研究人员Matthew Parkinson 提到了微软正在开发的基于 Rust 的新编程语言Verona。

微软正在开发基于 Rust 的安全编程语言

  演讲中,Matthew 先是分享了微软在 MemGC(Memory Garbage Collector)上所做的工作,MemGC 是指 IE 和 Edge 浏览器上的内存垃圾回收器,它解决了标准浏览器一个特性——文档对象模型(DOM)中的漏洞,DOM 以树结构表述了HTML 文档内容。

  之后他由此牵出另一个问题:如何构建最安全的产品?不仅仅丢弃已有的东西,而要考虑可以在更加安全的系统中构建一些什么。他介绍了微软正在使用 Rust 重写某些组件,并提出:“如果我们想要隔离,并精简遗留代码,以使攻击者的利用代码无法逃逸出来,那么如何设计语言呢?”

  Matthew 提出了微软正在开发的基于 Rust 的新编程语言Verona,他表示这是首次讨论该项目,Verona 是用于微软“安全基础设施编程(safe infrastructure programming)”的一种新语言。

  Matthew 介绍,Verona 由 C#项目经理 Mads Torgensen 与 Microsoft Research Cambridge 研究软件工程师Juliana Franco 维护。

  微软面临的挑战是应对宽广的应用领域,范围从 C# 桌面应用到 C 或 C# Exchange、ASP.NET、Azure 与设备驱动程序,再到内存管理和启动加载器等底层Windows组件,以及 Windows 内核硬件抽象层(HAL,hardware abstraction layer)。

  “执行内存管理确实很困难,如果有任意并发突变,则临时内存安全性将非常困难”,Matthew 介绍了 Verona 的设计思路:“Verona的所有权模型是基于对象组的,而不是像 Rust 那样基于单个对象的所有权模型。在 C++ 中,可以获得指针,并且它是基于对象的。但这与我关于数据和语法的思考不同,我认为数据结构是对象的集合,而对象的集合则是生命周期。因此,通过在对象的所有权级别获得所有权,我们就可以更接近人们正在使用的抽象级别,它使我们能够构建数据结构而不会超出安全范围。”

  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.

  另外,Matthew 还表示 Verona 很快将会开源。

相关文章

  • Beta版Linux Mint 19.3 "Tricia"的ISO镜像已开放下载

    在明日正式宣布之前,Beta版Linux Mint 19.3 "Tricia"的ISO镜像已经开放下载。作为Linux Mint 19分支的第三个维护版本更新,基于Canonical的Ubuntu 18.04 LTS(Bion
    2019-12-03
  • Radeon 19.12.1驱动更新支持Radeon RX 5300M GPU

    AMD今天发布了Radeon Software Adrenalin 2019 Edition 19.12.1驱动程序,在更新日志中并未明确提及针对哪款游戏进行特别优化,不过在新版驱动中引入了对新款Radeon
    2019-12-03
  • 长鑫存储已开始生产19nm计算机存储器

    长鑫存储技术有限公司(CXMT)已经开始生产基于 19nm 工艺的计算机存储器,且该公司至少制定了两条以上的 10nm 级制程的路线图,计划在未来生产各种类型的动态随机存储
    2019-12-03
  • 苹果要给MacBook Pro加上面容识别

    2020 年,苹果 MacBook Pro 笔记本可能会配备 Face ID 面容识别功能。根据报道,Face ID 将首先在 MacBook Pro 笔记本中引入,然后在其他 MacBooks 中采用。此外,Face I
    2019-12-03
  • Mini LED iPad Pro和MacBook Pro明年末到来

    最新报告预测苹果将转向生产使用 Mini LED 屏幕的高端 iPad Pro 和 MacBook Pro。据称 Mini LED 具体会在 2020 年末或 2021 年初的苹果新硬件上亮相,带来“生产力
    2019-12-03

热门Win10最新资讯

更多>>

热门Win10系统下载

更多>>

最新Win10系统下载

更多>>

公众号