Win10下载官网_专业提供最新版win10系统下载。

Win10 32位 Win10 64位 Win10 1903 Win10 1909 Win10 2004
当前位置:Win10下载官网 > 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 很快将会开源。

相关文章

  • 微软win10官网 最新win10原版 64位正式版 msdn2004下载

    微软win10官网 最新win10原版 64位正式版 msdn2004下载是款经典的电脑操作系统应用,这里拥有多种装机方式,U盘安装、硬盘安装等装机方式都有,用户可以自由的选择,装机速度快,5-8分钟就能安卓完成,操作简单,随时可以一键快速
    2020-06-30
  • 不想升级Win10 2004版?微软官方提供简单方法可屏蔽功能更新

    win10下载官网还没收到 Win10 2004 推送的情况下,通过几种方法即可提前进行版本升级计划,不过既然有用户想要升级那自然也有用户不想升级,尤其是那些担心稳定性的用户对新版本可能并没有太大兴趣。
    2020-06-30
  • 微软官网win10下载 iso镜像 64位纯净版下载v19041.329

    微软官网win10下载 iso镜像 64位纯净版下载v19041.329自动释放不用的DLL,更改数据包调度程序,尽可能提升上网速度,优化网上购物支付安全设置,共享访问禁止空密码登陆,删除系统自带的两个隐藏用户
    2020-06-29
  • 微软官网正版win10下载软件 msdn原版 win10正式版64位下载

    微软官网正版win10下载软件 msdn原版 win10正式版64位下载改进了动态磁贴的管理,并且为新设备、新用户账户、以及全新安装,提供了简化的默认布局。眼尖的朋友,一定也注意到 Fluent 设计风格已经弥漫到左侧的导航栏、且关
    2020-06-28
  • 微软在 ARM 上成功移植 OpenJDK for Windows 10

    去年微软宣布收购 jClarity,用在了 Azure 上的 Java 工作负载,以平台之势加大了对 Java 的支持,而近期,开发团队完成了在基于Arm(AArch64)的设备上移植适用于 Windows 10 的 OpenJDK 的第一阶段。
    2020-06-28
  • 微软悄然取消 Windows Update 手动推迟功能更新选项

    微软目前正在从 Win 10 商业用户的 PC 中删除 Windows Update 手动推迟 Win 10 功能更新的功能。据微软方面透露,此举是为了 “减少混乱”。
    2020-06-28
  • 微软 Win10 Dev 预览版 Build 20152 推送,修复不少 Bug

    微软已经向开发者通道(以前称为Fast ring)上的Insiders发布了Win10 Insider Preview Build 20152。该版本不包含单个新功能,而是提供了一系列修复程序(和已知问题)。
    2020-06-25
  • 微软 Win10 数独 2.0 发布:六个难度级别

    微软数独是一款受人所喜爱的经典游戏,结合了现代感的外观和感觉,以及令人兴奋的新功能,为各个年龄段的玩家提供了数百个大脑训练谜题。今天微软数独迎来了2.0版本更新,带来了新玩法。
    2020-06-25
  • 微软 Win10 最新Bug 一分钟内将强制重启 PC

    微软 Win10 系统 6 月补丁此前面向 2004 版和 1909 年推送,现在有报告称,新的 Bug 可能会强制你重新启动系统。
    2020-06-25
  • 微软正努力改善Windows 10驱动更新的质量

    在通过 Windows Update 推送某些驱动程序更新的时候,Windows 10 难免会让用户遭遇一些意料之外的问题。为减少崩溃和兼容性问题的发生,微软表示其正在制定新的策略,以提升驱动更新的质量。
    2020-06-24

热门Win10最新资讯

热门Win10系统下载

最新Win10系统下载

公众号