fix(starry-kernel): open/openat — 15-class local POSIX compatibility fixes

[Lfan-ke]

相关上游 bug: Refs #708 #709 #710 #711 #712 (本 PR 修 15 类局部不兼容; #711 #712 由 deep PR #720 完整修复; #708 #709 #710 子系统级缺失留后续 PR)

本 PR 是 改动范围小的局部 fix; 不惜一切代价深度修复 (axerrno 新 ENXIO variant / has_trailing_slash / fd_is_path / FIFO ENXIO 等) 在 deep PR #720.

📑 目录

• 分支用途
• 修复覆盖了哪些 test PR / bug-* 复现
• 修复点 (核心 — 用户 review 重点)
• 相关 syscall man 摘录 (核心段)
• 🔬 CI / 验证
• 复现命令
• 📝 Commits
• 引用

分支用途

在 test-open-family 测试套件揭出的 starry-vs-Linux 行为差异基础上, 对 starry kernel 与 axfs-ng 做 15 类局部修复, 把 open(2) / openat(2) 拉回贴近 Linux/POSIX 的语义。

本 PR 仅修复 starry kernel 15 类局部不兼容 (3 个 .rs 文件 + 4 toml 注册新 bugfix targets); bug-* 复现程序在 fork 分支单独提交 (例如 fork: bug-starry-open-eintr-not-implemented), 由本 fix-bugs PR 的 toml 变更注册到 starry CI。

含 3 文件 .rs 改动: os/StarryOS/kernel/src/file/fs.rs / os/StarryOS/kernel/src/syscall/fs/fd_ops.rs / os/arceos/modules/axfs-ng/src/highlevel/file.rs。

对应 #719 (branch fix-open-openat-bugs → base dev)。

修复覆盖了哪些 test PR / bug-* 复现

本 PR 改动同时配合:

• test-suit/.../syscall/test-open-family/ — 同 (fork branch: test-open-family) 的 28-模块测试套件 (main.c 已同步注释为 28 模块, 与 *_run() 数量一致), 验证修复后回归无 regression (该 test 套件本身在另一 PR)
• test-suit/.../bugfix/bug-open-* / bug-openat-* — 单文件 c/src/main.c 复现, 每个对应一个被本分支「fix 或部分 fix」的差异点 (来自 fork 上的独立 bug-starry-* 分支系列, 由本 PR 的 4 个 bugfix/qemu-*.toml 注册到 CI)

15 类局部修复对应的 bug-* 复现:

• bug-open-path-fstat-ebadf — fs.rs resolve_at 改用 location()
• bug-open-path-honors-excl / -path-creat-creates / -path-dir-write-eisdir / -path-sym-write-enoent — fd_ops.rs flags_to_options 把 O_PATH 改为 last-override 并清掉 access/create/excl/trunc/append
• bug-open-pathmax-no-enametoolong — sys_openat 加 path.len() >= 4096
• bug-openat-empty-path-no-enoent — sys_openat 加 path.is_empty() + axfs-ng OpenOptions::open 早期 empty 检查 (双层 defense)
• bug-open-creat-directory-einval — sys_openat 拒绝 O_CREAT|O_DIRECTORY (O_PATH 例外)
• bug-open-tmpfile-no-einval — sys_openat 拒绝 O_TMPFILE + O_RDONLY (O_PATH 例外)
• bug-openat-abs-path-honors-invalid-dirfd — sys_openat 绝对路径短路 dirfd 为 AT_FDCWD
• bug-open-creat-on-existing-dir-no-eisdir — axfs-ng _open 加 self.create && loc.is_dir() → EISDIR
• bug-open-nofollow-sym — axfs-ng open no_follow 分支判 basename = symlink → FilesystemLoop (ELOOP)
• bug-open-rdonly-append-promotes-rw — axfs-ng to_flags 真值表细化 (RDONLY+APPEND 不升级 RW), File::new 初始 position 恒 0, File::write 强制 access(WRITE) 检查
• bug-open-rdonly-trunc-einval / bug-open-append-trunc-einval — axfs-ng is_valid() 不再拒绝 RDONLY+TRUNC 或 RDWR+APPEND+TRUNC

修复点 (核心 — 用户 review 重点)

文件: os/StarryOS/kernel/src/file/fs.rs

resolve_at (around line 60)

