NotificationsYou must be signed in to change notification settings
Fork6
Star31

Commit6ae1513

committed

Fix volatile-safety issue in asyncQueueReadAllNotifications().

The "pos" variable is modified within PG_TRY and then referencedwithin PG_CATCH, so for strict POSIX conformance it must be markedvolatile. Superficially the code looked safe because pos's addresswas taken, which was sufficient to force it into memory ... but it'snot sufficient to ensure that the compiler applies updates exactlywhere the program text says to. The volatility marking has to extendinto a couple of subroutines too, but I think that's probably a goodthing because the risk of out-of-order updates is mostly in thosesubroutines not asyncQueueReadAllNotifications() itself. In principlethe compiler could have re-ordered operations such that an error couldbe thrown while "pos" had an incorrect value.It's unclear how real the risk is here, but for safety back-patchto all active branches.

1 parent7240f92 commit6ae1513Copy full SHA for 6ae1513

File tree

1 file changed

-5

lines changed

src/backend/commands
- async.c

1 file changed

-5

lines changed

`‎src/backend/commands/async.c`

Lines changed: 5 additions & 5 deletions

Original file line number	Diff line number	Diff line change
`@@ -371,13 +371,13 @@ static void Exec_UnlistenAllCommit(void);`
`371`	`371`	`staticboolIsListeningOn(constchar*channel);`
`372`	`372`	`staticvoidasyncQueueUnregister(void);`
`373`	`373`	`staticboolasyncQueueIsFull(void);`
`374`		`-staticboolasyncQueueAdvance(QueuePosition*position,intentryLength);`
	`374`	`+staticboolasyncQueueAdvance(volatileQueuePosition*position,intentryLength);`
`375`	`375`	`staticvoidasyncQueueNotificationToEntry(Notificationn,AsyncQueueEntryqe);`
`376`	`376`	`staticListCellasyncQueueAddEntries(ListCellnextNotify);`
`377`	`377`	`staticvoidasyncQueueFillWarning(void);`
`378`	`378`	`staticboolSignalBackends(void);`
`379`	`379`	`staticvoidasyncQueueReadAllNotifications(void);`
`380`		`-staticboolasyncQueueProcessPageEntries(QueuePosition*current,`
	`380`	`+staticboolasyncQueueProcessPageEntries(volatileQueuePosition*current,`
`381`	`381`	`QueuePositionstop,`
`382`	`382`	`char*page_buffer);`
`383`	`383`	`staticvoidasyncQueueAdvanceTail(void);`
`@@ -1204,7 +1204,7 @@ asyncQueueIsFull(void)`
`1204`	`1204`	`* returns true, else false.`
`1205`	`1205`	`*/`
`1206`	`1206`	`staticbool`
`1207`		`-asyncQueueAdvance(QueuePosition*position,intentryLength)`
	`1207`	`+asyncQueueAdvance(volatileQueuePosition*position,intentryLength)`
`1208`	`1208`	`{`
`1209`	`1209`	`intpageno=QUEUE_POS_PAGE(*position);`
`1210`	`1210`	`intoffset=QUEUE_POS_OFFSET(*position);`
`@@ -1794,7 +1794,7 @@ DisableNotifyInterrupt(void)`
`1794`	`1794`	`staticvoid`
`1795`	`1795`	`asyncQueueReadAllNotifications(void)`
`1796`	`1796`	`{`
`1797`		`-QueuePositionpos;`
	`1797`	`+volatileQueuePositionpos;`
`1798`	`1798`	`QueuePositionoldpos;`
`1799`	`1799`	`QueuePositionhead;`
`1800`	`1800`	`booladvanceTail;`
`@@ -1954,7 +1954,7 @@ asyncQueueReadAllNotifications(void)`
`1954`	`1954`	`* The QueuePosition *current is advanced past all processed messages.`
`1955`	`1955`	`*/`
`1956`	`1956`	`staticbool`
`1957`		`-asyncQueueProcessPageEntries(QueuePosition*current,`
	`1957`	`+asyncQueueProcessPageEntries(volatileQueuePosition*current,`
`1958`	`1958`	`QueuePositionstop,`
`1959`	`1959`	`char*page_buffer)`
`1960`	`1960`	`{`

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!

Commit6ae1513

File tree

1 file changed

1 file changed

`‎src/backend/commands/async.c`

0 commit comments