海山数据库(He3DB)源码解读：海山PG SpinLock实现

背景

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

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

整体概述

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

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

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

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

图1 锁管理模块介绍

数据结构

SpinLock 是最底层的锁，使用互斥信号量实现，与操作系统和硬件环境联系紧密。Spinlock分为与机器相关的实现方法(支持TAS)和与机器不相关的实现方法(Semaphore仿真)。

SpinLock的特点是：封锁时间很短，没有等待队列和死锁检测机制，事务结束时不能自动释放SpinLock。

支持TAS（test-and-set）指令集的SpinLock

• 32-bit i386