remount / bind / move / propagation explicitly EINVAL · Pull Request !298 · openKylin（孵化期）/x-kernel

## 概述

本次 PR 对 VFS 挂载子系统进行了两项核心改进：(1) 统一并强化 `mount(2)` 系统调用的标志位校验，将尚未实现的 `MS_REMOUNT` / `MS_BIND` / `MS_MOVE` / 传播标志等操作明确返回 `EINVAL`；(2) 在 Mountpoint 中增加用户可见的 `source` 元数据字段，并在 `sys_mount()` 中透传用户指定的 source，同时对齐 Linux 的 `/proc/mounts` 和 `/proc/mountinfo` 输出格式，对特殊字符进行八进制转义。

## 主要变更

### 1. mount 标志位校验重构 (`posix/fs/src/mount.rs`)

- 引入 `validate_mount_flags()` 统一校验函数，整合 `MS_MGC_VAL` 魔数剥离、`MS_NOUSER` 拒绝、未实现操作标志检出的逻辑
- 定义 `UNSUPPORTED_MOUNT_OPERATION_FLAGS` 常量，涵盖 `MS_REMOUNT`、`MS_BIND`、`MS_MOVE`、`MS_SHARED`、`MS_PRIVATE`、`MS_SLAVE`、`MS_UNBINDABLE`、`MS_REC`，统一返回 `EINVAL`
- 定义 `SUPPORTED_MOUNT_FLAGS` 和 `IGNORED_COMPATIBILITY_MOUNT_FLAGS` 常量，替代散落在各处的魔数
- 将 `per_mount_flags()` 和 `superblock_flags_from_sys_mount()` 的参数类型从 `i32` 改为 `u32`（前置校验后已是合法值）
- `sys_mount()` 新增 `data` 参数校验：非空 `data` 且内容非空时返回 `EINVAL`；允许 `source` 为 NULL 指针（默认转为 `"none"`）

### 2. 挂载点 source 元数据 (`fs/foundation/kvfs/src/mount.rs`)

- `Mountpoint` 新增 `source: String` 字段，存储用户可见的挂载来源字符串
- 新增 `new_with_flags_and_source()` / `new_root_with_flags_and_source()` 构造函数，支持显式传入 source
- 新增 `source()` 访问器方法
- `new_with_flags()` 重构为调用 `new_with_flags_and_source()`，根据是否为根挂载自动选择 `"rootfs"` 或文件系统名称作为 source
- `Location` 新增 `mount_with_flags_and_source()` 方法，`mount_with_flags()` 重构为调用前者
- `sys_mount()` 调用 `mount_with_flags_and_source()` 将用户传入的 source 透传到 `Mountpoint`

### 3. `/proc/mounts` 和 `/proc/mountinfo` 字段转义 (`fs/filesystems/procfs/src/task_nodes/mounts.rs`)

- 新增 `escape_mount_field()` 和 `push_octal_escape()`，对空格、制表符、换行符、反斜线、井号（可选）进行八进制转义，对齐 Linux procfs 行为
- `show_mounts()` 和 `show_mountinfo()` 输出全部字段改用 `escape_mount_field()` 处理
- `mount_source()` 优先使用 `mount.source()`，仅当 source 为空时才回退到 `mount_source_for()` 的自动推断逻辑

### 4. `unmount()` 和 `unmount_all()` 重构

- `unmount()` 采用 early-return 模式，减少嵌套层级，提升可读性
- `unmount_all()` 新增文档注释，明确其为内核关机路径专用的挂载树拆卸方法

### 5. 测试补充

- 新增 `validate_mount_flags` 相关测试：支持标志组合、兼容标志忽略、未实现操作拒绝、不支持标志拒绝
- 新增 `per_mount_flags` 测试：NOATIME+RELATIME 组合、STRICTATIME 优先级
- 新增 `superblock_flags_from_sys_mount` 测试：确认非 RO 选项被过滤
- 新增 `escape_mount_field` 测试：含/不含井号转义
- 新增 `show_mounts` / `show_mountinfo` 转义测试：特殊字符在输出中正确八进制转义

## Diagram Walkthrough

以下流程图展示了本次 PR 的核心数据流，从 `sys_mount()` 接收到用户态标志位，经过校验后创建挂载点，最终输出到 `/proc/mounts` 的完整链路：

```mermaid
flowchart TD
    A["用户态调用 mount(2)"] --> B["sys_mount()"]
    
    B --> C["validate_mount_flags()"]
    C --> D{"flags & UNSUPPORTED_OPERATION?"}
    D -->|"是"| E["返回 EINVAL"]
    D -->|"否"| F{"flags 包含未知位?"}
    F -->|"是"| E
    F -->|"否"| G["校验通过"]

G --> H["解析 source/target/fs_type"]
    H --> I{"data 非空且非空字符串?"}
    I -->|"是"| E
    I -->|"否"| J["创建 MemoryFs 实例"]

J --> K["Location::mount_with_flags_and_source()"]
    K --> L["Mountpoint::new_with_flags_and_source()"]
    L --> M["存储 source 元数据到 Mountpoint"]

N["读取 /proc/mounts"] --> O["make_mount_entry()"]
    O --> P["mount_source()"]
    P --> Q{"mount.source() 非空?"}
    Q -->|"是"| R["使用 mount.source()"]
    Q -->|"否"| S["自动推断 source"]

R --> T["show_mounts() / show_mountinfo()"]
    S --> T
    T --> U["escape_mount_field() 处理每个字段"]
    U --> V["输出八进制转义后的 proc 表项"]
```

## 新增功能

- **Mountpoint source 源信息**：`Mountpoint` 现在支持存储和返回用户指定的 source 字符串，`sys_mount()` 会将用户传入的 source 透传到挂载点
- **procfs 字段转义**：`/proc/mounts` 和 `/proc/mountinfo` 输出对空格、制表符、换行符、反斜线和井号进行八进制转义，兼容 Linux 用户空间解析器

## Bug 修复

- **未实现操作返回明确错误**：`MS_REMOUNT`、`MS_BIND`、`MS_MOVE` 及所有传播标志（`MS_SHARED`、`MS_PRIVATE`、`MS_SLAVE`、`MS_UNBINDABLE`、`MS_REC`）现在统一返回 `EINVAL`，而非静默忽略
- **`MS_SILENT` 被正确忽略但不传播**：兼容标志被剥离后不会向下游传递
- **`MS_NOUSER` 拒绝**：内核内部使用标志被正确拒绝
- **`MS_MGC_VAL` 魔数处理**：兼容 Linux 旧版 `mount(2)` 接口，剥离魔数后继续校验
- **`data` 参数校验**：非 NULL 且非空的 `data` 现返回 `EINVAL`

## 破坏性变更

- `per_mount_flags()` 和 `superblock_flags_from_sys_mount()` 参数类型从 `i32` 改为 `u32`——仅内部使用，对外部 API 无影响
- `new_with_flags()` 和 `mount_with_flags()` 现在内部委托给带 source 的变体——行为不变，但 `new_with_flags_and_source()` / `mount_with_flags_and_source()` 提供更细粒度的控制

类型	指派人员	状态
审查	Debin 郭伟康于博	进行中 (0/1人)
测试	王1宁 x-cibot	进行中 (0/1人)

openKylin（孵化期）/x-kernel .gitee-modal { width: 500px !important; }

搜索帮助

openKylin（孵化期）/x-kernel