01 编译调试与代码布局


难度 中等

目标:能在 ~/cwork/postgresql 上 30 分钟内编译成功、能 GDB 跟一条 SQL、能用 ctags / cscope 在代码里跳转。

1.1 编译:meson 路线(PG 15+ 推荐)

PG 18 已默认走 meson。文档与脚本也都在跟进。

cd ~/cwork/postgresql
meson setup build --prefix=$(pwd)/install --buildtype=debugoptimized
meson compile -C build -j$(nproc)
meson install -C build
  • --buildtype=debugoptimized 打开 -O2 -g,既优化又能断点。
  • 想要更激进,加 -Dc_args='-O0 -ggdb3' 重置 -O2。
  • 启用扩展:meson configure -Dssl=openssl -Dldap=enabled -Dlibxml=enabled。
  • 想要 ICU:meson configure -Dicu=enabled。

注:旧文档(如本目录下 使用meson编译pg.md)记的是 PG 16 之前的写法,参数顺序与 meson configure 用法都仍然适用,但要确认你的 PG 版本对应。

1.2 启动一个 debug 实例

./install/bin/initdb -D /tmp/pgdata --enable-debug -E UTF8
./install/bin/pg_ctl -D /tmp/pgdata -l /tmp/pg.log start
psql -h /tmp -p 5432 postgres

--enable-debug 会让 initdb 输出更详细的 hint,并且在 pg_settings 里 lc_messages 默认带文件位置,便于出问题定位。

1.3 源码树导航

src/
├── backend/        # 服务端 C 代码(98% 的内核逻辑都在这)
│   ├── access/     # 各种 access method
│   │   ├── heap/      # 堆表
│   │   ├── nbtree/    # B-Tree
│   │   ├── hash/      # Hash
│   │   ├── gist/, gin/, spgist/, brin/
│   │   ├── transam/   # xlog / xact / clog / multixact
│   │   └── ...
│   ├── catalog/    # 系统表缓存
│   ├── commands/    # DDL 语句执行
│   ├── executor/    # 执行器
│   ├── optimizer/   # 查询优化器
│   │   ├── plan/      # 计划生成
│   │   ├── path/      # 路径选择
│   │   └── prep/      # 预处理
│   ├── parser/      # 语法分析
│   ├── postmaster/  # 主进程
│   ├── rewrite/     # 规则重写
│   ├── storage/     # 缓冲、文件、锁、smgr
│   │   ├── buffer/
│   │   ├── smgr/
│   │   ├── lmgr/      # lock manager
│   │   ├── aio/       # PG 18 新:AIO 子系统
│   │   └── ...
│   └── tcop/        # traffic cop:postgres.c 主循环
├── include/        # 头文件(与 backend/ 一一对应)
├── interfaces/     # 客户端:libpq、ecpg
├── bin/            # 服务端命令(psql、pg_dump、initdb 等)
├── test/           # 回归测试
└── ...

约定:

  • 头文件镜像 src/backend/... 结构。修改 src/backend/foo/bar.c 时,对应声明在 src/include/foo/bar.h。
  • 几乎所有重要数据结构都在 nodes/ 下定义(plannode.h、execnodes.h、pg_class.h …)。
  • pg_config.h 是构建期生成的,不要手动改。要改编译参数请走 meson。

1.4 阅读辅助工具

ctags + vim

cd ~/cwork/postgresql
ctags -R --fields=+l src/   # -R 递归,+l 加 line number
vim -t smgropen              # 直接跳到函数

cscope

cscope -R src/                # 进入交互界面
# 常用快捷键:
#   s: 找 symbol
#   c: 找调用此函数的地方
#   g: 找定义
#   t: 找被谁调用
#   f: 找文件

ripgrep

# 找所有引用 BufferDesc 的地方
rg -n 'BufferDesc\b' src/backend/storage/buffer/
# 找所有对某个函数的调用
rg -n '^\s*heap_insert\(' src/backend/

1.5 GDB 套路

1.5.1 启动并设置断点

gdb --args ./install/bin/postgres -D /tmp/pgdata
(gdb) set pagination off
(gdb) set print pretty on
(gdb) b postgres.c:postgres          # 主入口
(gdb) b execMain.c:ExecutorRun
(gdb) b heapam.c:heap_insert
(gdb) c

1.5.2 跟一条 SELECT

# 另开窗口
psql -h /tmp -p 5432 postgres
postgres=# SELECT * FROM t WHERE id = 1;

