IT天空

 找回密码
 加入我们

手机号码,快捷登录

搜索

[新资讯] 微软正在开发基于 Rust 的安全编程语言

[复制链接]
Lacy 发表于 2019-12-3 13:36:25 | 显示全部楼层 |阅读模式

IT天空 定制版高速U盘 64G/128G/256G | 固态U盘 256G Pro/512G Pro


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

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

d25c7bb0921a1c3.png


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













原文链接:https://www.cnbeta.com/articles/tech/917221.htm
最近访问 头像模式 列表模式
fudashuai 发表于 2019-12-28 19:21:25 | 显示全部楼层

活跃 13151| 技术 0| 互助 0| 钻石 0

何时能够完成开发?
您需要登录后才可以回帖 登录 | 加入我们

本版积分规则

Lacy

51159

活跃

2

技术

9

互助
签到任务
最火的业界新闻
  • 11代酷睿新系列上市:低压轻薄本今年有哪些
  • 10年前后iPad对比:性能更强大 价格反而便
  • 微信电脑版还是鸡肋吗?微信PC版3.0内测体
  • 受限于麒麟9000备货量 Mate 40的生产量预计
  • NVIDIA 456.38正式版驱动发布:八年前的GTX
  • 投票显示:PS5标准版最受国外玩家欢迎 是XS
  • Twelve South为iMac/Mac mini/Mac Pro推出
  • 希捷推出Exos X18 18TB企业级硬盘与Exos AP
  • NVIDIA官方暗示:20GB显存的RTX 3080正在路
  • HDMI和DP谁才是未来主流?
炫酷的硬件Show
  • 振华SUPER FLOWER 铜皇450W 铜牌电源
  • 比小更小,Mini-STX装机
  • 华擎X99E-ITX + 银欣ML06 装机记
  • 最强双路泰坦硬管水冷 制作流程
  • 银欣FT02,双路E5工作站
  • 迟到的定制机箱小钢炮清理灰尘
  • 乔思伯UMX1 Plus,小巧的家用综合主机
  • 分体水冷第二弹-Inwin 805 infinity
  • 第一次DIY硬管水冷~~
  • 樱桃MX6.0 青轴 机械键盘 开箱
有趣的美图分享
  • 当代小学生名字有多偶像剧
  • 断水流大师兄
  • 怎么分关系
  • 事实证明,时尚与年龄无关
  • 我哭了
  • 被暖到啦
  • 谁都别想动我的苹果
  • 谁来做一下这个动作
  • 到底谁是迟钝的人啊
  • 喜欢哪一款
关注官方微信
快速回复 返回顶部 返回列表