Expose race in asyn_scope::request_stop

NVIDIA · Sep 17, 2024 · fe8718b · fe8718b
1 parent fbd384d
commit fe8718b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/test/exec/test_type_async_scope.cpp b/test/exec/test_type_async_scope.cpp
@@ -108,5 +108,15 @@ namespace {
       stdexec::sync_wait(scope.on_empty());
       expect_empty(scope);
     }
+
+    SECTION("request_stop nested spawn_future") {
+      exec::static_thread_pool ctx{1};
+      exec::async_scope scope;
+      ex::sender auto begin = ex::schedule(sch);
+      ex::sender auto ftr = scope.spawn_future(scope.spawn_future(begin));
+      scope.request_stop();
+      stdexec::sync_wait(ex::when_all(scope.on_empty(), std::move(ftr)));
+      // Verify the program finishes without crashing
+    }
   }
 } // namespace