aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMathieu Desnoyers <mathieu.desnoyers@efficios.com>2024-03-19 17:21:29 -0400
committerMathieu Desnoyers <mathieu.desnoyers@efficios.com>2024-03-19 17:23:36 -0400
commitdac2ccf0b62a85885812d36e926590ea39c1baf9 (patch)
tree51c02ea6c658e4468ae68d9cd2e304b64bc7acc5
parent612ee3bf7cdd48d2816d44acc0ec75e753835fdd (diff)
downloadlibrseq-dac2ccf0b62a85885812d36e926590ea39c1baf9.tar.gz
mempool: Document destroy after fork for populate none
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> Change-Id: I826990c9ee58dbda80f3271e361328b474edbf08
-rw-r--r--include/rseq/mempool.h4
1 files changed, 3 insertions, 1 deletions
diff --git a/include/rseq/mempool.h b/include/rseq/mempool.h
index f439e07..2773e64 100644
--- a/include/rseq/mempool.h
+++ b/include/rseq/mempool.h
@@ -545,7 +545,9 @@ enum rseq_mempool_populate_policy {
* populate per-cpu pages from the initial values pages on
* first write. This mempool is only meant for single-process
* use (private mapping). Note that this type of pool cannot
- * be accessed from children processes across fork.
+ * be accessed from children processes across fork. It is
+ * however valid to destroy a pool from a child process after
+ * a fork to free its remaining resources.
*/
RSEQ_MEMPOOL_POPULATE_PRIVATE_NONE = 0,
/*