- 博客(9)
- 收藏
- 关注
RSS订阅原创 图形学笔记: Cook-Torrance模型
Cook-Torrance模型基于微面理论，将宏观表面视为由大量随机取向的微面组成。通过法线分布函数 $D(h)$、菲涅尔反射率 $F$ 与几何遮蔽函数 $G$，结合立体角变换与镜面反射映射关系，推导出完整的BRDF
2026-10-12 20:55:18
328
原创 第二类Fredholm方程求解
xs−λ∫abKstxtdtysa≤s≤b1−1.2事先约定Kst是连续的。求解该积分方程所用到的方法是预解核法：我们找到一个函数Hst，称为Kst的预解核函数。若该预解核代入上式，发现满足方程，则说明我们找对了。不妨设解为xsysλ∫abHstytdt2−2.1Question] 为什么这么设说是原方程的结构 + 线性系统的数学性质，强制要求解必须长这样。具体为什么我还得沉淀。
2026-09-03 20:00:51
153
原创 Rust Pin：关于地址稳定性与类型契约的笔记
本文从自引用类型的地址失效问题出发，梳理 Rust 中 Unpin、Pin<P> 与 Pin<&mut T> 的契约关系，解释 Pin 如何通过限制普通 &mut T 的获取来封堵安全代码中的移动入口。文章进一步结合 async 状态机说明 Future::poll 为什么需要 pinned receiver，并通过手动投影和 pin-project 的宏展开，分析结构化投影、条件 Unpin、析构约束及其背后的 unsafe 证明责任。
2026-08-26 21:05:06
341
原创 快速平方根倒数算法的来龙去脉
该算法非常优美地体现了工程与数学的结合，虽然时至今日，各编程语言以及硬件平台已经不再需要手动实现该算法优化，但它的理论意义仍旧深远。
2025-01-05 13:51:04
1162
1原创 xv6：trap与系统调用
有三种事件会让CPU先把普通的指令执行中止，强行切进事件处理程序：书中使用术语trap描述被打断的代码后续需要恢复，所以会存下那瞬间的各类寄存器数据，以便后续恢复执行它们不应该知道trap的发生，即让trap是透明的切进内核后控制权转交给内核代码，然后执行相应的handler恢复后被打断的程序从它被打断的地方继续执行，一切一如往常就好像时间暂停对于被暂停的人来说好像没有发生一般隔离性要求只准许内核使用设备是有意义的，因为内核是个便利的机制，对于多处理器之间共享设备来说Xv6 陷阱处理分四个阶段进行：第
2024-02-28 22:15:33
1336
原创 xv6 页表
QEMU模拟含有RAM的计算机，从物理地址0x80000000到至少0x86400000，也就是xv6的PHYSTOP （PHYSTOP的宏定义就是。当参数为正值，返回新分配的内存的起始点（其实就是之前的brk地址+1，也就是proc的size）是链表，链起了所有的空闲空间，用整页的首个64字节空间，指向下一页的首地址。草，被GPT坑了一把，它说对所有正整数适用，结果是宏可以用，结果不保证。它就是这个式子在n为2的幂的情况下的位运算优化版，n只能是2的幂。的实现中，不明确的地址有很多类型，
2024-02-28 21:37:19
929
原创 RAIDs - 冗余磁盘阵列
直译为"廉价冗余磁盘阵列"，书中的介绍为一种协同使用多块磁盘建立更快，更大，更可靠磁盘系统的技术说白了就是用很多没那么快，没那么可靠的小磁盘，合起来一起建立一个又快，又大，又可靠的大磁盘顺序读写时传输数据耗时占大头，所以S很接近峰值带宽随机读写时寻道和旋转时间比重非常大，就很慢两者相差接近50倍[RAID-1](#RAID-0 条带化)[RAID-1](#RAID-1 镜像)[[RAID-4](#RAID-4 用奇偶验证节省空间)][RAID-5](#RAID-5: 旋转校验)
2023-12-21 17:20:56
474
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人