前言

本文是基于postgresql 15的代码进行分析解读，演示是在centos8系统上进行。介绍了内核源码中关于DDL中drop table的处理流程。在删除表时，如何做到删除表物理文件与的事务原子性。

调用关系

生成执行计划后，调用standard_ProcessUtility进行执行，其中计划节点类型为T_DropStmt。

case T_DropStmt:

ExecDropStmt((DropStmt *) parsetree, isTopLevel);

/* no commands stashed for DROP */

commandCollected = true;

break;

在执行层调用ExecDropStmt进行实际执行。

概要流程

/*

 * Dispatch function for DropStmt

 */

static void

ExecDropStmt(DropStmt *stmt, bool isTopLevel)

{

switch (stmt->removeType)

{

case OBJECT_INDEX:

if (stmt->concurrent)

PreventInTransactionBlock(isTopLevel,

  "DROP INDEX CONCURRENTLY");

/* fall through */



case OBJECT_TABLE:

case OBJECT_SEQUENCE:

case OBJECT_VIEW:

case OBJECT_MATVIEW:

case OBJECT_FOREIGN_TABLE:

RemoveRelations(stmt);

break;

default:

RemoveObjects(stmt);

break;

}

}

可以看到删除数据库对象被分成了三种情况，表/索引等关系对象调用RemoveRelations。

ExecDropStmt调用，这里index/table/foreign table/view/materialized view/sequence都是调用这里。对于删除表的主要流程如下：

（1）对于concurrent删除索引判断，如果是的话，需要加一些较弱的锁；调用关系ExecDropStmt;

（2）判断删除的对应类型; 调用关系ExecDropStmt->RemoveRelations；

（3）建立删除对象的列表，并且锁定每张表；调用关系ExecDropStmt->RemoveRelations；

（4）依据列表检查依赖并生成报告，再删除对象；调用关系ExecDropStmt->RemoveRelations->performMultipleDeletions;

（5）释放对角列表空间，调用关系ExecDropStmt->RemoveRelations->free_object_addresses；

详细流程

创建对象列表空间

ObjectAddresses *

new_object_addresses(void)

{

ObjectAddresses *addrs;



addrs = palloc(sizeof(ObjectAddresses));



addrs->numrefs = 0;

addrs->maxrefs = 32;

addrs->refs = (ObjectAddress *)

palloc(addrs->maxrefs * sizeof(ObjectAddress));

addrs->extras = NULL;                /* until/unless needed */



return addrs;

}

这里初始最大可以有32个对象，后面添加时，不够时会再进行扩展。

删除多个指定的数据库对象(performMultipleDeletions)

(1)如果指定了CASCADE，就会递归删除依赖的对象；

(2)如果指定为RESTRICT，则当遇到依赖时会报错；

删除的模式可以有以下几种：

PERFORM_DELETION_INTERNAL, 删除操作不是由用户直接发起；比如临时schema的删除；目前此模式下会事件触发器和权限检查不会被调用。

PERFORM_DELETION_CONCURRENTLY，仅用于index，进行concurrently delete;

PERFORM_DELETION_QUIETLY，会减少日志打印

PERFORM_DELETION_SKIP_ORIGINAL，仅仅删除指定对象的依赖对象，该指定对象不删除；

PERFORM_DELETION_SKIP_EXTENSIONS,用于删除临时对象，当对象是扩展的一部分时，只删对象而不删除扩展；

PERFORM_DELETION_CONCURRENT_LOCK，用于REINDEX CONCURRENTLY，在删除时加concurrent lock;

其中调用，deleteObjectsInList-> deleteOneObject进行真正的删除动作。

deleteOneObject

（1）对于concurrently模式，需要先关闭pg_depend系统表，在（2）删除后再次打开；

（2）调用doDeletion进行删除对象；

（3）删除pg_depend中的依赖数据行；

（4）删除comments,security labels, privilages;

（5）CommandCounterIncrement，变更可见性；

doDeletion根据class类型，调用对应的接口