C++ 之父反驳白宫观点
白宫国家网络主任办公室 (ONCD) 此前曾发布了一份报告,呼吁科技界主动减少网络空间的攻击面;通过改用 Rust 等内存安全编程语言、避免使用 C++ 和 C 语言等易受攻击的语言,以减少内存安全漏洞的数量来提高软件安全性。
C++ 之父 Bjarne Stroustrup 在日前与 InfoWorld 的采访中针对白宫的这些言论进行了反驳。“我感到惊讶的是,这些政府文件的作者似乎对当代 C++ 的优势和提供强大安全保证的努力视而不见。另一方面,他们似乎已经意识到,编程语言只是工具链的一部分,因此改进工具和开发流程至关重要。”
Stroustrup 指出,安全性改进始终是 C++ 开发工作的目标。从 C++ 诞生的第一天起,提高安全性就一直是 C++ 的目标。只要将 K&R C 语言与最早的C++、早期的 C++ 以及当代的 C++ 进行就能看出差别。许多高质量的 C++ 都是使用基于 RAII (Resource Acquisition Is Initialization)、容器和资源管理指针的技术编写的,而不是传统的 C-style pointer messes。
Stroustrup 还列举了为改善 C++ 安全所做的一系列努力。
与安全有关的问题有两个。在数十亿行的 C++ 中,很少有完全遵循现代准则的,而且人们对安全的哪些方面是重要的概念也不尽相同。我和 C++ 标准委员会正在努力解决这个问题。
Profiles 是一个框架,用于指定一段代码需要什么保证,并启用实现来验证它们。委员会网站上有描述这一点的文件(可查看 WG21),并且还会有更多文件。然而,我们中的一些人没有心情等待委员会必然缓慢的进展。
Profiles 是一个框架,允许我们逐步改进 guarantees —— 例如,相对较快地消除大多数 range errors,并通过本地静态分析和最少的运行时检查逐步将 guarantees 引入大型代码库。我对 C++ 的长期目标一直是在需要的时候提供类型和资源安全。也许当前对内存安全的推动 —— 我想要的 guarantees 的一个子集 —— 将有助于我的努力,C++ 标准委员会中的许多人也认同这一点。
相关阅读:

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
推进“全球开源软件产品库”骨干库建设,“2024中国数据库产品调研”正式发布
在3月16日的中国开源数据库技术交流活动上,中国开源软件推进联盟常务副秘书长、北京开源创新委员会常务副主任宋可为,中国开源软件推进联盟数据库分会秘书长白国华,代表中国开源软件推进联盟正式发布了2024中国数据库产品调研。此次调研项目,是建设“全球开源软件产品库”骨干库的重要一步,标志着“全球开源软件产品库”建设工作进一步迈向成熟化和常态化运行。 “全球开源软件产品库”作为中国开源软件推进联盟重点工作,根据规划将涵盖操作系统、数据库、AI大模型、主流编程语言、区块链等领域。为更好的实施“产品库”建设工作,COPU根据“产品库”的类别构成,将组建各领域的子项工作组,其中,数据库作为核心基础软件和IT产业基础设施的关键组成,在产业链中处于关键生态位,直接影响数字基础设施发展的水平。此次在“产品库”的编制中,将其作为骨干库建设,以骨干库标准将全球主流的开源产品和商业闭源产品共同纳入库中,进一步强化产品库的全面性、客观性、可分析与可参考性。同时,“产品库”将首次引入工业界评价机制,力求为工业界的数据库选型带来实质性帮助。 以“深入对工业界的数据库选型带来实质性帮助、推动自主开源根社区版本发展”为...
- 下一篇
开源日报 | 微软 AI 程序员登场,马斯克开源 Grok
欢迎阅读 OSCHINA 编辑部出品的开源日报,每天更新一期。 # 2024.3.18 今日要点 OpenSource Daily 马斯克开源 Grok 马斯克旗下的 xAI 正式宣布在 Apache 2.0 协议下开源了大模型 Grok-1 的基本模型权重和网络架构。其参数量达到 3140 亿,远超 Meta 的 Llama 2 的 700 亿、Mistral 8x7B 的 120 亿以及 OpenAI GPT-3.5 的 1750 亿;这也是迄今参数量最大的开源大语言模型。 根据介绍,Grok 基础模型基于大量文本数据进行训练,未针对任何特定任务进行微调。其架构于 2023 年 10 月使用 JAX 和 Rust 之上的自定义训练堆栈开发,融合了神经网络设计的创新方法。该模型将 25% 的权重用于给定 token,旨在提高效率和有效性。 历时 20 年,GnuCOBOL 已达到工业成熟度 OCamlPro 创始人兼 GnuCOBOL 贡献者 Fabrice Le Fessant表示,经过 20 年的发展,开源 GnuCOBOL“已经达到了工业成熟度,可以在所有环境中与专有产品竞争。...
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
推荐阅读
最新文章
- SpringBoot2初体验,简单认识spring boot2并且搭建基础工程
- SpringBoot2更换Tomcat为Jetty,小型站点的福音
- CentOS8,CentOS7,CentOS6编译安装Redis5.0.7
- Docker使用Oracle官方镜像安装(12C,18C,19C)
- Springboot2将连接池hikari替换为druid,体验最强大的数据库连接池
- CentOS8安装Docker,最新的服务器搭配容器使用
- MySQL8.0.19开启GTID主从同步CentOS8
- CentOS7安装Docker,走上虚拟化容器引擎之路
- SpringBoot2全家桶,快速入门学习开发网站教程
- CentOS8编译安装MySQL8.0.19