diff options
author | Mathieu Desnoyers <mathieu.desnoyers@efficios.com> | 2024-03-19 17:21:29 -0400 |
---|---|---|
committer | Mathieu Desnoyers <mathieu.desnoyers@efficios.com> | 2024-03-19 17:23:36 -0400 |
commit | dac2ccf0b62a85885812d36e926590ea39c1baf9 (patch) | |
tree | 51c02ea6c658e4468ae68d9cd2e304b64bc7acc5 | |
parent | 612ee3bf7cdd48d2816d44acc0ec75e753835fdd (diff) | |
download | librseq-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.h | 4 |
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, /* |