RE: Perform streaming logical transactions by background workers and parallel apply
Hayato Kuroda (Fujitsu) <kuroda.hayato@fujitsu.com>
Dear Hou-san,
Thank you for updating the patch! Followings are comments for v28-0001.
I will dig your patch more, but I send partially to keep the activity of the thread.
===
For applyparallelworker.c
01. filename
The word-ordering of filename seems not good
because you defined the new worker as "parallel apply worker".
02. global variable
```
+/* Parallel apply workers hash table (initialized on first use). */
+static HTAB *ParallelApplyWorkersHash = NULL;
+
+/*
+ * List that stores the information of parallel apply workers that were
+ * started. Newly added worker information will be removed from the list at the
+ * end of the transaction when there are enough workers in the pool. Besides,
+ * exited workers will be removed from the list after being detected.
+ */
+static List *ParallelApplyWorkersList = NIL;
```
Could you add descriptions about difference between the list and hash table?
IIUC the Hash stores the parallel workers that
are assigned to transacitons, and the list stores all alive ones.
03. parallel_apply_find_worker
```
+ /* Return the cached parallel apply worker if valid. */
+ if (stream_apply_worker != NULL)
+ return stream_apply_worker;
```
This is just a question -
Why the given xid and the assigned xid to the worker are not checked here?
Is there chance to find wrong worker?
04. parallel_apply_start_worker
```
+/*
+ * Start a parallel apply worker that will be used for the specified xid.
+ *
+ * If a parallel apply worker is not in use then re-use it, otherwise start a
+ * fresh one. Cache the worker information in ParallelApplyWorkersHash keyed by
+ * the specified xid.
+ */
+void
+parallel_apply_start_worker(TransactionId xid)
```
"parallel_apply_start_worker" should be "start_parallel_apply_worker", I think
05. parallel_apply_stream_abort
```
for (i = list_length(subxactlist) - 1; i >= 0; i--)
{
xid = list_nth_xid(subxactlist, i);
if (xid == subxid)
{
found = true;
break;
}
}
```
Please not reuse the xid, declare and use another variable in the else block or something.
06. parallel_apply_free_worker
```
+ if (napplyworkers > (max_parallel_apply_workers_per_subscription / 2))
+ {
```
Please add a comment like: "Do we have enough workers in the pool?" or something.
===
For worker.c
07. general
In many lines if-else statement is used for apply_action, but I think they should rewrite as switch-case statement.
08. global variable
```
-static bool in_streamed_transaction = false;
+bool in_streamed_transaction = false;
```
a.
It seems that in_streamed_transaction is used only in the worker.c, so we can change to stati variable.
b.
That flag is set only when an apply worker spill the transaction to the disk.
How about "in_streamed_transaction" -> "in_spilled_transaction"?
09. apply_handle_stream_prepare
```
- elog(DEBUG1, "received prepare for streamed transaction %u", prepare_data.xid);
```
I think this debug message is still useful.
10. apply_handle_stream_stop
```
+ if (apply_action == TA_APPLY_IN_PARALLEL_WORKER)
+ {
+ pgstat_report_activity(STATE_IDLEINTRANSACTION, NULL);
+ }
+ else if (apply_action == TA_SEND_TO_PARALLEL_WORKER)
+ {
```
The ordering of the STREAM {STOP, START} is checked only when an apply worker spill the transaction to the disk.
(This is done via in_streamed_transaction)
I think checks should be added here, like if (!stream_apply_worker) or something.
11. apply_handle_stream_abort
```
+ if (in_streamed_transaction)
+ ereport(ERROR,
+ (errcode(ERRCODE_PROTOCOL_VIOLATION),
+ errmsg_internal("STREAM ABORT message without STREAM STOP")));
```
I think the check by stream_apply_worker should be added.
12. apply_handle_stream_commit
a.
```
if (in_streamed_transaction)
ereport(ERROR,
(errcode(ERRCODE_PROTOCOL_VIOLATION),
errmsg_internal("STREAM COMMIT message without STREAM STOP")));
```
I think the check by stream_apply_worker should be added.
b.
```
- elog(DEBUG1, "received commit for streamed transaction %u", xid);
```
I think this debug message is still useful.
===
For launcher.c
13. logicalrep_worker_stop_by_slot
```
+ LogicalRepWorker *worker = &LogicalRepCtx->workers[slot_no];
+
+ LWLockAcquire(LogicalRepWorkerLock, LW_SHARED);
+
+ /* Return if the generation doesn't match or the worker is not alive. */
+ if (worker->generation != generation ||
+ worker->proc == NULL)
+ return;
+
```
a.
LWLockAcquire(LogicalRepWorkerLock) is needed before reading slots.
b.
LWLockRelease(LogicalRepWorkerLock) is needed even if worker is not found.
Best Regards,
Hayato Kuroda
FUJITSU LIMITED
Commits
GET /api/v1/messages/:b64id/commits
the thread's linked commits as JSON, with link sources.
API reference →
-
Fix invalid memory access during the shutdown of the parallel apply worker.
- 3d144c6c8602 16.0 landed
-
Fix assertion failure in apply worker.
- de63f8dadee4 16.0 landed
-
Use elog to report unexpected action in handle_streamed_transaction().
- 781ac42d43ab 16.0 landed
-
Use appropriate wait event when sending data in the apply worker.
- d9d7fe68d35e 16.0 landed
-
Allow the logical_replication_mode to be used on the subscriber.
- 9f2213a7c575 16.0 landed
-
Rename GUC logical_decoding_mode to logical_replication_mode.
- 1e8b61735cfb 16.0 landed
-
Display the leader apply worker's PID for parallel apply workers.
- d540a02a724b 16.0 landed
-
Improve the code to decide and process the apply action.
- c981d9145dea 16.0 landed
-
Document the newly added wait events added by commit 216a784829.
- cd06ccd78fcf 16.0 landed
-
Perform apply of large transactions by parallel workers.
- 216a784829c2 16.0 landed
-
Wake up a subscription's replication worker processes after DDL.
- c6e1f62e2cee 16.0 cited
-
Add copyright notices to meson files
- 8284cf5f746f 16.0 cited
-
Better document logical replication parameters
- a8500750ca0a 16.0 cited
-
Add a common function to generate the origin name.
- 776e1c8a5d14 16.0 cited
-
Harmonize parameter names in storage and AM code.
- bfcf1b34805f 16.0 cited
-
Avoid using list_length() to test for empty list.
- efd0c16becbf 16.0 cited
-
Improve two comments related to a boolean DefElem's value
- 8445f5a21d40 16.0 cited
-
Fix partition table's REPLICA IDENTITY checking on the subscriber.
- 26b3455afaa9 15.0 cited
-
Fix data inconsistency between publisher and subscriber.
- b7658c24c7c1 15.0 cited
-
Fix cache look-up failures while applying changes in logical replication.
- 5a97b1325453 15.0 cited