内核服务 24/25(块搬入静态、块搬出静态)与内存迁移的用户态探针(底层模式)。
源码浏览已生成;不能解析的文件以纯文本展示,不表示通过类型检查。
# 搬运探针 底层模式的用户态探针:验证内核服务 24/25(块搬入静态、块搬出静态)以及内存增长后迁入动态块的行为。它取代原先的 `低阶探针/搬运.低阶`,同样的每一步检查,改用普通豫言语法(编译模式在包描述中声明为 `底层`)。 - 静态阶段:往返、越界拒绝、边界恰好合法; - `内存增长` 之后:线性内存内容保持,静态区不变,块数非零; - 动态阶段:往返、越界拒绝、4095 字节整块。 全部通过输出 `OK`;任一步失败输出 `FAIL` 加步号并陷阱。构建:`node 豫言操作系统/宿主/节点/宿主.cjs yy豫构.wasm 构建 搬运探针 --输出 /tmp/yy搬运探针.wasm`。
# 搬运探针 底层模式之用户态探针:验内核服务二十四与二十五(块搬入静态、块搬出静态),及内存增长后迁入动态块之行。此替昔之 `低阶探针/搬运.低阶`,诸步之检如故,改用常豫言之语法(编译之模,于包描述中书为“底层”)。 - 静态之时:往返、越界则拒、界上恰合法; - `内存增长` 之后:线性内存之内容保持,静态区不变,块数不为零; - 动态之时:往返、越界则拒、四千零九十五字节之整块。 尽通则书 `OK`;任一步败则书 `FAIL` 及步号而陷。构之:`node 豫言操作系统/宿主/节点/宿主.cjs yy豫构.wasm 构建 搬运探针 --输出 /tmp/yy搬运探针.wasm`。