Merge pull request #778 from pika-org/activity_count

Fix a missing global activity count
pika-org · Sep 19, 2023 · f5403e8 · f5403e8
2 parents 7eba5fa + 94a955e
commit f5403e8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libs/pika/async_mpi/src/mpi_polling.cpp b/libs/pika/async_mpi/src/mpi_polling.cpp
@@ -431,6 +431,8 @@ namespace pika::mpi::experimental {
 
                 // Invoke callback (PIKA_MOVE doesn't compile here)
                 PIKA_INVOKE(std::move(ready_callback_.cb_), ready_callback_.err_);
+
+                pika::threads::detail::decrement_global_activity_count();
             }
 
             // if we think there are no outstanding requests, then exit quickly