From 55bbd66244e09a62ab107ef8ad321ffa06223a91 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 31 Oct 2023 08:47:49 -0600 Subject: [PATCH] Better describe a mutex. --- include/deal.II/base/subscriptor.h | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/include/deal.II/base/subscriptor.h b/include/deal.II/base/subscriptor.h index 1930ab2622..776afcfa1e 100644 --- a/include/deal.II/base/subscriptor.h +++ b/include/deal.II/base/subscriptor.h @@ -265,8 +265,9 @@ private: check_no_subscribers() const noexcept; /** - * A mutex used to ensure data consistency when printing out the list - * of subscribers. + * A mutex used to ensure data consistency when accessing the `mutable` + * members of this class. This lock is used in the subscribe() and + * unsubscribe() functions, as well as in `list_subscribers()`. */ static std::mutex mutex; }; -- 2.39.5