首页
/ 解决snmalloc在Apple Silicon Asahi Linux上的段错误问题

解决snmalloc在Apple Silicon Asahi Linux上的段错误问题

2025-07-09 17:05:42作者:霍妲思

snmalloc是微软开发的一款高性能内存分配器,最近在Apple Silicon设备上运行的Asahi Linux系统中出现了一系列段错误(Segmentation Fault)问题。本文将深入分析问题原因并提供解决方案。

问题现象

在Asahi Linux系统上运行snmalloc测试套件时,多个测试用例出现了段错误。通过strace工具追踪系统调用,发现错误与内存保护操作有关:

mprotect(0xffaf10631000, 274877911040, PROT_READ) = -1 EINVAL (Invalid argument)
madvise(0xffaf10631000, 274877911040, MADV_DONTDUMP) = -1 EINVAL (Invalid argument)
--- SIGSEGV {si_signo=SIGSEGV, si_code=SEGV_ACCERR, si_addr=0xffaf10631dc0} ---

根本原因分析

经过调查,发现问题源于Asahi Linux的特殊内存页配置。与传统的x86架构Linux系统使用4KB内存页不同,Asahi Linux采用了16KB对齐的内存页。而snmalloc当前实现中硬编码了4KB页大小的假设,导致内存操作失败。

具体来说,问题出在snmalloc的Linux平台抽象层(PAL)实现中,它直接使用了4096作为页大小常量,而没有考虑不同架构和配置下的页大小差异。

解决方案

针对这个问题,我们提出了两种解决方案:

  1. 使用系统定义的PAGESIZE宏:Linux系统通常会在编译时定义PAGESIZE宏,可以直接使用这个值。

  2. 动态查询系统页大小:通过sysconf(_SC_PAGE_SIZE)系统调用在运行时获取实际的系统页大小。

最终实现采用了第一种方案,修改了Posix平台抽象层的代码:

#ifdef PAGESIZE
    static constexpr size_t page_size = PAGESIZE;
#else
    static constexpr size_t page_size = Aal::smallest_page_size;
#endif

这种修改确保了snmalloc能够适应不同架构和配置下的页大小要求,特别是对于使用16KB页的Asahi Linux系统。

技术背景

理解这个问题需要一些背景知识:

  1. 内存页大小:现代操作系统使用分页机制管理内存,页大小是基本单位。不同架构可能有不同的默认页大小。

  2. Asahi Linux:这是为Apple Silicon(M1/M2等)设备移植的Linux发行版,由于ARM架构特性,使用了16KB页。

  3. mprotect系统调用:用于修改内存区域的保护属性,当参数不合法(如未对齐的地址或大小)时会返回EINVAL错误。

影响范围

这个问题不仅影响Asahi Linux,还可能影响其他使用非标准页大小的系统。解决方案的通用性确保了snmalloc在各种环境下的兼容性。

结论

通过这次问题修复,snmalloc增强了对不同内存页大小的支持,提高了在非x86架构和特殊配置系统上的兼容性。这也提醒我们在系统级编程中,应当避免对硬件特性做硬编码假设,而应该使用系统提供的接口动态适应不同环境。

登录后查看全文
热门项目推荐
相关项目推荐

项目优选

收起
kernelkernel
deepin linux kernel
C
22
6
docsdocs
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
195
2.17 K
nop-entropynop-entropy
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
9
1
金融AI编程实战金融AI编程实战
为非计算机科班出身 (例如财经类高校金融学院) 同学量身定制,新手友好,让学生以亲身实践开源开发的方式,学会使用计算机自动化自己的科研/创新工作。案例以量化投资为主线,涉及 Bash、Python、SQL、BI、AI 等全技术栈,培养面向未来的数智化人才 (如数据工程师、数据分析师、数据科学家、数据决策者、量化投资人)。
Python
78
72
RuoYi-Vue3RuoYi-Vue3
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
973
574
ops-mathops-math
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
549
79
Cangjie-ExamplesCangjie-Examples
本仓将收集和展示高质量的仓颉示例代码,欢迎大家投稿,让全世界看到您的妙趣设计,也让更多人通过您的编码理解和喜爱仓颉语言。
Cangjie
349
1.36 K
giteagitea
喝着茶写代码!最易用的自托管一站式代码托管平台,包含Git托管,代码审查,团队协作,软件包和CI/CD。
Go
17
0
ohos_react_nativeohos_react_native
React Native鸿蒙化仓库
C++
207
284
leetcodeleetcode
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
60
17