01 编译调试与代码布局


难度 中等

目标:能在 ~/cwork/postgresql30 分钟内编译成功、能 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_settingslc_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.hexecnodes.hpg_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

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

1.6 实战:30 分钟热身

  1. 编译 + 启动实例(5 分钟)
  2. psqlCREATE 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,依次在 ExecutorRunExecSeqScanheap_getnext 打断点,记录调用栈。
  4. UPDATE t SET v='x' WHERE id = 1,观察 heap_updateXLogInsertXLogFlush 的顺序。
  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_lockspg_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.csrc/backend/tcop/postgres.csrc/backend/executor/{execMain.c,execScan.c}src/backend/access/heap/heapam.csrc/backend/storage/buffer/bufmgr.c


文章作者: growdu
版权声明: 本博客所有文章除特別声明外,均采用 CC BY 4.0 许可协议。转载请注明来源 growdu !
  目录
分类导航
随笔2 AI27 算法1 计算机基础13 博客搭建7 ChatGPT2 集群63 计算机通信1 数据库34 数据库深入80 DPDK26 Docker11 Elasticsearch4 编辑工具4 FAQ1 Go Web1 hometown2 编程语言16 网络9 OPC1 Linux38 openGauss4 页面12 PostgreSQL54 程序员自我修养1 协议11 成长之路1 stock1 存储5 工具20 VPP18 视频作品1 Vue13 Web1 代码示例11 数据库15 BenchmarkSQL1 PostgreSQL 源码修炼之路14
最热文章
1
13 逻辑复制深入
数据库深入🔥 1570
2
0 Postgresql存储、索引及系统优化、主备切换
PostgreSQL🔥 1495
3
一文读懂openguass dcf网络模块
集群🔥 1420
4
逻辑复制源码分析
数据库深入🔥 1327
5
PostgreSQL 分区表:从一行 `PARTITION BY` 到路由热路径的全链路拆解
数据库🔥 1094
6
applyparallelworker.c 之 LA 端源码深度解析:Leader Apply Worker 的指挥中枢
数据库深入🔥 1082
7
PostgreSQL Background Worker 全解:从 `RegisterBackgroundWorker` 到逻辑复制 4 类 worker 的全生命周期
数据库🔥 1078
8
PostgreSQL的后台进程walsender分析 - 关系型数据库 - 亿速云
PostgreSQL🔥 1033
9
PostgreSQL 逻辑复制的监控:六张视图 + 一组可执行 SQL,把 publisher/subscriber 的速率与健康度彻底看透
数据库🔥 1032
10
PostgreSQL 逻辑复制支持 DDL 之后:DDL 与 DML 的时序难题(重点:分区表)
数据库🔥 999
11
reorderbuffer.c 源码深度解析:PostgreSQL 逻辑复制的"事务重组引擎
数据库深入🔥 953
12
PostgreSQL 内核开发:读取一张表的 9 步标准流程与缓存全景
数据库🔥 938
13
从 `postgres` 二进制到生产级守护 —— PostgreSQL 最外层模块与启动全流程拆解
数据库🔥 936
14
支持逻辑复制同步 DDL 适配 SQL Server 方案
数据库深入🔥 934
15
PostgreSQL 逻辑复制的 ReorderBuffer 与事务机制:从一行 WAL 到一致性变更流的全链路绑定
数据库🔥 913
16
DDL同步架构(美化版)
数据库深入🔥 908
17
PostgreSQL Latch 机制详解:从一行 SetLatch 到 epoll 的内核之旅
数据库🔥 871
18
pgbench 源码全解:一个 C 文件如何撑起 PostgreSQL 官方压测工具
数据库🔥 860
19
PostgreSQL libpq 机制与缓冲区详解
数据库🔥 850
20
PostgreSQL 逻辑复制 spill 文件深度剖析:从 `xid-*.spill` 到 TPC-C 的增长方程
数据库🔥 845