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

微软正在开发基于 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小时内处理完毕。


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

本文评论
二手市场哪款国产手机最受宠?转转Q2畅销榜:小米8登顶
2020年后,手机厂商迅速发力5G市场,华米OV全面进入存量市场之争。
日期:07-09
Zoom 要小心了:微软开始发力视频会议市场
每家科技巨头都有自己的核心竞争力。谷歌是 2C 全套互联网服务,Facebook 是社交矩阵,苹果是软硬件...
日期:07-09
开会员赢好礼,葫芦视频上线年中活动,当贝投影免费领!
要说智能电视上什么软件看影视剧好用,除了热门的bat软件外,葫芦视频的下载量也非常高。葫芦视频涵盖...
日期:07-09
台积电 ADR 大涨创历史新高,市值逾 3000 亿美元
7 月 9 日消息,据台湾媒体报道,受投资者看好,台积电 ADR(美国存托凭证)大涨,创下历史新高。
日期:07-09
2020世界人工智能大会线上开幕,苏宁“AI+零售”再成热议焦点
自动驾驶、未来医疗、人机对话、AIoT生态建设等30+主题论坛,7位图灵奖得主、37位院士、150+参展企...
日期:07-09
2020 年上半年我国发明专利授权榜出炉:华为、OPPO、京东方排名前三
7 月 9 日消息 国家知识产权局发布的知识产权数据显示,2020 年上半年,国内 (不含港澳台)发明专利...
日期:07-09
引领地铁客户服务全面升级 科大讯飞智能云站务员获得乘客肯定
近日,由科大讯飞和中软万维联手打造的新型虚拟智能云站务员,在山东青岛地铁2号线台东站正式上岗,...
日期:07-09
十代酷睿高性能熱機參見!Acer暗影騎士·擎上手評測
就在上個月英特爾發布了全新的第十代酷睿高性能版處理器,此次推出的使用英特爾Thermal Velocity Bo...
日期:07-09
苹果 iOS 14 新增实时耳机音频音量监测功能
7月9日消息 苹果去年在 iOS 13 上增加了音频音量监控功能,以防止用户长时间佩戴耳机接触高音量的声...
日期:07-09
创通联达发布TurboX C610/C410 SOM和Open Kit 助力智能视觉场景化应用
2020年7月7日, Qualcomm Technologies, Inc.发布Qualcomm®视觉智能平台的全新系统级芯片(SoC)&m...
日期:07-09
Android 11 将允许用户设置特定的 Wi-Fi 不自动连接
7月9日消息 据外媒 Androidpolice 报道,Android 11 在 Wi-Fi 网络的设置面板中新增了一个名为 &ldq...
日期:07-09
联想发布两款 ThinkStation 微型主机:十代酷睿、容积仅 1L
7月9日消息 联想昨日推出了两款微型主机:ThinkStation P340 Tiny 和 ThinkStation P340 SFF,相比...
日期:07-09
英伟达 CEO 黄仁勋身价接近 100 亿美元
7 月 9 日消息,据国外媒体报道,英伟达的市值在周三超过了英特尔,成为了美国市值最高的芯片公司,...
日期:07-09
PLANAR顶级98吋电视国美全球首销 大屏风暴席卷中国
​7月9日,美国顶级品牌PLANAR在国美零售全渠道开启全球首销,国美南京新街口店、国美北京大中家电生...
日期:07-09
科创板又迎优质企业 中科星图成功上市
科创板又迎一家硬核高科技企业。7月8日,中科曙光参股子公司中科星图股份有限公司(下称“中科...
日期:07-09
不送充电器的iPhone12:可能更好卖了
距离iPhone12系列发布还有不到3个月的时间(如果苹果不鸽的话),关于新机的爆料似乎已经被各大媒体、...
日期:07-09
腾讯宣布进军 AI 新药研发:助力攻克无药可治的疾病
7月9日消息 据有关统计:传统药物研发耗时耗力,一般需要超过 15 年,耗资 30 多亿美元,但每年上市...
日期:07-09
全球 Q1 智能手机应用处理器收益排名:高通、华为海思、苹果、三星、联发科
7月9日消息 Strategy Analytics 最新发布的研究报告显示,尽管在疫情期间,2020 年 Q1 全球智能手机...
日期:07-09
干货!支付宝金融级IT架构及分布式架构的应用实践
导语:​过去几年是云原生理念高速普及的黄金时期。微服务、容器、无服务器架构、服务网格等新技术...
日期:07-09
权威报告发布:29%机构面临倒闭!6月还有机会逆袭吗?
近期,中国民办教育协会发布的《疫情期间培训教育行业状况的调研报告》显示,调查的1459家教育机构...
日期:07-09
  专栏介绍
半斤 的专栏
半斤发表的文章
积分:
自我介绍 :