Use ::_exit when multi-threaded not in main thread

Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>

Author: b-chmiel

src/V3Error.cpp

@@ -23,6 +23,7 @@
 # include "V3Stats.h"
 VL_DEFINE_DEBUG_FUNCTIONS;
 #endif
+#include <thread>
 // clang-format on
 
 //======================================================================
@@ -88,11 +89,20 @@ void V3ErrorGuarded::vlAbortOrExit() VL_REQUIRES(m_mutex) {
     if (V3Error::debugDefault()) {
         std::cerr << msgPrefix() << "Aborting since under --debug" << endl;
         V3Error::vlAbort();
-    } else {
+    }
+#ifndef V3ERROR_NO_GLOBAL_
+    else if (v3Global.opt.verilateJobs() > 1
+             && v3Global.mainThreadId() != std::this_thread::get_id()) {
+        VL_GCOV_DUMP();  // No static destructors are called, thus must be called manually.
+
         // Exit without triggering any global destructors.
         // Used to prevent detached V3ThreadPool jobs accessing destroyed static objects.
         ::_exit(1);
     }
+#endif
+    else {
+        std::exit(1);
+    }
 }
 
 string V3ErrorGuarded::warnMore() VL_REQUIRES(m_mutex) { return string(msgPrefix().size(), ' '); }

src/V3Global.h

@@ -32,6 +32,7 @@
 #include "V3Options.h"
 
 #include <string>
+#include <thread>
 #include <unordered_map>
 #include <unordered_set>
 
@@ -133,6 +134,9 @@ class V3Global final {
     // Names of fields that were dumped by dumpJsonPtr()
     std::unordered_set<std::string> m_jsonPtrNames;
 
+    // Id of the main thread
+    const std::thread::id m_mainThreadId = std::this_thread::get_id();
+
 public:
     // Options
     V3Options opt;  // All options; let user see them directly
@@ -203,6 +207,7 @@ class V3Global final {
     void ptrNamesDumpJson(std::ostream& os);
     void idPtrMapDumpJson(std::ostream& os);
     const std::string& ptrToId(const void* p);
+    std::thread::id mainThreadId() const { return m_mainThreadId; }
 };
 
 extern V3Global v3Global;