[oscamp 2025A] 蒋奇润工作进展

[HoshimiP]

第一周工作内容

11.23 - 11.23

• 研究StarryOS源码

[HoshimiP]

第二周工作内容

11.24 - 11.30

• 为axpoll添加了测试和ci
• 为starry-signal编写了基础功能测试 计划完善线程级信号管理器功能的测试 并编写模拟现实情况的异步测试

[HoshimiP]

第三周工作内容

12.1-12.6

• 为starry-signal的部分测试和ci 已提交pr
• 有关restore方法的测试仍需要完善

[HoshimiP]

第四周工作内容

12.7-12.13

• 完善了 starry-signal 中 restore 方法的测试
• 为 starry-signal 添加了更多测试 覆盖以下场景
  • 信号的异步发送
  • 异步信号的阻塞行为
  • 异步环境下信号的处理与恢复以及后续交付流程
• 为 scope-local 添加了更多测试
  • 验证多线程作用域数据的隔离
  • 嵌套作用域的切换
  • 多线程环境及 panic 情况下的 drop 行为
• 验证 starry-vm 的错误处理逻辑

[HoshimiP]

调试arceos-org/percpu 时发现的一些问题

rust 1.91.0 中，lld 已更新至 LLVM 21 引入了新限制：

When using --no-pie without a SECTIONS command, the linker uses the target’s default image base. 
If -Ttext= or --section-start specifies an output section address below this base, there will now be an error. 
--image-base can be set at a lower address to fix the error. (#140187)

这一改动导致无法直接将运行地址设置在较低地址。

在链接脚本中，使用

.percpu * (NOLOAD) : AT(_percpu_start) {
        _percpu_load_start = .;
        *(.percpu .percpu.*)
        _percpu_load_end = .;
        . = _percpu_load_start + ALIGN(64) * CPU_NUM;
    }

设置加载地址似乎会影响 .percpu 段的大小，使得 _percpu_end = _percpu_start + SIZEOF(.percpu); 的计算结果过大。

例如：

.percpu (NOLOAD) : AT(_percpu_start)

会导致：

_percpu_size 大小不符合预期导致 assert_eq!(init(), 4); 断言失败

而预期结果应为：

_percpu_start = n
_percpu_end   = n + 0x100

在原始写法中：(rust版本低于1.91.0)

.percpu 0x0 (NOLOAD) : AT(_percpu_start) {}

则能得到符合预期的结果，且可以通过全部断言

如果在新版本的链接脚本中写死 _percpu_end = _percpu_start + 0x100 会在 unsafe { write_percpu_reg(percpu_area_base(0)) }; 处引发 SIGSEGV

SELF_PTR.write_current_raw(tp); 处的有效地址被错误设置为 tp + 0x2cd810 超过分配的大小(0x100)导致越界访问

[HoshimiP]

第五周工作内容

12.17-12.20

• 在 starry-signal 的测试中引入全局内存池
• 优化了 scope-local 中有关引用计数的测试 并新增了多个线程共享同一作用域的测试场景
• 尝试分析了 arceos-org/percpu 测试中断言失败的原因

[HoshimiP]

工作总结

1. 为 Starry-OS/axpoll 添加了测试 包括基础逻辑测试和异步环境下任务的注册和唤醒
2. 为 Starry-OS/starry-signal 各模块添加了测试 模拟了一个用户栈 测试 handle_signal restore 等重要方法 并编写在多线程场景下信号的处理与恢复以及后续交付流程相关的测试
3. 补充了 Starry-OS/scope-local 的测试 包括多线程场景下作用域的隔离以及drop行为的正确性 调整链接脚本使测试能够正常运行
4. 尝试分析了 arceos-org/percpu 测试中断言失败的原因 并在issue中提交了报告 (该问题已得到修复)