您的当前位置:主页 > 网盘搜搜 >

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

作者:真钱牛牛网 发布时间:2020年06月07日 浏览: 8754

近日在一次演讲中,谈到微软为解决相应内存问题所做的工作,微软在英国的研究人员MatthewParkinson提到了微软正在开发的基于Rust的新编程语言,这个项目,微软内部称为Verona"。

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

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

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

Matthew提出了微软正在开发的基于Rust的新编程语言Verona,他表示真钱牛牛网这是首次讨论该项目,微软宣称这门语言是用于安全的基础设施编程-safeinfrastructureprogramming,Verona项目很快会开源。

Matthew介绍,Verona由C#项目经理MadsTorgensen与微软剑桥研究院研究软件工程师JulianaFra牛牛游戏下载nco维护。

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

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

(责任编辑:真钱牛牛网)

本文地址:/wangpansousou/20200607/5917.html

上一篇:APEC中小企业数字经济发展大会在蓉举办,数字经济原来这么牛 下一篇:任正非:美国在全世界帮我们宣传!华为不仅没赤字收益还非常大

作者简介

任正非:美国在全世界帮我们宣传!华为不仅没赤字收益还非常大
主题 Editor-in-chief

华为创始人任正非12月2日在深圳接受加拿大《环球邮报》采访。任正非在回答记者提问时表示,5月份以后,我们认为美国的最终目的是要消...

文章推荐

  1. 2020年05月29日 03点52分50秒 社区分析工具显身手精准服务对接居民需求 网盘搜搜

    居民的需求是什么?社区资源在哪里?今年3月开始,静安开始启用一套"社区分析工具",截至10月中旬,全区275个居委会进行了47221户百姓的需求调研。通过大调研、大走访,"小巷总理...

    [查看详细]
  2. 2020年05月28日 05点54分14秒 阚清子&纪凌尘:好的爱情就是你气我哄 网盘搜搜

    文章被作者: 她读  授权使用。想知道关于 她读 更多消息,请搜索微信号:taread  公众号: 她读在国庆的第8天,F君简直是受到了飓风般的暴击。先是鹿晗示爱,F君和万千失恋少女...

    [查看详细]
  3. 2020年05月27日 22点45分32秒 韩总统弹劾案或3月下定论大选何时举行引 网盘搜搜

    中新网1月29日电据韩媒报道,韩国宪法法院院长朴汉彻日前表示,应在3月13日前对总统朴槿惠的弹劾案下结论,由此下一届总统选举何时举行引发关注。据悉,宪法法院一般会在周四作出判决...

    [查看详细]
  4. 2020年05月14日 10点14分24秒 蛋壳公寓发表官方声明:承诺稳定房租价格 网盘搜搜

    未来网北京8月20日电蛋壳公寓不会哄抬租金,更不参与市场恶性竞争。我们将一如既往地和政府密切合作,协助制定相关的租赁政策,尽最大努力盘活存量住房,加大租赁房源供给,稳...

    [查看详细]