[oscamp 2025A] 朱文宇工作进展

[WyZ0125]

12.1-12.2工作进展
进入项目阶段稍晚，期望尽快跟上同学们的工作进度。
预期完成具有技术锻炼价值及难度适中的项目，对各个方向进行了初步调研。
选定项目方向为方向三：添加和改进系统调用；完善虚拟文件系统；
尽力参与到方向六ArceOS的标准库支持开发工作。

[WyZ0125]

12.3-12.5工作进展
完成StarryOS环境的配置；
静下心来回顾了一些比较大的概念，比如说各种架构的区分，StarryOS与ArceOS的关系；
深入学习了clone.rs源码，深化了进程调度相关知识；
理解clone3与clone的联系与区别（结构体、flags分离，新增一些FLAGS等）
调研官方文档https://man7.org/linux/man-pages/man2/clone3.2.html，规范开发clone3.rs，目前已经完成初步开发，预计周末完成功能验证提交PR.

[WyZ0125]

12.1-12.7工作总结
P1 StarryOS当下使用clone的意义，通过控制FLAGS实现fork,pthread等功能

①创建完整的新进程(fork): clone(flags=0)即可
②创建线程(pthread):
③pidfd高级进程管理(CLONE_PIDFD), vfork等等

P2 clone的局限性（参数顺序因架构不同而变化，无法传递stack_size,set_tid/set_tid_size,cgroup等高级功能）

P3 clone的局限性（exit_signal混乱，FLAGS支持不足）

P4 clone3优点1 结构体而非一堆参数，扩展性强

P5 clone3优点2 更清晰的参数空间exit_signal

P6 clone3优点3 更多flag空间，64位

P7 clone3优点4 stack_size/SET_CLEAR_SIGHAN实现

①
clone中仅提供栈顶指针可能导致用户不明确栈有多大，是否越界；
clone3中显式栈区间，指明栈底+size

②
子进程获得全新的默认处理器而非继承父进程的信号处理器

P8 clone3优点5 namespaces命名空间flags、cgroup等特性stub接口支持，支持后续扩展

P9其他

对输入的完整有效性校验

结构体参数数目的处理：

较完整测试通过

P10后续工作计划
针对clone3的一些细节问题继续优化
深入了解下clone3+futex的线程模型闭环，看能不能做

[WyZ0125]

目前正在根据周会上老师们提到的一些要点进行优化：
根据星绽OS提供的测例进行测试，发现一些bug正在处理；
参考星绽OS对clone3等的实现；

[WyZ0125]

12.8-12.9
关于clone3.rs的实现，已提交PR：Starry-OS/StarryOS#79

根据asterinas的测例完成测试，结果：

#关于clone_parent测例失败的说明：
①测例中关于老版本clone的 exit_signal与CLONE_THREAD的组合不报错，实际之前StarryOS会报错，若想通过测试需要宽松语义。选择暂时保留原OS的严格语义，不做修改。


②现StarryOS中

导致subrepear相关测试失败，sid/pgid 进程组/会话模型缺失导致报错，为内核特性缺失。
其他功能均通过测试，已提交PR，还请老师审核。

[WyZ0125]

12.10 StarryOS / task & clone 方向进展

本阶段开始系统性精读 StarryOS 的 task 体系，以 clone / exit / futex 为主线理解线程与进程生命周期。
正在重点分析 core/src/task.rs 中 Thread、ProcessData、do_exit 以及 clear_child_tid、robust list 与 futex 的关联，实现上已具备完整 pthread 生命周期基础。

当前明确了 StarryOS 与 Asterinas 在 clone 设计上的结构差异：Starry 以功能完整为主，但 clone / clone3 / exit 逻辑尚未抽象统一。

工程方面预期补齐 CLONE_VFORK 等系统调用语义，使行为更贴近 Linux，并作为可合入的阶段性 PR。
在吃透StarryOS的task体系后，实现类似Asterinas的refactor。

[WyZ0125]

12.11 – 12.12 工作进展汇总

在与老师沟通并确认技术路线后，明确本阶段工作的核心目标为：在不改变现有语义与行为的前提下，减少 clone / clone3 之间的代码重复，复用可抽象的公共逻辑，并在原有 clone3 PR 的基础上完成系统性重构。

具体工作内容包括：

• 梳理 clone 与 clone3 两套实现中高度相似的流程（参数解析 → 校验 → 任务/进程创建 → 资源继承 → 线程注册等），明确可复用边界；
• 设计统一的参数抽象接口（通过 trait 形式），在保留 clone（u32 flags）与 clone3（u64 flags + 结构体参数）差异的同时，实现核心逻辑的统一复用；
• 将任务创建、地址空间处理、信号/文件/FS 继承、PIDFD、CHILD_SETTID / CHILD_CLEARTID 等逻辑收敛至公共 do_clone 实现中；
• 保证重构过程中不引入语义回退，对关键行为（如线程/进程区分、历史兼容行为）进行逐项对照验证。

目前已完成 clone/clone3 的重构工作，并使用 asterinas 及 StarryOS 原有测试用例进行验证，测试结果与重构前保持一致，未发现功能回归问题。后续将继续补充针对 clone3 边界场景的测试与代码注释完善。

[WyZ0125]

12.13工作进展：
明确fork/vfork/clone/clone3联系与区别；
明确vfork存在的意义，做好了接下来的实现方案；
优化了新版clone.rs一些细节处理。

[WyZ0125]

12.8 – 12.14 工作进展汇总（StarryOS · task / clone 方向）

