跳到内容
liz's doc
ai
01-模型与上下文
上下文工程 Token 与采样 模型架构:Dense 与 MoE 推理与 thinking
02-Agent
Agent 循环与工具使用 MCP 与 Skills 记忆与状态 多 Agent 编排 评估与可观测
03-应用与生产
RAG 与检索增强 提示工程与结构化输出 成本、性能与可靠性 安全与防护 生产化清单
compilers
01-词法分析
正则与自动机 词法器设计
02-语法分析
递归下降与 LL 分析 LR 分析 AST 设计与错误恢复
03-语义分析
符号表与作用域 类型系统
04-中间表示
SSA 形式 LLVM IR 实战
05-优化
数据流分析 经典优化 寄存器分配
06-代码生成
指令选择 目标代码与 ABI
07-运行时
垃圾回收 链接与加载
08-编译技术应用
JIT 编译 DSL 设计 编译期元编程 LSP 与语言服务器
devops
蓝牙操作手册 Caddy 操作手册 证书操作手册 数据库操作手册 磁盘操作手册 DNS 操作手册 Docker 操作手册 Git 操作手册 Grafana 操作手册 Helm 操作手册 Kubernetes 操作手册 内核操作手册 媒体操作手册 mihomo 操作手册 网络接口操作手册 nftables 操作手册 Perforce 操作手册 Gentoo 包管理操作手册 Prometheus 操作手册 SSH 操作手册 存储操作手册 systemd 操作手册 Tailscale 操作手册
runbooks
wildwindstudio.com 证书自动续签 + 腾讯云 CLB 换绑 wildwindstudio.com 接入 EdgeOne（EO）运维手册
distributed-systems
01-基础理论
CAP 与一致性模型 时间与时钟 故障模型
02-共识协议
Raft Paxos 共识在实际系统中的实践
03-复制与一致性
复制策略 冲突解决 分布式事务
04-分区与路由
一致性哈希 分片策略 动态再平衡
05-成员与发现
故障检测 Gossip 协议 服务发现
06-分布式存储
分布式读写路径 反熵与数据修复 存储系统实例
07-消息与流
消息语义 Kafka 架构 消费组与协作
08-可观测性
分布式追踪 指标与告警
hardware
01-基础电学
基本物理量与定律 直流电路分析
02-被动元件
电阻器 (Resistor) 电容 (Capacitor) 电感与变压器
03-半导体
能带理论与掺杂 PN结 (PN Junction) 二极管 (Diode) BJT 双极型晶体管 MOSFET (金属-氧化物-半导体场效应管) 功率器件概述
04-模拟电路
放大电路基础 运算放大器 (Op-Amp) 电源电路
05-数字电路
逻辑门与布尔代数 组合逻辑电路 时序逻辑电路
06-接口与通信
电平标准与接口物理层 串行总线协议 USB 与 Type-C PCIe 与高速互联 显示与摄像头接口
07-无线通信
WiFi 与蓝牙 物联网无线协议
08-电源与保护
充电协议与快充 电池技术 保护电路
09-嵌入式系统
MCU 选型与开发生态 常见外围电路 传感器 存储技术
10-实践与工具
测量仪器与工具 PCB 设计基础 调试与编程接口
homelab
本地大模型能帮上什么忙 —— 边界、场景与自动化 本地 LLM 部署笔记 全栈监控:Prometheus + Grafana + Loki + Tempo + Bark 家庭网络架构文档 网络故障恢复手册 rathole + Caddy 内网穿透:从 CGNAT 到公网 HTTPS 的完整方案 服务器生命周期:接入与移除 软件栈清单 系统盘备份与恢复 定时任务与自动调度
linux-kernel
01-进程管理
task_struct 与进程生命周期 调度器 上下文切换 信号与 ptrace
02-内存管理
虚拟内存 VMA 与 Maple Tree 物理内存管理 Slab 与 kmalloc 页面回收与交换
03-文件系统
VFS — 虚拟文件系统层 Page Cache 与 I/O 文件系统实现 VFS 进阶 ZFS — 不是内核的一部分，但绕不开 NFS (Network File System) 临时与伪文件系统
04-中断与时钟
中断子系统 时钟与定时器 时间管理
05-同步机制
锁机制 RCU (Read-Copy-Update) 同步调试
06-网络子系统
网络协议栈概述 TCP/IP 协议栈 Netfilter 与 BPF/XDP 其他网络主题 RDMA (Remote Direct Memory Access)
07-块设备层
块设备层 NVMe 与存储
08-eBPF与可观测性
eBPF 基础 eBPF 程序类型 追踪与调试
09-安全机制
LSM 与访问控制 内核加固 Crypto API 与存储加密
10-驱动与设备模型
设备模型 PCIe 与 USB 驱动模型 DRM 与图形 IOMMU 与 DMA API
11-内核开发与构建
Kbuild 与模块 调试与测试 Live Patching
12-容器与原语
命名空间 cgroup
13-KVM与虚拟化
KVM 架构 KVM 内存与设备虚拟化 QEMU 与 KVM 协作
14-电源管理
cpufreq 与 cpuidle 休眠与唤醒
networking
01-L2数据链路
Ethernet 与 MAC ARP 与 NDP 交换、桥接与 VXLAN
02-L3网络层
IPv4 协议 IPv6 协议 ICMP 与 PMTUD 路由与 BGP
03-L4传输层
TCP UDP 与 QUIC 传输层 端口与 NAT 穿透
04-DNS
DNS 协议与解析 DNSSEC 与 DNS 安全 DNS 隐私: DoH, DoT, DoQ, ODoH DNS 基础设施
05-TLS与PKI
TLS 1.2 握手 TLS 1.3 握手 证书与 PKI mTLS 与双向认证
06-HTTP
HTTP/1.1 HTTP/2 HTTP/3 反向代理与负载均衡 REST 与 API 设计 WebSocket 与 SSE
07-代理协议
正向代理 透明代理与 TUN 代理协议对比
08-VPN与隧道
WireGuard 协议 Tailscale 架构 IPsec 与 IKEv2 隧道技术对比
09-邮件协议
SMTP IMAP 与 POP3
10-实时通信
WebRTC 流媒体协议 MQTT
11-消息与事件
Webhook 与回调 消息队列协议
12-安全协议
SSH 协议 OAuth2 与 OpenID Connect 认证框架
13-网络诊断
tcpdump 与 Wireshark 网络故障诊断方法论 网络性能与调优
14-协议设计与演进
二进制协议设计 协议演进与兼容
rust
01-所有权与借用
所有权模型 引用与借用 生命周期
02-类型系统
基础类型与内存布局 enum 与模式匹配 struct 与 trait
03-泛型与Trait进阶
泛型与单态化 Trait 对象与动态分发 关联类型与 GAT
04-智能指针与内存
Box, Rc, Arc Cell, RefCell, Mutex: 内部可变性 Allocator 与内存布局
05-错误处理
Result 与 Option Error trait 与生态
06-并发与异步
Send 与 Sync async/await 内部机制 tokio 运行时 线程与同步原语
07-Unsafe Rust
裸指针与 FFI unsafe 块与 Soundness 契约 内联汇编
08-宏系统
声明宏 (macro_rules!) 过程宏 (Procedural Macros)
09-Cargo与构建
Cargo.toml 详解 条件编译与 cfg Workspace 与项目管理
10-标准库深度
Iterator 与闭包 集合类型 字符串与 Path
11-FFI与系统交互
C ABI 与 bindgen 内核模块与 no_std
12-异步生态
Tower 与中间件 tonic (gRPC)
systems-programming
01-ELF与二进制格式
ELF 文件格式 动态链接与 ld.so 加载与启动: _start → main
02-系统调用ABI
x86-64 系统调用 ABI ARM64 系统调用 ABI glibc syscall 包装剖析
03-进程与内存
进程内存布局 malloc 内部: ptmalloc2 ASLR 与安全防护
04-信号与异常
信号处理用户态 ptrace 与调试接口
05-IO与文件系统
缓冲 I/O (stdio) io_uring: 革命性异步 IO epoll 与事件驱动
06-IPC与同步
futex: 用户态锁的内核心跳 管道与 socketpair 共享内存与信号量
07-工具链与编译
GCC 与 Clang 内部 链接器脚本与重定位 Make / CMake / Meson 构建系统
08-性能与调试
perf 深度使用 Valgrind 与 Sanitizers 实战 ftrace 与 bpftrace 用户态追踪
tools
chezmoi CLI 工具箱 Ghostty 我的工具链 Zsh 环境 WezTerm Zellij
hyprland
Hyprland 生态总览 Hyprland 配置(Lua) Quickshell 桌面外壳 主题:matugen(Material You) Hyprland 配套件
nvim
Neovim 总览 Neovim 插件与按键
标签
liz's doc / 标签 / #语义分析

#语义分析

  • 符号表与作用域
  • 类型系统
© 2026 liz's doc