简要说明网站建设的步骤最权威的做网站优化价格
总结
-
PG的子事务回滚是真回滚（直接回滚了，不管顶层事务提交还是回滚）。
-
PG的子事务提交是假提交（子事务提交后会把决定权交给顶层事务，随顶层事务提交、回滚）。
子事务提交后，将xid记录到父事务的childXids，父事务的childXids就表示下面已经提交的子事务，这些子事务xid在后续mvcc计算中，会完全等效与所属父事务xid。
childXids
在Postgresql的事务状态中，存在childXids数组，本篇分析该结构的用途和原理。
typedef struct TransactionStateData
{...TransactionId *childXids; /* subcommitted child XIDs, in XID order */int nChildXids; /* # of subcommitted child XIDs */int maxChildXids; /* allocated size of childXids[] */...struct TransactionStateData *parent; /* back link to parent */
} TransactionStateData;typedef TransactionStateData *TransactionState;
用途
1 读取childXids：TransactionIdIsCurrentTransactionId
判断事务ID是否为当前事务。
如果xid和当前事务的xid不同，另外会从当前事务记录的childXids中再找一遍。
- 因为childXids里面记录了当前事务下，已经提交了的子事务（只有提交了的，没有回滚的），所以这些提交的子事务xid就等同于主事务xid。
- childXids是有序的，二分法即可。
bool
TransactionIdIsCurrentTransactionId(TransactionId xid)
{...if (TransactionIdEquals(xid, GetTopTransactionIdIfAny()))return true;...for (s = CurrentTransactionState; s != NULL; s = s->parent){...low = 0;high = s->nChildXids - 1;while (low <= high){int middle;TransactionId probe;middle = low + (high - low) / 2;probe = s->childXids[middle];if (TransactionIdEquals(probe, xid))return true;else if (TransactionIdPrecedes(probe, xid))low = middle + 1;elsehigh = middle - 1;}}return false;
}
2 写入childXids：AtSubCommit_childXids
在子事务提交时，会执行AtSubCommit_childXids：
- 将本层的xid添加到上层事务的childXids中。
- 将本层记录的childXids传递到上层事务的childXids中。
static void
AtSubCommit_childXids(void)
{...new_nChildXids = s->parent->nChildXids + s->nChildXids + 1;...s->parent->childXids[s->parent->nChildXids] = XidFromFullTransactionId(s->fullTransactionId);if (s->nChildXids > 0)memcpy(&s->parent->childXids[s->parent->nChildXids + 1],s->childXids,s->nChildXids * sizeof(TransactionId));s->parent->nChildXids = new_nChildXids;/* Release child's array to avoid leakage */if (s->childXids != NULL)pfree(s->childXids);/* We must reset these to avoid double-free if fail later in commit */s->childXids = NULL;s->nChildXids = 0;s->maxChildXids = 0;
}
PG子事务维护链式结构，当子事务提交时，需要把自己记录“commited childs”信息逐层上交。
例如三层子事务的场景下：
childXids
top-transaction []sub-transaction-16401 []sub-transaction-16402 []sub-transaction-16403 [] <-- will commit
childXids
top-transaction []sub-transaction-16401 []sub-transaction-16402 []^|sub-transaction-16403 [] <-- committing
childXids
top-transaction []sub-transaction-16401 []sub-transaction-16402 [16403] <-- committed
childXids
top-transaction []sub-transaction-16401 []sub-transaction-16402 [16403] <-- will commit
childXids
top-transaction []sub-transaction-16401 [16402, 16403] <-- committed
当前事务记录的childXids在进行mvcc判断时，完全等效于自己的xid。
3 其他
AtSubAbort_childXids：子事务回滚时，需要清理childXids。
SerializeTransactionState：序列化事务状态。
其他还有初始化、清理等，不在列举。