GVSDS/ViperOS
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
159 Commits 1 Branch 0 Tags
06d24ae1aa05284fbfedfc39b7afeeb69a390b7c
Commit Graph
27 Commits
Author SHA1 Message Date
TermiNexus 9745f8832a fix(vkernel): UHCI frame list 步长越界 12KB 砸坏 buddy 堆（堆损坏根因）；paging 页表记录指针缩放；清理临时探针 
根因：uhci.vp 两处写成 _frame_list + uint64(i) * 4 —— uint32* 的 +n 已按元素(4字节)缩放，
再乘 4 使实际步长变成 16 字节；1024 次循环写到 16KB，而缓冲只有 UHCI_NUM_FRAMES*4 = 4KB
⇒ 越界 12KB 覆盖相邻 buddy 空闲块头（现场：[0E][PF] cr2=0xba4c000 err=0x3 rip=0x10e598
rax=0x3000=12288），把空闲链 next/prev 写坏 ⇒ 随机 [mm] BAD blk、malloc 失败、app 崩溃。
定位手段：把空闲链表头页在内核页表标只读（paging.init 已置 CR0.WP=1），任何写入立即 #PF
并给出 rip/cr2 直接指认写者（该探针定位完已删除）。

paging：save_pt_range / restore_pt_range 里的 save_buf + i*16 在 uint64* 上实际是 128 字节
步长、+8 实际是 +64 字节（IR 取证：getelementptr i64 ⇒ 按 8 字节元素缩放），改为显式字节
地址推进记录 + 元素索引（+1 = +8 字节），两处布局保持一致。

保留的加固（非探针）：memory_block.magic 与 allocate_block/free_block/merge_blocks 的块头
校验、free() 的堆范围校验、slab 建页的 total 边界护栏、页表池按真实 buf_size 计页与
pt_pool_magic/pt_pool_limit 哨兵、#GP 分支补打 rax 便于定位非规范地址写。

elf.vp 新增 ELF_LOAD 开关（=1 正常装载；置 0 可整体跳过 app/.so 装载，便于隔离内核问题）。
 2026-10-15 13:35:34 +08:00
TermiNexus ec57603bb3 fix(vkernel): 分配器与页表池加固（块头魔数/双链校验、池边界与哨兵），并清理定位用临时探针 
mm: memory_block 加 magic（塞进原有 padding，布局仍 32B）；allocate/free/merge 前校验块头（magic、size==2^order、state、prev/next 在堆内且 8 字节对齐），坏块只报不改并限流；free() 增加堆范围校验；slab 建页前校验 total 与地址范围自洽（防 uint64 下溢 + uint16 截断导致成片写页外）；NO FREE BLOCK 附带 used/free/total。paging: 页表池按调用者给的真实 buf_size 计算可用页数（此前丢掉 buf_size、上限硬编码 PT_POOL_PAGES ⇒ 池会发到缓冲之外，把页表内容盖到 buddy 空闲块头）；加 pt_pool_magic/pt_pool_limit 哨兵与 CORRUPT/EXHAUSTED fail-fast。idt: #GP 分支补打 rax（rax+0x10 即触发访存地址），与 #PF 分支同口径。同时移除本轮定位用临时探针（elf.vp/isr.s/main.vp 恢复原状）。
 2026-10-15 12:47:39 +08:00
TermiNexus 0de7cfad60 refactor(vkernel/paging): _split_1gb_to_pd 形参改为 uint64 物理地址 
- 与本文件 MapPage/UnMapPage/_set_page_writable 同口径（都收 uint64 地址），不引入“结构体指针作形参”这种本文件没用过的写法，降低编译器特性风险

- 函数内自行重建 _p*；pdp_pa==0 直接返回 0
 2026-10-14 18:19:03 +08:00
TermiNexus c067ca76e3 fix(vkernel/paging): save/restore_pt_range 处理 1GB 大页，避免把大页内存当表项存回/写回 
- save_pt_range：PDP 层遇 PTE_PS 整片跳过（前进 1GB）—— 当 PD 用会把大页内存内容当表项存进保存缓冲

- restore_pt_range：PDP 层遇 PTE_PS 跳过 —— 该情形正常无记录（save 已跳过），若出现说明缓冲陈旧/错配，绝不把 garbage 基址当 PT 写回（restore 是写路径，会写坏任意内存）
 2026-10-14 18:18:27 +08:00
TermiNexus 1222d6caef fix(vkernel/paging): clone_for_process 处理 1GB 大页（先拆 PD 再逐层拷贝） 
- 源端 PDPTE.PS=1 时没有下层 PD：原实现会把大页内存内容当 PD 拷进新页表，再用该垃圾 PD 替换新地址空间的该条目（该区间映射被写坏，后续写入会落到任意物理内存）

- 现在先 _split_1gb_to_pd(kernel_pdp, pdp_idx) 拆成常规 PD（语义不变，512 个 2MB 条目仍映射同一物理 1GB），再沿用既有逐层拷贝；PD 层命中 2MB 时按既有 `if PTE_PS: return` 早退
 2026-10-14 18:17:06 +08:00