改: file.inner().backend()?.location().clone() → file.inner().location().clone()。原因: backend() 对 O_PATH-only fd 返 BadFileDescriptor, 会让 fstat(O_PATH_fd) 误返 EBADF。man O_PATH:「fstat(2) is in the allowed-operations list」。修 bug-open-path-fstat-ebadf。

文件: os/StarryOS/kernel/src/syscall/fs/fd_ops.rs

flags_to_options (around line 41 → 56-72)

改: 删掉早期 if flags & O_PATH != 0 { options.path(true); } 单独分支; 在函数末尾加上 O_PATH last-override 块: options.path(true).read(true) .write(false).create(false).create_new(false).truncate(false) .append(false)。原因: man O_PATH:「When O_PATH is specified in flags, flag bits other than O_CLOEXEC, O_DIRECTORY, and O_NOFOLLOW are ignored.」原实现 O_PATH 与 access mode / create / excl / trunc / append 并存。修 bug-open-path-honors-excl / -path-creat-creates / -path-dir-write-eisdir / -path-sym-write-enoent。

sys_openat (around line 152 — 新增 5 块校验)

改: 紧接在 vm_load_string(path)? 后插入:

1. path.len() >= 4096 → AxError::NameTooLong (修 bug-open-pathmax-no-enametoolong, man ENAMETOOLONG)
2. path.is_empty() → AxError::NotFound (修 bug-openat-empty-path-no-enoent, openat 不支持 AT_EMPTY_PATH)
3. O_CREAT|O_DIRECTORY (无 O_PATH) → AxError::InvalidInput (修 bug-open-creat-directory-einval, man EINVAL)
4. O_TMPFILE + O_RDONLY (无 O_PATH) → AxError::InvalidInput (修 bug-open-tmpfile-no-einval, man EINVAL 第 2 variant)
5. 绝对路径短路: if path.starts_with('/') { dirfd = AT_FDCWD as _ } (修 bug-openat-abs-path-honors-invalid-dirfd, man「If the pathname is absolute, then dirfd is ignored.」)

文件: os/arceos/modules/axfs-ng/src/highlevel/file.rs

OpenOptions::_open (around line 197 — 新增 1 块)

改: 加 if self.create && loc.is_dir() && !self.path { return Err(VfsError::IsADirectory); }。原因: O_CREAT 在已存在 directory 上必须 EISDIR (CREAT 隐含「创建 regular file」意图)。O_PATH 走 path 分支不真正 open, bypass。修 bug-open-creat-on-existing-dir-no-eisdir。

OpenOptions::open (around line 243 — 新增 empty path 检查 +

no_follow 分支补 ELOOP) 改:

1. 入口加 if path.as_ref().as_str().is_empty() { return Err(VfsError::NotFound); } (与 syscall 层 defense in depth)
2. if !self.no_follow { ... try_resolve_symlink ... } else if loc.node_type() == NodeType::Symlink && !self.path { return Err(VfsError::FilesystemLoop); } 原因:
3. resolve_parent("") 否则会返 cwd 让 open(2) 误成功, man ENOENT。修 bug-openat-empty-path-no-enoent。
4. man O_NOFOLLOW:「If the trailing component ... is a symbolic link, then the open fails, with the error ELOOP.」修 bug-open-nofollow-sym。

OpenOptions::to_flags (around line 297)

改: 真值表细化 — 拆开 (false, _, true) 与 (true, _, true) 两条 catch-all, 改为 5 条精确 arm:

(true, false, true) → READ | APPEND
(false, true, true) → WRITE | APPEND
(true, true, true) → READ | WRITE | APPEND
(false, false, true) → APPEND // RDONLY-equivalent + APPEND: 纯状态位

原因: man O_APPEND 只描述「append mode (write 前 lseek 到 EOF)」, 不暗示 RDONLY|APPEND 会升级到 RW。原实现 (true, _, true) → READ|WRITE|APPEND 会把 O_RDONLY|O_APPEND fd 静默升级到 RW, 违反 POSIX access-mode 独立性。修 bug-open-rdonly-append-promotes-rw。

OpenOptions::is_valid (around line 322)

改: 删整段 match (write, append) { ... } 矩阵; 改为「只要 read|write| append 至少有一个真, 就接受」。原因: man VERSIONS:「The (undefined) effect of O_RDONLY | O_TRUNC varies among implementations. On many systems the file is actually truncated.」 Linux ext2/3/4 都接受 RDONLY|TRUNC (截断成功)。原实现拒绝太严。修 bug-open-rdonly-trunc-einval + bug-open-append-trunc-einval。

