解决snmalloc在Apple Silicon Asahi Linux上的段错误问题
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作为页大小常量,而没有考虑不同架构和配置下的页大小差异。
解决方案
针对这个问题,我们提出了两种解决方案:
-
使用系统定义的PAGESIZE宏:Linux系统通常会在编译时定义PAGESIZE宏,可以直接使用这个值。
-
动态查询系统页大小:通过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系统。
技术背景
理解这个问题需要一些背景知识:
-
内存页大小:现代操作系统使用分页机制管理内存,页大小是基本单位。不同架构可能有不同的默认页大小。
-
Asahi Linux:这是为Apple Silicon(M1/M2等)设备移植的Linux发行版,由于ARM架构特性,使用了16KB页。
-
mprotect系统调用:用于修改内存区域的保护属性,当参数不合法(如未对齐的地址或大小)时会返回EINVAL错误。
影响范围
这个问题不仅影响Asahi Linux,还可能影响其他使用非标准页大小的系统。解决方案的通用性确保了snmalloc在各种环境下的兼容性。
结论
通过这次问题修复,snmalloc增强了对不同内存页大小的支持,提高了在非x86架构和特殊配置系统上的兼容性。这也提醒我们在系统级编程中,应当避免对硬件特性做硬编码假设,而应该使用系统提供的接口动态适应不同环境。
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust0152- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
LongCat-Video-Avatar-1.5最新开源LongCat-Video-Avatar 1.5 版本,这是一款经过升级的开源框架,专注于音频驱动人物视频生成的极致实证优化与生产级就绪能力。该版本在 LongCat-Video 基础模型之上构建,可生成高度稳定的商用级虚拟人视频,支持音频-文本转视频(AT2V)、音频-文本-图像转视频(ATI2V)以及视频续播等原生任务,并能无缝兼容单流与多流音频输入。00
auto-devAutoDev 是一个 AI 驱动的辅助编程插件。AutoDev 支持一键生成测试、代码、提交信息等,还能够与您的需求管理系统(例如Jira、Trello、Github Issue 等)直接对接。 在IDE 中,您只需简单点击,AutoDev 会根据您的需求自动为您生成代码。Kotlin03
Intern-S2-PreviewIntern-S2-Preview,这是一款高效的350亿参数科学多模态基础模型。除了常规的参数与数据规模扩展外,Intern-S2-Preview探索了任务扩展:通过提升科学任务的难度、多样性与覆盖范围,进一步释放模型能力。Python00
skillhubopenJiuwen 生态的 Skill 托管与分发开源方案,支持自建与可选 ClawHub 兼容。Python0112