TermiNexus 07f4dbbb78 feat(vkernel/paging): 1GB 大页拆分（1GB->PD），MapPage/MapLargePage/UnMapPage 不再把大页当 PD 写坏内存 
- 新增 _split_1gb_to_pd：PDPTE.PS=1 时新建 PD 并把 1GB 拆成 512 个 2MB 条目（继承 PCD/PWT/USER/NX；新 PDPTE 是**非叶条目**，只带 PRESENT|WRITABLE|USER，绝不带 bit63(NX)，否则 & ~0xFFF 派生出的表指针非规范 = 刚修的 #GP 根因）；条目不存在/已是 PD 时直接返回 1，建 PD 仍由调用方既有逻辑负责

- MapPage：取到 PDPT 后先拆分，再走既有 2MB/4KB 逻辑（否则 pd.entries 会写进大页内存，读到随机“表项”）

- MapLargePage：同样先拆分，再写入 2MB 条目

- UnMapPage：先拆分再撤除命中的条目（此前会把大页内存内容当表项 → 往派生出的随机地址写 0，即“fb/pitch/w/h 被清零”那类隐性写坏）
 2026-10-14 18:14:47 +08:00
TermiNexus 9119c74232 fix(vkernel/paging): 补 1GB 大页(PTE_PS)判据，消除偶发 #GP(0) 与任意内存写坏 
- 现场：rip=0x11a93e 在 _set_page_writable 的 testb $1,(%rax,%rcx,8)；rax 由 PDPTE & ~0xFFF 得到。固件 identity 映射的 1GB 大页条目会置 NX(bit63)，& ~0xFFF 把它一起带出 → 派生“PD 基址”非规范 → 读表项即 #GP(0)（偶发取决于该 VA 是否落进 1GB 大页）

- _set_page_writable：PDP 层补 PTE_PS 分支（1GB 大页无下层 PD，W 位在条目自身），与既有 2MB 分支同口径

- MakePTWritable / MakeRangeRO：PDP 层遇 PTE_PS 跳过 —— 把 1GB 大页当 PD 解引用会把大页内存内容当表项（约一半 qword bit0=1），据此递归/写页表 → 任意内存被改（偶发数据损坏）并算出非规范指针
 2026-10-14 18:12:15 +08:00