GDB 停在 ExecutorRun,按 n 单步,s 进函数。常用:

  • p ExecInitNode(planstate, estate, 0) —— 初始化节点
  • p estate->es_processed —— 已处理的元组数
  • bt —— 看调用栈
  • finish —— 跳出当前函数

1.5.3 跟一条 UPDATE(看 WAL 写入)

postgres=# BEGIN;
postgres=# UPDATE t SET v = v + 1 WHERE id = 1;
postgres=# COMMIT;

关键断点:

  • b heapam.c:heap_update
  • b xlog.c:XLogInsert
  • b xlog.c:XLogFlush

1.5.4 条件断点

(gdb) b heapam.c:heap_insert if relation->rd_id == 16384

16384 是 pg_class 的 oid,可在 psql 里 SELECT relname, oid FROM pg_class WHERE relname='t'; 查到。

1.6 实战:30 分钟热身

  1. 编译 + 启动实例(5 分钟)
  2. psql 里 CREATE TABLE t(id int, v text); INSERT INTO t SELECT g, md5(g::text) FROM generate_series(1,1000) g;
  3. GDB 跟 SELECT * FROM t WHERE id = 999,依次在 ExecutorRun、ExecSeqScan、heap_getnext 打断点,记录调用栈。
  4. 跟 UPDATE t SET v='x' WHERE id = 1,观察 heap_update → XLogInsert → XLogFlush 的顺序。
  5. 在 pg_log 里能看到 PID 与 statement,配合 GDB 里的 bt 对照。

完成上述 5 步后,L1 阶段“编译 + GDB + 跟 SQL”的能力就算入门。

1.7 调试符号与 core

如果编译时 strip 了符号:

ls -l ./install/bin/postgres   # 看是否过小
meson configure -Dstrip=false   # 关掉 strip
meson compile -C build

Core dump:

ulimit -c unlimited
sudo sysctl -w kernel.core_pattern=/tmp/core.%e.%p
# 在 postgresql.conf 里打开
# data_checksums = on  # 也可加,启动慢一点
# log_min_messages = debug1

1.8 小结

能力 工具 一句话
编译 meson meson compile -C build
跳转 ctags/cscope 在 110 万行 C 里秒级定位
跟踪 SQL GDB 任意函数可断点
看页内容 xxd + pageinspect 把页面以 hexdump 看待
看 WAL pg_xlogdump 看 redo 记录
看锁 pg_locks、pg_stat_activity 运行时观察

1.9 图示

1.9.1 编译 → 运行 → 调试工作流

flowchart LR SRC["~/cwork/postgresql<br/>(PG 18.3 source)"] SRC --> M["meson setup build<br/>--buildtype=debugoptimized"] M --> C["meson compile -C build"] C --> I["meson install -C build"] I --> BIN["install/bin/postgres"] BIN --> INIT["initdb -D /tmp/pgdata<br/>--enable-debug"] INIT --> RUN["pg_ctl -D /tmp/pgdata start"] RUN --> PSQL["psql -h /tmp/pga"] BIN --> GDB["gdb --args ./install/bin/postgres<br/>-D /tmp/pgdata"] GDB -->|breakpoints| BP["b ReadBuffer / heap_insert /<br/>ExecutorRun / XLogInsert"] BP --> RUN style SRC fill:#fff9c4 style BIN fill:#c8e6c9 style GDB fill:#ffccbc

1.9.2 源码树导航

graph TB SRC["src/"] SRC --> B["backend/<br/>(98% 内核逻辑)"] SRC --> I["include/<br/>(头文件镜像)"] SRC --> F["interfaces/<br/>(libpq, ecpg)"] SRC --> BIN["bin/<br/>(psql, pg_dump, ...)"] SRC --> T["test/<br/>(regress, isolation)"] SRC --> P["portability/"] SRC --> C["common/"] B --> BA["access/<br/>heap / nbtree /<br/>hash / gist / gin /<br/>spgist / brin / transam"] B --> BB["buffer/<br/>bufmgr / buf_table /<br/>freelist / localbuf"] B --> BC["catalog/"] B --> BD["commands/<br/>(DDL)"] B --> BE["executor/"] B --> BF["foreign/<br/>(FDW)"] B --> BG["jit/"] B --> BH["optimizer/"] B --> BI["parser/"] B --> BJ["postmaster/"] B --> BK["replication/"] B --> BL["rewrite/"] B --> BM["storage/<br/>buffer / smgr /<br/>lmgr / freespace /<br/>sync / file / aio"] B --> BN["tcop/<br/>(postgres.c 主循环)"] B --> BO["utils/"] style B fill:#fff9c4 style BB fill:#c8e6c9 style BM fill:#c8e6c9

