跳到内容

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 / compilers / 03-语义分析

compilers/03-语义分析

符号表与作用域
类型系统