NVIDIA 安全团队：如果我们停止使用 C 可能会怎样？

编者 | 吕布 责编 | 张红月联合推出 | CSDN（ID：CSDNnews）

近日，在 AdaCore 上一篇关于 NVIDIA 正尝试常用 SPARK 第二语言取代 C 第二语言的系统性学术研究，引发了大家关注。

本次系统性学术研究探讨于 NVIDIA 面对着网络必要更为重要问题时存在的终究，并尝试常用 SPARK 第二语言解决更为重要问题一些对必要较为敏感的用户界面或模组。同时，还说明了 NVIDIA 在更为重要模组开发中的减小对 SPARK 的常用的法则，以及 NVIDIA 通过运用于 SPARK 获得的好处及对潜在 SPARK 运用于者的建议。

图源：AdaCore 官方网站截图

必要性却是难以通过检验来解析

NVIDIA 插件必要副总裁 Daniel Rohrer 曾坦言：“必要性是却是难以通过检验来解析的。“随后，NVIDIA 必要制作组开始寻找方案来促使日益严重影响的网络必要环境，并质疑过往的插件工程和解析意图，也意识到朝向检验的插件解析，根本难以确保必要性。

Daniel Rohrer 还表示：“希望强调可证明性作为首选的解析法则，而不是检验。”

值得庆幸的是，可以从数理逻辑的角度，依托数理逻辑计算和多种形式证明文档的行为完全符合其规范，也因此使 NVIDIA 开始学术研究了 SPARK 。

从 C 转换为 SPARK 的状况：必要性和稳健性受益重大加以改进

SPARK 作为一种编程第二语言和一套解析基本功能，可以满足颇高情况下插件工程的需求。SPARK 基于 Ada，既能对第二语言进行了偏序化以删除难以解析的功能，又能扩大合同和层面的系统以支持模块化的多种形式解析。

早在 2018 年， NVIDIA 就进行了概念解析 （POC） 演习。在短短三个月内，两个必要级别较低的用户界面上解决更为重要问题了从 C 到 SPARK 的移入。

在对投资者在短期内分析报告后， NVIDIA 必要制作组确信：随之而来着招聘、实验、新基本功能等新技术的提升，用户界面必要性和解析效率的也受益了提颇高。两个用户界面，在必要性和稳健性两个层面的重大加以改进。

由于 POC 的结果解析了早先的意图，SPARK 的常用也在 NVIDIA 内部促使传播。现有的 50 名经过专业人士养成的程序员在 SPARK 中的解决更为重要问题了大量模组，许多 NVIDIA 产品从前都外加了 SPARK 模组。

微博：性能与 C 来得，从未看着任何性能关联性？

然而，在 Hacker News 上，关于 NVIDIA 必要制作组正尝试用 SPARK 第二语言取代 C 第二语言的系统性，也引发了大家白热化的讨论：

“相信如果我们摆脱了 C 第二语言，所有插件必要更为重要问题都但会受益解决”；

“有许多 C 第二语言程序员但会尽力认为他们仍然获得了足够的经验，永远不但会编写易受各种内存必要漏洞攻击的文档”；

“性能与 C 来得，我根本从未看着任何性能关联性”。

未来，SPARK 还将给 NVIDIA 及其客戶提供哪些情况下，我们拭目以待。

参看客户端：

—贵阳看男科哪里好
跳健身操能缓解关节疼吗
艾拉莫德片疗效怎么样
关节早起僵硬用什么药好
太极集团