File::new (around line 902)

改: 删掉 if flags.contains(APPEND) { inner.location().len() } else { 0 }; 改为 Some(Mutex::new(0)), 并加 let _ = flags; 抑制 unused 警告。原因: man:「The file offset is set to the beginning of the file (see lseek(2)).」初始 position 恒 0; APPEND 只在 write 前 lseek 到 EOF (由 write() 的 access(APPEND) 分支处理)。修 bug-open-rdonly-append-promotes-rw 的 read-side 部分。

File::write (around line 1015)

改: 在 access_flags fetch_or 之后加 self.access(FileFlags::WRITE)?; 强制 WRITE 位检查。原因: 原实现只检查 APPEND 位时 RDONLY|APPEND 可以静默 write。修 bug-open-rdonly-append-promotes-rw 的 write-side 部分。

相关 syscall man 摘录 (核心段)

open(2) §O_PATH: 仅获取文件描述符做 path 操作; read/write/fchmod/ fchown/fgetxattr/ioctl/mmap 全部失败 EBADF; 允许 close/fchdir/fstat/ fstatfs/dup/F_GETFD/F_SETFD/F_GETFL/passing as dirfd; flag bits other than O_CLOEXEC, O_DIRECTORY, O_NOFOLLOW are ignored。

open(2) §O_APPEND: "The file is opened in append mode. Before each write(2), the file offset is positioned at the end of the file. [...]"

open(2) §O_NOFOLLOW: "If the trailing component (i.e., basename) of pathname is a symbolic link, then the open fails, with the error ELOOP. [...]"

open(2) §ERRORS:

• EINVAL — invalid flag combination (CREAT|DIRECTORY, TMPFILE without W)
• EISDIR — O_CREAT 在已存在 directory 上
• ELOOP — NOFOLLOW + basename symlink
• ENAMETOOLONG — path > PATH_MAX (4096)
• ENOENT — empty path (openat 不支持 AT_EMPTY_PATH)
• ENOTDIR — dirfd 是文件

openat(2): 绝对路径忽略 dirfd; 相对路径相对于 dirfd; 相对路径 + invalid dirfd → EBADF。

open(2) §VERSIONS: "The (undefined) effect of O_RDONLY | O_TRUNC varies among implementations. On many systems the file is actually truncated."

📊 PR 关系图