TermiNexus d093d3fc8b chore: 改名同步 TransPyV -> ViperC（源码/配置内的纯替换） 2026-10-12 15:06:50 +08:00
TermiNexus 5b4bab59cc chore(ViperOS): 合并落库内核侧在途改动并移除 vpsdk wiki 拷贝 
VKernel / vpsdk / Apps / Libs 共 30 个源文件：内核与 SDK 侧的新语法适配及编译修正（含 bootinfo.vp / main.vp 位宽改 uint64、gfx.vp 前向引用改指针、devfs.vp 指针解引用赋值、elf.vp 跨模块函数取值等）。删除 vpsdk/wiki/*.md（14 文件，约 -8100 行）：与仓库根 wiki 重复的拷贝，统一以根 wiki 为唯一来源。
 2026-10-07 19:04:33 +08:00
TermiNexus dcb7c5c2c0 chore(ViperOS): 落库内核侧进行中的改动（26 文件，+1573/-1805） 
内容由用户产出，本次仅代为提交、未做任何语义修改；含 static 修饰符前置迁移等（新增 static 前缀 16 行）。提交消息为中性描述——如需更精确的说明请 amend。
 2026-09-28 15:24:52 +08:00
TermiNexus 5f5a119f06 fix(vkernel): schedule_int_transfer 的 toggle 形参改为值传递 
schedule_int_transfer 第 6 形参原为 toggle_ptr: uint8*，却直接转发给 _td_set_token 的值形参 toggle: uint8，命中指针隐式转整数禁令（uhci.vp:160 CastError）。改为 toggle: uint8 值传递，四个调用点去掉取地址，buf 仍以 & 传。同时纳入工作区既有的指针语法迁移：t.CPtr 改 X*、c.Addr 改 &、c.Set(c.Deref(...)) 改 *p = v。
 2026-09-27 15:05:37 +08:00
TermiNexus 2a54e2bafb 清理了 t.CVoid 2026-09-16 16:07:04 +08:00
TermiNexus 6a54373c26 fix(vkernel): 补 ISR/调度 call 的 rsi/rdi clobber、rep stosb 内存 clobber，修 mm 别名笔误 
N8  paging.vp：AllocPage 的 rep stosb 写 4096B 补 CLOBBER_MEMORY，避免优化器
    重排/消除其前后的内存读写
N9  coroutine.vp / sched.vp：_coro_entry/_thread_entry 的 call rax 补
    CLOBBER_RSI/CLOBBER_RDI（RSP 由 sub rsp,8 / add rsp,8 配对抵消，无需声明）
N15 process.vp：mm_mm.malloc/free → mm.malloc/free（该文件只有 import mm.mm as mm）
N16 elf.vp：读 RAX 的 c.Asm 补 CLOBBER_RAX（[DIAG] 探针）
N20 elf.vp / idt.vp（12 处）：外部 ELF 入口 / ISR handler 的 call 补
    CLOBBER_RSI/CLOBBER_RDI（被调方破坏全部 caller-saved 寄存器）
 2026-09-11 17:40:21 +08:00
TermiNexus a518f75b24 chore(vkernel): 重置基线 — 纳入 TPV codegen 修复配合的内核侧调整与既有工作区内容 
- devfs.vp: string.split 传 PATH_BUFFER_SIZE（配合 split 新增容量参数）

- fat32_types.vp: lfn_extract 越界钳制（base+i > MAX_LFN 返回 -1）

- sheet.vp: gfx.Renderer 实参修正为 (fb, zb, w, h)（原单参导致 w/h=0 渲染空操作）

- 同批包含 VKernel 其余既有移植改动与 vpsdk/Apps/Libs 工作区内容
 2026-09-11 14:27:01 +08:00
TermiNexus cd1cc915c5 修正了build.py，重置基线 2026-09-11 10:34:34 +08:00
TermiNexus 463a20017f fix(kernel): save_pt_range 的 c.Set 改 c.Set(c.Deref(save_count)) 写所指地址而非指针变量 2026-08-30 07:44:40 +08:00
TermiNexus 2a03330a9d fix(kernel): 分裂 2MB 大页使 .rodata 真正只读，加页表与格式串校验诊断并禁用 App 自动启动 2026-08-30 07:27:45 +08:00
TermiNexus b1956ea722 fix(kernel): paging.init 先清 WP 再 MakePTWritable 再置 WP（bootloader 已设 WP=1） 
UEFI/bootloader 的 CR0.WP 已是 1（原代码清 WP 正因此），MakePTWritable 在 WP=1 下写只读页表页即 #PF（cr2=0xf8033e0）。改为：清 WP → 放开页表页 → 置 WP=1。
 2026-08-29 17:42:34 +08:00
TermiNexus 56e38c43ea fix(kernel): MakePTWritable 移到 WP=0 阶段执行，破除页表页递归只读死锁 
在 WP=1 后改页表页自身会写只读页 → #PF（ProtectKernelRO 阶段 cr2=0xf8033e0）。改为 paging.init 里先 MakePTWritable（WP=0 允许写只读页）再置 WP，ProtectKernelRO 只保护 .rodata 内容页。
 2026-08-29 17:41:03 +08:00
TermiNexus 4f729b20a3 fix(kernel): _set_page_writable 支持 2MB 大页（PD 条目直接置 W） 
pml4 页（0xf801000）若经 2MB 大页映射，原实现遇 PS=1 直接 return 导致页表页仍只读，写 pml4.entries 持续 #PF。大页的 W 位在 PD 条目自身，直接置位即可。
 2026-08-29 17:39:25 +08:00
TermiNexus a92073851e fix(kernel): 保护 .rodata 前先放开页表页可写（WP=1 暴露写页表 #PF） 
CR0.WP=1 后暴露 bootloader 页表页（0xf8xxxx）只读的隐藏问题：MapPage 写 pml4.entries 触发 #PF（slog.so 映射 0x600000 新建页表项时 cr2=0xf801000 err=0x3）。MakePTWritable 遍历页表层次把 pml4/pdp/pd/pt 页表页自身设可写，.rodata 内容页仍只读保护。
 2026-08-29 17:37:29 +08:00
TermiNexus 04ca2d4c5b fix(kernel): .rodata 映射只读 + CR0.WP=1，越界写立即 #PF 暴露写源 
此前清 WP + 页表全可写，越界写 .rodata 字符串常量静默破坏（格式串 %lu 变 %lc、路径/符号名损坏连锁 → work=+/eyboard/terminal.elf 加载失败）。ProtectKernelRO 经 c.Asm 引用 __rodata_start/__rodata_end 清 PTE_WRITABLE，配合 CR0.WP 置位，越界写触发 #PF 打印 cr2/rip。
 2026-08-29 17:34:41 +08:00
TermiNexus f8ad5b7176 debug(paging): init_pool 打印 pt_pool_raw/pt_pool_start——clone 时 raw=0x0，区分 init 收到 0 还是 init 后被覆盖 2026-08-27 01:19:04 +08:00
TermiNexus a621b0d264 debug(paging,process,fat32): 定位 BSS 全局内存破坏——clone AllocPage 失败打印 pt_pool_raw/pt_pool_used，create_process malloc 返回实际值（mm 成功但调用方收 None），dir_find 失败 dump win 缓冲内容 2026-08-27 01:02:39 +08:00
TermiNexus 8b40203b63 提交新的建议忽略 2026-08-06 18:08:50 +08:00
TermiNexus 20e7289c61 将 .py 和 .pyi 后缀名改为了 .vp 和 .vpi 后缀名 2026-07-30 16:34:26 +08:00
Viper 6813947181 Initial import of ViperOS 2026-07-19 12:38:20 +08:00