1.9.3 GDB 跟踪 SELECT 全流程

sequenceDiagram autonumber participant PSQL as psql 客户端 participant BE as backend participant EX as ExecutorRun participant SS as SeqScanState participant HG as heap_getnext participant RD as ReadBuffer Note over BE: SET breakpoints<br/>b ExecutorRun<br/>b heap_getnext<br/>c PSQL->>BE: SELECT * FROM t WHERE id = 1 BE->>EX: 命中断点 (ExecutorRun) Ex->>EX: bt → 看上层 stack Ex->>Ex: n / s 单步 / 进函数 loop 直到 NULL EX->>SS: ExecSeqScan SS->>HG: heap_getnext HG->>RD: ReadBuffer RD-->>HG: buffer id HG-->>SS: HeapTuple SS-->>EX: tuple EX-->>PSQL: DataRow end EX-->>PSQL: CommandComplete

图示配套源码:~/cwork/postgresql/src/backend/postmaster/postmaster.c、src/backend/tcop/postgres.c、src/backend/executor/{execMain.c,execScan.c}、src/backend/access/heap/heapam.c、src/backend/storage/buffer/bufmgr.c。


文章作者: growdu
版权声明: 本博客所有文章除特別声明外,均采用 CC BY 4.0 许可协议。转载请注明来源 growdu !
  目录
分类导航
随笔3 AI29 计算机基础13 算法1 博客搭建7 ChatGPT2 集群63 计算机通信1 数据库59 数据库深入93 数据库93 Docker11 DPDK26 编辑工具4 Elasticsearch4 FAQ1 Go Web1 hometown2 编程语言16 人生11 网络9 Linux38 OPC1 openGauss4 页面12 PostgreSQL54 程序员自我修养1 协议11 stock1 存储5 成长之路1 工具20 视频作品1 VPP18 Vue13 Web1 代码示例11 BenchmarkSQL1 PostgreSQL 源码修炼之路14
最热文章
1
PostgreSQL 逻辑复制全链路:以一个真实事务为例,从 `INSERT` 到 `apply` 的源码级旅程
数据库🔥 2162
2
PostgreSQL 逻辑复制 Stream 执行逻辑源码级拆解:从 reorderbuffer 触发到订阅端落盘回放
数据库🔥 1765
3
PostgreSQL 行锁机制源码级深度拆解:4 种锁模式 + xmax + MultiXact 的完整链路
数据库🔥 1656
4
PostgreSQL reorderbuffer.c 函数级源码全集:5615 行 / 95 个函数的逐函数解析
数据库深入🔥 1650
5
PostgreSQL 目录快照源码级深度拆解:系统表读取的 MVCC 真相与失效机制
数据库🔥 1604
6
13 逻辑复制深入
数据库深入🔥 1570
7
0 Postgresql存储、索引及系统优化、主备切换
PostgreSQL🔥 1495
8
PostgreSQL 读一行数据源码级深度拆解:MVCC 在每个环节的落点
数据库🔥 1464
9
PostgreSQL WAL 记录类型完全指南:21 个 RMGR × 80+ 种记录的源码级拆解
数据库🔥 1431
10
一文读懂openguass dcf网络模块
集群🔥 1420
11
PostgreSQL 元数据存储机制:从磁盘文件到内存缓存,`pg_class` 撑起的整个系统表体系
数据库🔥 1411
12
openGauss 并行解码设计原理深度拆解:reader + 多 worker + CSN 三层架构的源码级剖析
数据库深入🔥 1344
13
逻辑复制源码分析
数据库深入🔥 1327
14
PostgreSQL 逻辑复制:catalog 改动、可见性判定与 xmin/xmax 推进全景
数据库深入🔥 1317
15
自托管服务全家桶:从原文方案到可复制实操手册
人生🔥 1278
16
PostgreSQL CREATE_REPLICATION_SLOT 端到端源码分析:从 SQL 到 snapbuild 状态机的完整链路(每个函数每个参数)
数据库深入🔥 1277
17
PostgreSQL syscache 模块源码深度拆解:CatCache 数据结构、LRU 哈希表、cache invalidation 全链路
数据库深入🔥 1216
18
PostgreSQL 18 内核数据结构全景:RangeVar 与 20+ 个核心数据结构源码级拆解
数据库🔥 1158
19
PostgreSQL 逻辑复制里 `RUNNING_XACTS` 写入机制与快照 `xmin / xmax / xip` 的演化:源码级深度拆解
数据库🔥 1119
20
PostgreSQL 分区表:从一行 `PARTITION BY` 到路由热路径的全链路拆解
数据库🔥 1094