graph LR
  I708[Issue #708-712<br/>open/openat 5 bug] -.->|Refs partial| P719[<b>PR #719</b><br/>15 类局部修复<br/>本 PR]
  P719 -.->|Deep sibling| P720[PR #720<br/>6 类跨子系统]
  P730[PR #730<br/>test-open-family 28 模块] -->|Validates| P719
  style P719 fill:#fef3c7,stroke:#f59e0b,stroke-width:3px

Loading

🔬 CI / 验证

gh pr checks 2 --repo Lfan-ke/tgoskits: pass=18 skipping=30。全绿。本分支后被 fix-open-openat-deep (#720) supersede 为更完整的修复版本。

复现命令

切换分支:

cd <repo-root>
git checkout fix-open-openat-bugs

编译验证:

cargo check --target x86_64-unknown-none -p starry-kernel
cargo check --target riscv64gc-unknown-none-elf -p starry-kernel
source .starry-env.sh && cargo starry test qemu --arch aarch64 -c smoke
source .starry-env.sh && cargo starry test qemu --arch loongarch64 -c smoke

starry qemu (4 arch) — 验本 fix 不引入回归:

# syscall group (含 test-open-family 28 模块)
source .starry-env.sh && cargo starry test qemu --arch x86_64 -c syscall
source .starry-env.sh && cargo starry test qemu --arch aarch64 -c syscall
source .starry-env.sh && cargo starry test qemu --arch riscv64 -c syscall
source .starry-env.sh && cargo starry test qemu --arch loongarch64 -c syscall

# bugfix group (含 bug-starry-open-* 系列, 验由 FAIL → PASS)
source .starry-env.sh && cargo starry test qemu --arch x86_64 -c bugfix
source .starry-env.sh && cargo starry test qemu --arch aarch64 -c bugfix
source .starry-env.sh && cargo starry test qemu --arch riscv64 -c bugfix
source .starry-env.sh && cargo starry test qemu --arch loongarch64 -c bugfix

期望: 4 arch 全 PASS (syscall + bugfix); bug-starry-open-* 由 fix 前的 FAIL → PASS。

📝 Commits

• 5217d3c26 fix(starry-kernel): open/openat 15 类局部修复

详细变更见 PR Files 标签 (37 files / +1058 / -28: 3 .rs [fs.rs / fd_ops.rs / axfs-ng highlevel file.rs] + 4 bugfix toml + 15 bug-* test fixture dirs [each: CMakeLists.txt + src/main.c, 15*2=30 test files]).

合入上游时本 PR squashed 到 1 commit (满足"上游 push 仅 1 commit"; 含开发期主功能 fix + 后续 CI re-run / docstring 微改合并) (test 本体亦由 fork:test-open-family 单独 PR 推进, 本 PR 只保留 starry kernel 改 + 4 个 bugfix toml 注册)。

引用

• 相关 PR: 基于 test (fork branch: test-open-family); 衍生 deep fix(starry-kernel): open/openat deep — 6-class cross-subsystem rework #720 (fix-open-openat-deep) 补 6 类跨子系统改造; 留 5 个 bug-* ([starry bug] openat(dfd, relpath) SIGSEGV on starry x86_64 #708-[starry bug] O_PATH fd permits fchmod on starry #712) 未在本分支修

Signed-off-by: Leo Cheng chengkelfan@qq.com

---

⚠️ CI 超时注意: 由于 #716 (apk-curl loongarch64 600s timeout, ~90% flake), starry loongarch64 上 CI 可能随机超时 — 不代表本 PR/issue 改动的回归。请关注其他 arch (x86_64/aarch64/riscv64) 结果或重 trigger CI 重试。

[mai-team-app]

PR Review: fix(starry-kernel): open/openat — 15 类局部 POSIX 兼容性修复

变更概述

本 PR 对 starry kernel 和 axfs-ng 做 15 类局部修复，涉及 3 个 Rust 源文件 + 15 个 bug-* C 测试复现 + 4 个 toml CI 注册。核心目标是让 open(2) / openat(2) 的行为贴近 Linux/POSIX 语义。

修改内容详细分析

1. fs.rs — resolve_at 使用 location() 替代 backend()（修复 fstat(O_PATH-fd) → EBADF）

修改动机：File::backend() 内部调用 self.access(FileFlags::empty())，该函数会检查 !self.is_path()。对 O_PATH 文件描述符，is_path() 返回 true，导致 backend() 返回 BadFileDescriptor，进而使 fstat(O_PATH-fd) 误返 EBADF。

正确性：File::location() 直接返回 self.inner.location()，绕过 access 检查。man 2 open §O_PATH 明确列出 fstat(2) 为允许操作（since Linux 3.6），修改完全正确。

影响：修复后 fstat() 可正常工作于 O_PATH fd。注意同一文件中 ioctl 路径（line 224）仍使用 backend()?.location()，这对 ioctl 来说是正确的（O_PATH fd 不允许 ioctl）。

2. fd_ops.rs — flags_to_options: O_PATH 移至末尾并清空冲突标志

修改动机：原代码中 O_PATH 标志与 access mode / create / excl / trunc / append 并存。man 2 open 明确说明："When O_PATH is specified in flags, flag bits other than O_CLOEXEC, O_DIRECTORY, and O_NOFOLLOW are ignored."

正确性：将 options.path(true).read(true).write(false).create(false).create_new(false).truncate(false).append(false) 放在函数末尾作为 last-override，确保 O_PATH 屏蔽所有不应生效的标志。注意 read(true) 的设置是为了 F_GETFL 能正确返回访问模式位（Linux 行为一致）。

影响：修复了 O_PATH 与 O_CREAT/O_EXCL/O_TRUNC 等标志的交互，使 5 个 bug-* 用例通过。

3. fd_ops.rs — sys_openat 新增 5 块前置校验

• path.len() >= 4096 → ENAMETOOLONG：正确。starry 原先仅检查单组件长度（255），缺少 PATH_MAX 整体检查。
• path.is_empty() → ENOENT：正确。openat() 不接受 AT_EMPTY_PATH（仅特定 *at 调用如 fstatat 支持）。
• O_CREAT|O_DIRECTORY 且非 O_PATH → EINVAL：正确。man 2 open §ERRORS 明确列出此组合为 EINVAL。
• O_TMPFILE|O_RDONLY 且非 O_PATH → EINVAL：正确。bitwise uflags & O_TMPFILE == O_TMPFILE && uflags & 0b11 == O_RDONLY 逻辑正确（需注意 O_TMPFILE 为高位标志，与低 2 位 access mode 的掩码互不干扰）。
• 绝对路径短路 dirfd = AT_FDCWD：正确。man openat: "If pathname is absolute, then dirfd is ignored." 该模式与 resolve_at (PR #605) / sys_fchownat (PR #588) 一致。

4. file.rs — OpenOptions::_open: O_CREAT 在已有目录上 → EISDIR

修改动机：O_CREAT 隐含「创建普通文件」意图，与已存在目录冲突。Linux 拒绝此操作返回 EISDIR。

正确性：!self.path 豁免 O_PATH（不真正打开/修改文件），完全正确。

5. file.rs — OpenOptions::open: 空路径 + no_follow symlink 检查

• 空路径 → NotFound：与 syscall 层 defense in depth 双层保护。resolve_parent("") 否则返回 cwd 本身让 open 误成功。
• no_follow + symlink basename → ELOOP：man O_NOFOLLOW: "If the trailing component (i.e., basename) of pathname is a symbolic link, then the open fails, with the error ELOOP." 之前该分支仅跳过 symlink 解析但未显式拒绝，symlink 仍被当作可打开目标。

6. file.rs — to_flags 真值表细化

修改动机：原实现 (true, _, true) → READ|WRITE|APPEND 会将 O_RDONLY|O_APPEND 静默升级为 READ|WRITE|APPEND，违反 POSIX access-mode 独立性。

正确性：展开为 5 条精确 arm，覆盖 (read, write, append) 全部组合。(false, false, true) → APPEND 作为 RDONLY+APPEND 的语义——纯状态位，不影响 access mode。

影响：这是对 POSIX 语义的重要修复。O_RDONLY|O_APPEND 的 fd 不再被静默授予写权限。

7. file.rs — is_valid 简化

修改动机：原实现拒绝 RDONLY|TRUNC 和 RDWR|APPEND|TRUNC，但 Linux 接受这些组合。man VERSIONS: "The (undefined) effect of O_RDONLY|O_TRUNC varies among implementations. On many systems the file is actually truncated."

正确性：Linux ext2/3/4 实际上都接受 RDONLY|TRUNC。简化后只要 read/write/append 至少有一个真即接受，符合 Linux 实际行为。

8. file.rs — File::new: 初始 position 恒 0 + File::write 强制 WRITE 位检查

修改动机：man 2 open: "The file offset is set to the beginning of the file (see lseek(2))." O_APPEND 只在每次 write 前 lseek 到 EOF，不影响初始 position。原实现将 APPEND fd 的初始 position 设为 EOF，导致 RDONLY|APPEND 的 fd 上 read() 立即返回 EOF。

正确性：File::write 中新增 self.access(FileFlags::WRITE)?; 确保写操作严格检查 WRITE 位。之前 access(FileFlags::APPEND) 仅检查 APPEND 位，RDONLY|APPEND fd 可静默写入。

测试复现 (15 个 bug-*)

每个 bug-* 测试都有清晰的 PASS/FAIL 诊断，代码质量好：

• 使用 _GNU_SOURCE 获取 O_TMPFILE 等定义
• 错误输出包含 errno 数值和描述字符串
• setup 阶段有适当的错误处理
• teardown 阶段正确清理临时文件

CI 注册在 4 个架构 (x86_64/aarch64/riscv64/loongarch64) 的 toml 文件中，全面覆盖。

CI 状态

所有 CI 检查通过或跳过（宿主机 runner 不可用），无失败项。cargo fmt --check 通过。

相关 PR

• PR #720 (fix-open-openat-deep) 是本 PR 的深度版本，包含所有 15 类修复 + 额外 6 类跨子系统改造。PR #720 还修复了 #711 (FIFO ENXIO) 和 #712 (O_PATH fchmod bypass)。
• PR #730 (test-open-family) 是配套的 28 模块测试套件。
• 本 PR 修复后仍有 5 个未覆盖的 bug (#708-#712) 留待后续 PR。

轻微建议（非阻塞）

1. let _ = flags; 抑制 unused 警告可以考虑改用 _flags 参数名或在函数签名中用 _ 前缀，更符合 Rust 惯例。但当前写法完全可接受。

结论

15 类 POSIX 兼容性修复全部正确，代码注释详尽且引用了 man page 原文，CI 通过，15 个 bug-* 测试复现代码质量好。这是一个高质量的系统调用兼容性修复 PR。APPROVE。

⚠️ 注意：PR #720 (fix-open-openat-deep) 包含本 PR 的所有修复 + 额外跨子系统改造。如果 #720 先合入，本 PR 可能需要 rebase 或关闭。建议先合入 #719 再合入 #720（#720 需要基于 #719 rebase）。

Powered by mimo-v2.5-pro

[mai-team-app]

PR 审查: fix(starry-kernel): open/openat — 15 类局部 POSIX 兼容性修复

变更概述

本 PR 对 starry kernel 和 axfs-ng 做 15 类局部修复，涉及 3 个 Rust 源文件（fs.rs / fd_ops.rs / axfs-ng highlevel/file.rs）+ 14 个 bug-* C 测试复现 + 4 个 toml CI 注册。核心目标是让 open(2) / openat(2) 的行为贴近 Linux/POSIX 语义。

---

一、合并冲突状态

✅ origin/dev (19e43af91) 与 PR base 完全一致，git merge --no-commit --no-ff pr/719 成功无冲突。maintainer_can_modify: true。无需额外 rebase 或冲突处理。

---

二、各修改点正确性分析

1. fs.rs — resolve_at: backend() → location()

File::backend() 调用 self.access(FileFlags::empty())，对 O_PATH fd 检查 !self.is_path() 返回 BadFileDescriptor。File::location() 绕过 access 检查直接返回底层 Location。man 2 open §O_PATH 明确列出 fstat(2) 为允许操作。修改正确。

2. fd_ops.rs — flags_to_options: O_PATH last-override

原代码 O_PATH 与 access mode / create / excl / trunc / append 并存。将 O_PATH override 放在函数末尾：options.path(true).read(true).write(false).create(false).create_new(false).truncate(false).append(false)，确保屏蔽所有不应生效的标志。read(true) 保证 F_GETFL 返回正确访问模式位。修改正确。

3. fd_ops.rs — sys_openat 新增 5 块前置校验

校验	POSIX/man 引用	正确性
path.len() >= 4096 → ENAMETOOLONG	man ENAMETOOLONG	✅
path.is_empty() → ENOENT	openat 不支持 AT_EMPTY_PATH	✅
O_CREAT|O_DIRECTORY (非 O_PATH) → EINVAL	man §ERRORS EINVAL	✅
O_TMPFILE|O_RDONLY (非 O_PATH) → EINVAL	man §ERRORS EINVAL 第 2 variant	✅
绝对路径短路 dirfd = AT_FDCWD	man openat: absolute → dirfd ignored	✅

O_PATH 例外处理完备。uflags & O_TMPFILE == O_TMPFILE 与低位 access mode 掩码正确互不干扰。全部正确。

4. file.rs — _open: O_CREAT + 目录 → EISDIR

O_CREAT 隐含「创建普通文件」意图，与已存在目录冲突。!self.path 豁免 O_PATH（不真正打开/修改）。符合 Linux 行为。

5. file.rs — open: 空路径 + no_follow symlink 检查

• 空路径 → NotFound：与 syscall 层 defense in depth 双层保护。✅
• no_follow + symlink basename → ELOOP：man O_NOFOLLOW 明确要求。✅

6. file.rs — to_flags 真值表细化

原实现 (true, _, true) → READ|WRITE|APPEND 将 O_RDONLY|O_APPEND 静默升级为 RW。展开为 5 条精确 arm 覆盖全部组合。(false, false, true) → APPEND 作为 RDONLY+APPEND 的语义——纯状态位。修正了 POSIX access-mode 独立性。

7. file.rs — is_valid 简化

Linux ext2/3/4 接受 RDONLY|TRUNC。man VERSIONS: "The (undefined) effect of O_RDONLY|O_TRUNC varies among implementations." 简化后只要 read/write/append 至少一个真即接受。符合 Linux 实际行为。

8. file.rs — File::new position 恒 0 + File::write 强制 WRITE 检查

• man 2 open: "The file offset is set to the beginning of the file." O_APPEND 只在每次 write 前 lseek 到 EOF。
• 新增 self.access(FileFlags::WRITE)?; 确保 RDONLY|APPEND fd 不能写入。

两处均正确。

---

三、锁与死锁分析

新增校验均在 vm_load_string(path)? 之后、with_fs(dirfd, ...) 之前执行，不涉及锁嵌套。File::new 新代码 Mutex::new(0) 减少了锁获取（原代码调用 inner.location().len() 可能触发 fs 层锁）。File::write 新增的 access() 在 position.lock() 之前执行。无死锁风险。

---

四、测试复现质量

14 个 bug-* 测试质量好：

• 每个测试有清晰 PASS/FAIL 诊断
• 包含 errno 数值 + 字符串描述
• setup 阶段有适当错误处理
• teardown 阶段正确清理临时文件

已注册到 4 个架构的 qemu-*.toml（x86_64/aarch64/riscv64/loongarch64）。

---

五、建议（非阻塞）

1. let _ = flags; 抑制 unused 警告可考虑改用 _flags 参数名更符合 Rust 惯例。当前写法完全可接受。

---

六、相关 PR

• PR #720 (fix-open-openat-deep) 包含本 PR 所有修复 + 额外 6 类跨子系统改造。建议先合入 #719 再合入 #720。
• PR #730 (test-open-family) 是配套的 28 模块测试套件。

---

结论

15 类 POSIX 兼容性修复全部正确，代码注释详尽且引用 man page 原文，无死锁风险，无合并冲突，无回归风险。APPROVE。

⚠️ 注意：PR #720 包含本 PR 全部修复 + 更多内容。如果 #720 先合入，本 PR 需要 rebase 或关闭。

Powered by mimo-v2.5-pro

[mai-team-app]

💡 小建议（非阻塞）：O_PATH last-override 块中 options.read(true).write(false) — read(true) 是为了 F_GETFL 正确返回访问模式位。建议加一行注释说明 read(true) 的目的（当前注释说 'drop access mode (no I/O)' 但 read(true) 实际上是设置访问模式位）。不过不影响正确性。

[ZR233]

你后续改动 如 72d4d07 并没推送到 pr，请确认是否推送到了pr

[Lfan-ke]

合入顺序提示：本 PR（fix）建议在测试套件 #730 (test-open-family) 之后合入（test → fix → deep）。本 PR 已 rebase 到最新 dev（98b5861b6），fix 逻辑未变——仅解决 bugfix toml 的 timeout 冲突（采用 dev 侧 360）。CI 已重新触发。

[Lfan-ke]

已推送，但是等待CI可能仍然需要0.5-2小时左右

[mai-team-app]

PR 审查: fix(starry-kernel): open/openat — 15 类局部 POSIX 兼容性修复

变更概述

本 PR 对 starry kernel 和 axfs-ng 做 15 类局部修复，涉及 3 个 Rust 源文件（fs.rs / fd_ops.rs / axfs-ng highlevel/file.rs）+ 15 个 bug-* C 测试复现 + 4 个 toml CI 注册。核心目标是让 open(2) / openat(2) 的行为贴近 Linux/POSIX 语义。

---

一、本地验证结果

验证项	结果
cargo fmt --check	✅ 通过
cargo clippy --manifest-path os/arceos/modules/axfs-ng/Cargo.toml --all-features -- -D warnings	✅ 通过
cargo clippy --manifest-path os/StarryOS/kernel/Cargo.toml --all-features -- -D warnings	❌ 失败（ax-hal/src/kcov.rs:82 中 __PERCPU_IN_KCOV_TRACE 未找到）——预存问题，与本 PR 无关
git merge --no-commit --no-ff origin/pr/719	✅ 无冲突

二、CI 状态

所有 CI check runs 为 skipped（自托管 runner 不可用），无失败项。这是基础设施问题，非本 PR 引起。

三、合并冲突状态

origin/dev 与 PR base 一致，git merge --no-commit --no-ff pr/719 成功无冲突。maintainer_can_modify: true。

---

四、各修改点正确性分析

1. fs.rs — resolve_at: backend() → location()

File::backend() 调用 self.access(FileFlags::empty())，对 O_PATH fd 检查 !self.is_path() 返回 BadFileDescriptor。File::location() 绕过 access 检查直接返回底层 Location。man 2 open §O_PATH 明确列出 fstat(2) 为允许操作（since Linux 3.6）。修改正确。

2. fd_ops.rs — flags_to_options: O_PATH last-override

原代码 O_PATH 与 access mode / create / excl / trunc / append 并存。将 O_PATH override 放在函数末尾：options.path(true).read(true).write(false).create(false).create_new(false).truncate(false).append(false)，确保屏蔽所有不应生效的标志。read(true) 保证 F_GETFL 返回正确访问模式位。修改正确。

3. fd_ops.rs — sys_openat 新增 5 块前置校验

校验	POSIX/man 引用	正确性
path.len() >= 4096 → ENAMETOOLONG	man ENAMETOOLONG	✅
path.is_empty() → ENOENT	openat 不支持 AT_EMPTY_PATH	✅
O_CREAT|O_DIRECTORY (非 O_PATH) → EINVAL	man §ERRORS EINVAL	✅
O_TMPFILE|O_RDONLY (非 O_PATH) → EINVAL	man §ERRORS EINVAL 第 2 variant	✅
绝对路径短路 dirfd = AT_FDCWD	man openat: absolute → dirfd ignored	✅

O_PATH 例外处理完备。uflags & O_TMPFILE == O_TMPFILE 与低位 access mode 掩码正确互不干扰。全部正确。

4. file.rs — _open: O_CREAT + 目录 → EISDIR

O_CREAT 隐含「创建普通文件」意图，与已存在目录冲突。!self.path 豁免 O_PATH（不真正打开/修改）。符合 Linux 行为。

5. file.rs — open: 空路径 + no_follow symlink 检查

• 空路径 → NotFound：与 syscall 层 defense in depth 双层保护。✅
• no_follow + symlink basename → ELOOP：man O_NOFOLLOW 明确要求。✅

6. file.rs — to_flags 真值表细化

原实现 (true, _, true) → READ|WRITE|APPEND 将 O_RDONLY|O_APPEND 静默升级为 RW。展开为 5 条精确 arm 覆盖全部组合。(false, false, true) → APPEND 作为 RDONLY+APPEND 的语义——纯状态位。修正了 POSIX access-mode 独立性。

7. file.rs — is_valid 简化

Linux ext2/3/4 接受 RDONLY|TRUNC。man VERSIONS: "The (undefined) effect of O_RDONLY|O_TRUNC varies among implementations." 简化后只要 read/write/append 至少一个真即接受。符合 Linux 实际行为。

8. file.rs — File::new position 恒 0 + File::write 强制 WRITE 检查

• man 2 open: "The file offset is set to the beginning of the file." O_APPEND 只在每次 write 前 lseek 到 EOF。
• 新增 self.access(FileFlags::WRITE)?; 确保 RDONLY|APPEND fd 不能写入。

两处均正确。

---

五、锁与死锁分析

新增校验均在 vm_load_string(path)? 之后、with_fs(dirfd, ...) 之前执行，不涉及锁嵌套。File::new 新代码 Mutex::new(0) 减少了锁获取（原代码调用 inner.location().len() 可能触发 fs 层锁）。File::write 新增的 access() 在 position.lock() 之前执行。无死锁风险。

六、测试复现质量

15 个 bug-* 测试质量好：

• 每个测试有清晰 PASS/FAIL 诊断
• 包含 errno 数值 + 字符串描述
• setup 阶段有适当错误处理
• teardown 阶段正确清理临时文件

已注册到 4 个架构的 qemu-*.toml（x86_64/aarch64/riscv64/loongarch64），每架构 15 个 bug-open-* / bug-openat-* 条目与测试目录一一对应。

---

七、建议（非阻塞）

1. let _ = flags; 抑制 unused 警告可考虑改用 _flags 参数名更符合 Rust 惯例。当前写法完全可接受。
2. O_PATH last-override 中 read(true) 的目的（F_GETFL 访问模式位）可在注释中更明确说明。

---

八、相关 PR

• PR #720 (fix-open-openat-deep) 包含本 PR 所有修复 + 额外 6 类跨子系统改造。建议先合入 #719 再合入 #720。
• PR #730 (test-open-family) 是配套的 28 模块测试套件。

---

结论

15 类 POSIX 兼容性修复全部正确，代码注释详尽且引用 man page 原文，无死锁风险，无合并冲突，无回归风险。APPROVE。

Powered by mimo-v2.5-pro