Try to improve C++ parallelization

favu100 · Oct 26, 2024 · f790273 · f790273
1 parent 2dd4fac
commit f790273
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
@@ -1685,12 +1685,9 @@ void modelCheckMultiThreaded(boost::asio::thread_pool& workers) {
             possibleQueueChanges -= 1;
             int running = possibleQueueChanges;
             {
-                std::unique_lock\<std::mutex> lock(mutex);
+                std::unique_lock\<std::mutex> lock(waitMutex);
                 if (!unvisitedStates.empty() || running == 0) {
-                    {
-                        std::unique_lock\<std::mutex> lock(waitMutex);
-                        waitCV.notify_all();
-                    }
+                    waitCV.notify_all();
                 }
             }