您的位置:首页>>业界动态

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

发布时间:2019-12-03 09:11:44  来源:开源中国    背景:

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

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

  演讲中,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很快将会开源。

特别提醒:本网内容转载自其他媒体,目的在于传递更多信息,并不代表本网赞同其观点。其原创性以及文中陈述文字和内容未经本站证实,对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺,并请自行核实相关内容。本站不承担此类作品侵权行为的直接责任及连带责任。如若本网有任何内容侵犯您的权益,请及时联系我们,本站将会在24小时内处理完毕。


返回网站首页 本文来源:开源中国

本文评论
第28届中国国际广播电视信息网络展览会即将启幕
第二十八届中国国际广播电视信息网络展览会(CCBN2020)将于2020年3月26至28日在北京中国国际展览中心...
日期:12-03
三星明年翻盖可折叠手机最大优点:更多人买得起
12月3日消息 几个月前,有消息称三星正在开发一种新的翻盖手机风格的可折叠手机,计划于明年推出。...
日期:12-03
苹果正式完成收购英特尔智能手机调制解调器业务
12月3日消息 英特尔今天宣布,经过监管部门的批准,英特尔已完成以10亿美元的价格将其大部分智能手...
日期:12-03
郭明錤:明年新款iPad Pro和16寸MacBook Pro均将采用mini LED屏幕
12月3日消息 早前有关苹果全新iPhone SE2的爆料逐渐增多,而新款iPad Pro则没有过多提及。不过在天...
日期:12-03
机甲大师S1重要固件升级:解锁全新玩法,新增教学内容
(2019年11月29日 深圳) 今日,引领机器人教育潮流的机甲大师RoboMaster S1迎来首次重大固件更新1。...
日期:12-02
权威媒体连续报道引关注 任买科技张帆说了什么
下半场打响,To B服务站上风口,金融科技如何继续保持旺盛的发展态势?
日期:12-02
AI国标白皮书编制启动会在深召开 云天励飞牵头承办
11月28日、29日,由国家人工智能标准化总体组、中国电子技术标准化研究院主办,云天励飞承办的第二...
日期:12-02
2019工业技术软件化产业发展峰会暨工业APP大赛颁奖仪式隆重召开
11月28日-29日,主题为“软件定义制造业,促工业APP高质量发展”的2019工业技术软件化产...
日期:12-02
迈向新征程!2019国际第三代半导体大赛颁奖典礼盛大举办
2019年11月30日,“第八届中国创新创业大赛国际第三代半导体专业赛•全球总决赛”颁...
日期:12-02
MediaTek 5G芯片天玑1000爆红,合作厂商接连不断重金求开案
近期MediaTek(MediaTek)发布的5G SoC天玑1000引发了市场强烈关注,这款定位旗舰的5G芯片凭借强大的...
日期:12-02
水滴筹公司最新声明:核心是管理问题,调整绩效管理方式
12月2日消息 针对媒体报道,水滴筹线下人员服务环节出现问题,水滴公司再发声明,称公司第一时间成...
日期:12-02
蓝标传媒:聚焦全球化势能和短视频营销,同时布局5G营销
2019年11月28日-29日,Morketing Summit2019全球营销商业峰会在北京·中国大饭店顺利召开。蓝...
日期:12-02
录取率仅2.7% 黄炜解码平安科技平安云加速器高门槛秘诀
在生物界,昆虫通常用一双长在头顶的触角来感知外部环境。触角敏锐而警觉,是身体部位中最先接触和...
日期:12-02
第十二届中国经济媒体峰会开幕 国美荣膺“年度企业品牌价值创新奖”
​11月30日,由中国经济传媒协会与华夏时报联合举办的“中国经济增长新空间第十二届(2019)中国...
日期:12-02
中国联通SD-WAN智选专线产品接入设备招募:赛特斯、华为等五企业入围
中国联通日前发布SD-WAN智选专线产品接入设备招募结果,共有包括赛特斯信息科技股份有限公司、华为...
日期:12-02
数字教育“花开”非洲 网龙创新产品亮相埃及
以“投资非洲”为主题的“非洲2019”会议近日在埃及首都开罗举行,闽企网龙携...
日期:12-02
日本第十家Apple Store将在12月14日亮相
继「福岡Apple Store」「表参道Apple Store」的升级改造,以及日本地区规模最大的苹果零售店「丸之...
日期:12-02
红米印度:Redmi K20 Pro Q3销量居300美元以上价位档之首
12月2日消息 据红米印度官方消息,Canalys数据显示,2019年第3季度,Redmi K20 Pro获印度市场售价30...
日期:12-02
终于来了!2019年搜狗IN全景 · 臻选礼AI盛典即将揭幕!和大咖一起走进未来城市
让先进科技之光由实验室照进我们的生活,
让城市打开智慧滤镜,以AI视角勾勒未来!
  12月1...
日期:12-02
全球团队共角逐,国际第三代半导体全球总决赛开战!
2019年11月29日,第八届中国创新创业大赛•国际第三代半导体专业赛的全球总决赛(以下简称“...
日期:12-02
  专栏介绍
半斤 的专栏
半斤发表的文章
积分:
自我介绍 :