2026-04-17
#a9f2
31 min
$并发控制：互斥（Mutual-Exclusion）
Q: 并发不是"多线程编程"的内容吗？原因来自 UNIX 的 fork-execve 模型——在这个模型下，进程之间是不共享内存的。但系统调用是共享内核数据结构的，于是互斥成了操作系统自身要解决的问题……
#os
#notes
31m
2026-04-16
#c71e
18 min
$多处理器编程
REVIEW: 从零开始的系统。一台刚上电的计算机，什么软件都没运行，谁来决定第一条指令是什么？谁来把 OS 加载进内存？这就是启动链（boot chain）要解决的问题……
#os
#notes
18m
2026-04-14
#b0a4
24 min
$存储管理
内存管理相关概念——内存空间的分配与回收。操作系统作为系统资源的管理者，需要对内存进行管理：分配、回收、保护、共享……
#os
24m
2026-04-13
#e83b
12 min
$PAC — Probably Approximately Correct
Q: 训练误差 5%，测试误差能保证多少？ PAC 框架给出的是概率意义上的上界——不保证每次都对，但保证"大概率对，且误差不大"……
#ml
#theory
12m
2026-04-10
#7fd1
16 min
$Self-attention
从 Seq2Seq 说起。给定一个序列，我们想得到另一个序列——翻译、摘要、问答。问题在于：上下文信息该如何被恰当地聚合？Attention 的核心洞察是——不用循环，不用卷积……
#ml
#paper
16m