Linus 亲手帮英特尔优化 LAM 代码-低调大师

Linus 亲手帮英特尔优化 LAM 代码

2023-05-09 1005

去年年底英特尔将 LAM（Linear Address Masking ：线性地址掩码）功能提交到 Linux 6.2 的合并窗口，但该功能受到 Linus 的批评并拒绝合并。在经历了一段时间的代码改进后，Linus 终于同意将 LAM 代码合并到 Linux 6.4 窗口。

但 Linus 似乎仍对英特尔工程师提交的代码不太满意，在合并了 LAM 代码后，先是写了一个使 access_ok() 独立于 LAM 的新补丁，而后又亲手写了多个补丁对 LAM 代码进行了优化。

在最新提交的 LAM 优化补丁中，Linus 解释了自己的动机：

我对此版本中的 LAM（“线性地址掩码”）的 “access_ok()” 的完成方式感到很不爽，而且它实际上也有一些小 Bug ，所以我动手清理了代码。

改动主要集中在以下几方面：

使用 __user 指针的符号位而不是屏蔽地址，并根据 TASK_SIZE 范围检查它。 get/put_user() 端做了这部分，但是 'access_ok()' 做了天真的“掩码和范围检查”，它不仅生成多余的代码，还意味着 __access_ok 本身的任务做得不好， copy_from_user_nmi() 没有得到正确的检查。
将所有 64 位代码仅移动到 64 位版本的头文件中，这样就不会污染共享的 x86 代码，也不会误导用户 LAM 可以在 32 位环境中工作。
修复地址掩码中的 Bug（这不重要，只是完全删除了错误的代码）。
几个简单的清理，并添加了关于 access_ok() 规则的注释。

Linus 重新编写了约一百行代码来清理 LAM ，这意味着如果测试没问题，就可以在 Linux 6.4 中顺利启用 LAM 功能。不过这次 Linus 竟然亲自动手为英特尔工程师修改“有瑕疵的代码”，这种情况相当少见。

微信关注我们

原文链接：https://www.oschina.net/news/240345/torvalds-cleans-up-lam-

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

seL4 微内核获得 2022 ACM 软件系统奖

美国计算机协会 (ACM) 宣布将 2022 年ACM 软件系统奖项授予 seL4 微内核团队，以表彰他们开发了第一个具有工业强度的高性能操作系统；该系统目前已通过完整的、机械检查的全功能正确性证明。 “2009 年，软件系统获奖者展示了 seL4 微内核，它成为有史以来第一个具有工业强度的通用操作系统，并正式证明了实现的正确性。在随后的几年中，该团队进一步补充证明了 seL4 强制执行完整性和机密性的核心安全属性，将证明扩展到内核的二进制代码，并对一个 protected mode OS 进行了首次健全和完整的最坏情况下的执行时间分析。 seL4 高可靠微内核从根本上改变了研究界对形式化方法所能完成的认识：它表明不仅可以为工业级操作系统完成正确性和安全性的形式化证明，而且可以在不影响性能或通用性的情况下完成。seL4 上持续维护和增长的证明帮助产生了证明工程的新学科 —— 证明过程建模、工作量估算和大规模证明的系统处理的艺术。” 团队成员包括 Gernot Heiser（新南威尔士大学）、Gerwin Klein（Proofcraft）、Harvey Tuch（谷歌）、Kevin E...

2023-05-09

724

摘要：本文主要为大家讲解在Python开发中常见的几种数据结构。本文分享自华为云社区《Python的常见数据结构》，作者： timerring 。数据结构和序列元组元组是一个固定长度，不可改变的Python序列对象。创建元组的最简单方式，是用逗号分隔一列值： In [1]: tup = 4, 5, 6 当用复杂的表达式定义元组，最好将值放到圆括号内，如下所示： In [3]: nested_tup = (4, 5, 6), (7, 8) In [4]: nested_tup Out[4]: ((4, 5, 6), (7, 8)) 用 tuple 可以将任意序列或迭代器转换成元组： In [5]: tuple([4, 0, 2]) Out[5]: (4, 0, 2) In [6]: tup = tuple('string') In [7]: tup Out[7]: ('s', 't', 'r', 'i', 'n', 'g') 可以用方括号访问元组中的元素。和C、C++、JAVA等语言一样，序列是从0开始的： In [8]: tup[0] Out[8]: 's' 元组...

2023-05-08

863

资源下载

更多资源

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。