海山数据库(He3DB)源码解读：海山PG 死锁处理实现

目录

背景

整体概述

 数据结构

死锁处理设计

设计原理

主要流程

 主要接口

作者介绍

---

背景

He3DB for PostgreSQL是受Aurora论文启发，基于开源数据库PostgreSQL 改造的数据库产品。架构上实现计算存储分离，并进一步支持数据的冷热分层，大幅提升产品的性价比。

He3DB for PostgreSQL中存在多个会话试图同时访问同一数据的情况，并发控制的目标就是保证所有会话高效地访问，同时维护数据完整性，并发访问控制的常用方式为两种：锁机制和多版本并发控制（MVCC）。因为 MVCC 并不能解决所有的并发控制情况，所以还需要使用传统的锁机制来保证那些通常不需要完整事务隔离并且想要显式管理特定冲突点的应用。

整体概述

按照功能划分，锁管理分为锁功能模块，锁级别管理模块，死锁处理模块。

锁功能模块：针对三种类型的锁功能，自旋锁，轻量级锁，事务锁。

锁级别管理模块：针对四种不同级别的锁管理器，表级别、页级别、元组级别、事务级别。

死锁处理模块：包括死锁检测功能和死锁处理功能。

图1 锁管理模块

 数据结构

1)EDGE

//EDGE有向边结构
typedef struct
{
	PGPROC	   *waiter;			/* the leader of the waiting lock group */
	PGPROC	   *blocker;		/* the leader of the group it is waiting for */
	LOCK	   *lock;			/* the lock being waited for */
	int			pred;			/* workspace for TopoSort */
	int			link;			/* workspace for TopoSort */
} EDGE;

2) WAIT_ORDER

//WAIT_ORDER 锁等待队列重排序
typedef struct
{
	LOCK	   *lock;			/* the lock whose wait queue is described */
    PGPROC	  **procs;			/* array of PGPROC *'s in new wait order */
	int			nProcs;
} WAIT_ORDER;

3) DEADLOCK_INFO

//DEADLOCK_INFO 死锁环中的边的信息
typedef struct
{
	LOCKTAG		locktag;		/* ID