本周围绕 StarryOS 的任务（task）体系与 clone 相关系统调用 展开系统性分析与重构实践，整体目标是在不改变现有行为语义的前提下，提升代码结构清晰度与可维护性，并为后续功能补齐打好基础。

一、clone / clone3 的重构工作

• 在原有 clone3 PR 基础上，系统梳理 clone 与 clone3 中高度重复的流程；
• 通过 trait 抽象参数接口 的方式，统一核心逻辑到 do_clone 中，保留 clone(u32 flags) 与 clone3(u64 + struct) 的差异；
• 收敛了任务创建、地址空间处理、信号/文件/FS 继承、PIDFD、CHILD_SETTID / CHILD_CLEARTID 等逻辑；
• 对重构前后行为逐项对照，使用 StarryOS 与 asterinas 相关测试验证，结果与重构前保持一致，无功能回退。

二、fork / vfork / clone 语义梳理

• 明确 fork / vfork / clone / clone3 之间的关系与定位；
• 理清 vfork 的本质是 process 级别的 clone 约束，而非新类型的创建方式；
• 明确 vfork 的意义与实现方向，为后续补齐 CLONE_VFORK 的语义（父进程阻塞、exec/exit 唤醒）制定实现方案；
• 对新版 clone.rs 中若干细节进行修正与说明，使语义更贴近 Linux 文档。

三、task 体系与生命周期理解

• 以 task / clone / exit / futex 为主线，理解 StarryOS 中 Thread、ProcessData、do_exit 等核心实现；
• 梳理 CHILD_CLEARTID、robust list 与 futex 之间的关系，确认 StarryOS 已具备完整的 pthread 生命周期支持；
• 明确 thread（CLONE_THREAD）与 process（fork/clone）在地址空间、信号、进程组层面的本质差异。

四、后续计划

• 在当前稳定重构基础上，逐步补齐 vfork 的行为语义；
• 补充 clone3 边界场景测试与关键路径注释；
• 吃透 StarryOS task 体系后，推进更结构化的 refactor，参考 Asterinas 的设计思路。

[WyZ0125]

12.15-12.17 vfork 支持阶段性进展（StarryOS）

已完成的功能

• 已正确识别 CLONE_VFORK 标志，并在进程创建阶段标记 vfork 子进程；
• 已实现 父进程阻塞机制：
  父进程在 vfork 后会阻塞等待，直到子进程调用 execve 或 _exit；
• 子进程在 exec / exit 路径中能够正确唤醒父进程；
• 通过时间戳日志验证了父进程阻塞与子进程唤醒的时序关系；
• fork 与 vfork 行为区分清晰，基础语义符合预期。

当前限制

• 在 CLONE_VM（共享地址空间）场景下，父子进程仍共享用户栈；
• vfork 子进程使用父进程用户栈会导致栈破坏风险；
• 因此当前版本尚未完整支持 共享地址空间下的安全 vfork。

后续工作方向

• 为 vfork 子进程分配独立的用户态栈，在保留 CLONE_VM 的前提下避免栈破坏；
• 完善 vfork 在共享地址空间场景下的稳定性与完整语义支持。

[WyZ0125]

栈隔离 or 类似linux的 TASK_UNINTERRUPTIBLE实现？？

[WyZ0125]

12.15-12.21阶段汇报
完成vfork功能的部分实现，remove VM时能完美实现功能；
由于starryOS设计上与linux的不同，vfork返回会导致父进程使用被污染的栈导致错误，因此保留VM会出现问题；
正在尝试 栈隔离 or 类似linux的 TASK_UNINTERRUPTIBLE实现这两种方案；
栈隔离方案有了初步成果，需要继续深入这个方向。

[WyZ0125]

StarryOS 训练营最终总结 - 朱文宇

进程创建模型重构：clone3 引入、clone 重构与 vfork 探索

---

一、核心成果概述

本阶段围绕 StarryOS 的进程创建路径，完成了 clone3 引入、sys_clone 重构，并对 vfork 语义进行了探索性实现与验证，整体目标是提升进程模型的可维护性与 Linux 语义一致性。

---

二、核心工作与成果

1. SYS_CLONE3 的引入

• 在 StarryOS 内核中引入并实现 SYS_CLONE3 系统调用；
• 支持基于结构体参数的进程/线程创建方式，对齐 Linux clone3 设计；
• 为后续进程模型扩展（vfork、线程语义等）提供统一入口。

状态：已实现并可用

---

2. sys_clone / clone3 的重构

• 梳理并抽象原有 clone 与 clone3 中重复的进程创建流程；
• 将核心逻辑统一到公共创建路径，明确资源共享与复制策略；
• 在不改变原有行为语义的前提下，降低代码重复度并提升可维护性。

状态：已完成并进行测试，行为与重构前一致

---

3. vfork 的实现探索（阶段性）

• 基于 重构后的clone 框架识别并处理 CLONE_VFORK 标志；
• 实现父进程阻塞、子进程完成后唤醒的基本控制流程；
• 通过日志与测试验证父子进程执行时序符合 vfork 预期。

⚠️ 当前阶段性实现中，暂未启用 CLONE_VM 地址空间共享，以规避父子进程共享用户栈带来的内存破坏风险。

状态：基础路径已实现，完整语义待继续完善

---

三、阶段性结论

• clone3 的引入与 clone 的重构已稳定完成；
• vfork 的核心控制语义已跑通，但共享地址空间场景仍需进一步设计；
• 后续将围绕 安全启用 CLONE_VM、用户栈生命周期管理 等问题继续推进完整 vfork 实现。
• 感谢各位老师的帮助与宝贵建议

---

[WyZ0125]

简化trait后，测试结果一致