NotificationsYou must be signed in to change notification settings
Fork6
Star31

Commit8e607a5

committed

Fix race condition in committing a serializable transaction

The finished transaction list can contain XIDs that are older than theserializable global xmin. It's a short-lived state;ClearOldPredicateLocks() removes any such transactions from the list,and it's called whenever the global xmin advances. But if anotherbackend calls SummarizeOldestCommittedSxact() in that window, it willcall SerialAdd() on an XID that's older than the global xmin, or ifthere are no more transactions running, when global xmin isinvalid. That trips the assertion in SerialAdd().Fixes bug #18658 reported by Andrew Bille. Thanks to Alexander Lakhinfor analysis. Backpatch to all versions.Discussion:https://www.postgresql.org/message-id/18658-7dab125ec688c70b%40postgresql.org

1 parentfde796e commit8e607a5Copy full SHA for 8e607a5

File tree

1 file changed

-4

lines changed

src/backend/storage/lmgr
- predicate.c

1 file changed

-4

lines changed

`‎src/backend/storage/lmgr/predicate.c‎`

Lines changed: 9 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -920,12 +920,17 @@ SerialAdd(TransactionId xid, SerCommitSeqNo minConflictCommitSeqNo)`
`920`	`920`	`LWLockAcquire(SerialSLRULock,LW_EXCLUSIVE);`
`921`	`921`
`922`	`922`	`/*`
`923`		`- * If no serializable transactions are active, there shouldn't be anything`
`924`		`- * to push out to the SLRU. Hitting this assert would mean there's`
`925`		`- * something wrong with the earlier cleanup logic.`
	`923`	`+ * If 'xid' is older than the global xmin (== tailXid), there's no need to`
	`924`	`+ * store it, after all. This can happen if the oldest transaction holding`
	`925`	`+ * back the global xmin just finished, making 'xid' uninteresting, but`
	`926`	`+ * ClearOldPredicateLocks() has not yet run.`
`926`	`927`	`*/`
`927`	`928`	`tailXid=serialControl->tailXid;`
`928`		`-Assert(TransactionIdIsValid(tailXid));`
	`929`	`+if (!TransactionIdIsValid(tailXid)\|\|TransactionIdPrecedes(xid,tailXid))`
	`930`	`+{`
	`931`	`+LWLockRelease(SerialSLRULock);`
	`932`	`+return;`
	`933`	`+}`
`929`	`934`
`930`	`935`	`/*`
`931`	`936`	`* If the SLRU is currently unused, zero out the whole active region from`

0 commit comments

Comments

(0)

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Commit8e607a5

File tree

1 file changed

1 file changed

`‎src/backend/storage/lmgr/predicate.c‎`

0 commit comments