Linux之父终于被劝动：用了30年的Linux内核C语言将升级至C11-程序员宅基地

技术标签： python java 链表内核数据结构

晓查发自凹非寺
量子位 | 公众号 QbitAI

还在使用89年版C语言的Linux内核，现在终于要做出改变了。

今天，Linux开源社区宣布，未来会把内核C语言版本升级到C11，预计5.18版之后生效，也就是今年5月。

这个决定很突然，从发起问题到官方声明，不过才一个星期，要知道说服固执的Linux之父 Linus Torvalds可不是件容易的事。

事情的原因，说起来还有那么一点偶然的因素。

一个bug的连锁反应

问题的起源是来自上周的一次Linux社区讨论。

一位名叫Jakob Koschel的博士生，在研究阻止与内核链表primitive相关的预测执行漏洞时，发现了这样一个问题。

Linux内核广泛使用由struct list_head定义的双向链表：

struct list_head {
    struct list_head *next, *prev;
    };

这种结构通常嵌入到其他结构中。通过这种方式，可以使用任何相关的结构类型制作链表。

除此之外，内核还提供大量可用于遍历和操作链表的函数和宏。list_for_each_entry()就是其中之一，这是伪装成一种控制结构的宏。

问题就出在这个宏上。

假设内核包含如下结构：

struct foo {
        int fooness;
    struct list_head list;
    };

list中的元素可用于创建foo结构的双向链表。

假设有一个叫做 foo_list的结构声明作为此类链表的头，使用以下代码可以遍历此链表：

list参数告诉宏在foo结构中list_head结构的名称。这个循环将为列表中的每个元素执行一次，迭代器指向该元素。

由此导致了USB子系统中的一个bug：传递给该宏的迭代器在退出宏后还能被使用。

这是一件危险的事情，所以Koschel提交了一个修复补丁，在循环后停止使用迭代器搞定了bug。

说服Linus

但是Linus Torvalds本人并不太喜欢这个补丁，也没有看到它与预测执行漏洞的关系。在Koschel详细解释后，Linus承认这只是一个普通的bug。

然而事情并没有那么简单，Linus不久后意识到了真正的根源：

传递给链表遍历宏的迭代器，必须在循环本身之外的范围内声明。

这种非预测性bug发生的原因是，C89中没有“在循环中声明变量”。

像list_for_each_entry()这样的宏，从根本上总是将最后一个HEAD入口泄漏到循环之外，仅仅是因为我们不能在循环本身中声明迭代器变量。

如果可以编写一个可以声明自己的迭代器列表遍历宏，那么迭代器在循环之外将不可见，并且不会出现此类问题。

但是，由于内核停留在C89标准上，因此无法在循环中声明变量。

Linus决定，那咱们还是升级吧，也许是时候转向C99标准了。

虽然它也有20多年的历史，但至少比C89新，可以在循环中声明变量。

既然C89如此陈旧，这么多年还没做出改变呢？Linus说，那是因为我们在一些古老的gcc编译器版本中遇到了一些奇怪的问题，不能随便升级。

但是，现在Linux内核已将gcc的最低要求提升至5.1版，因此过去那些奇怪的bug应该不会有了。

而另一位核心开发者Arnd Bergmann认为，咱们完全可以升级到C11甚至更高版本。但如果升级到C17或C2x，会破坏对gcc-5/6/7的支持，因此升级到C11更容易实现。

最终，Torvalds赞成这个想法：“好的，请提醒我，让我们在5.18合并窗口的早期尝试一下。”

接下来迁移到C11可能会导致一些意想不到的bug，但如果一切顺利，下一个Linus内核版本将正式转向C11。

参考链接：
[1]https://lwn.net/SubscriberLink/885941/01fdc39df2ecc25f/
[2]https://news.ycombinator.com/item?id=30459634

本文链接：https://blog.csdn.net/QbitAI/article/details/123143593

原作者删帖不实内容删帖广告或垃圾文章投诉

智能推荐

VUE+view table.exportCsv()导出.csv文档时如何防止数据格式为科学计数_js 导出的 csv 文件中,电话号码不再以科学计数法-程序员宅基地

文章浏览阅读504次。/t水平制表符_js 导出的 csv 文件中,电话号码不再以科学计数法

常用的C语言学习网站-程序员宅基地

文章浏览阅读6.8k次，点赞6次，收藏57次。1.C语言网C语言网(www.dotcpp.com)不仅提供C语言，还包括C++、java、算法与数据结构等课程在内的各种入门教程、视频录像、编程经验、编译器教程及软件下载、题解博客，源码分享等优质资源，提倡边学边练边分享，同时提供对口的IT工作，是国内领先实用的综合性编程学习网站！2.菜鸟教程本网站提供了一些C语言的教程和C的标准库，适合使用C语言编程的程序员。本网站提供了编程的基础技术教程, 介绍了HTML、CSS、Javascript、Python，Java，Ruby，C，PHP , MySQL_c语言学习网

第45讲：Python生成式的概念以及列表生成式的应用案例_请讨论说明列表生成式的作用与应用-程序员宅基地

文章浏览阅读1.3w次，点赞25次，收藏25次。Python中针对列表、元组、集合、字典等可迭代对象提供了一种快速创建序列的简介语法。这个简介的语法就是生成式，也叫作推导式。生成式一般由：生成序列中元素的表达式+for循环+if条件组成。生成式主要是利用循环遍历一个可迭代对象，然后根据指定的生成元素表达式，每循环一次在序列中添加一个元素，从而快速的创建序列。列表生成式用于快速创建出一个列表，根据指定的列表元素生成表达式，通过for-in循环遍历从而快速创建出列表，需要注意的时，通过列表生成式生成的列表，其中的元素可能是有规律的，因为表达式是相同的。_请讨论说明列表生成式的作用与应用

一行代码搞定矩阵旋转——python_numpy矩阵旋转45度-程序员宅基地

文章浏览阅读2.9w次，点赞8次，收藏32次。在刷Leetcode的48题“Rotate Image”的时候，在网上搜了一下答案，结果被一个Python写的答案惊艳到了，人生苦短，Python是岸！废话少说，先上代码。题目是这样的：You are given an n x n 2D matrix representing an image.Rotate the image by 90 degrees (clockwise)_numpy矩阵旋转45度

【Hibernate】--一对一关联、联合主键_hql many-to-one 组合键-程序员宅基地

文章浏览阅读3.6k次。一、数据模型 1.学生信息模型（编号、名称、身份信息）public class Student implements java.io.Serializable{ private static final long serialVersionUID = 1L; private Integer sid; private String sname;_hql many-to-one 组合键

vivo手机怎样录屏？轻松录制精彩瞬间-程序员宅基地

文章浏览阅读926次，点赞22次，收藏19次。在本文中，我们将详细为您介绍vivo手机怎样录屏的方法，希望通过这篇文章，大家可以更加熟练地掌握vivo手机录屏技巧，更好地记录和分享手机中的精彩瞬间。

随便推点

JavaScript 和 TypeScript 之间的区别_teypjsb-程序员宅基地

文章浏览阅读288次。TypeScript 和 JavaScript 是目前项目开发中较为流行的两种脚本语言，我们已经熟知 TypeScript 是 JavaScript 的一个超集，但是 TypeScript 与 JavaScript 之间有什么样的区别呢？在选择开发语言时，又该如何抉择呢？JavaScript 的介绍JavaScript 是一种轻量级的解释性脚本语言，可嵌入到 HTML 页面中，在浏览器端执行，能够实现浏览器端丰富的交互功能，为用户带来流畅多样的用户体验。JavaScript 是基于对象和事件驱动的，无_teypjsb