trunk: change to kaldi-mutex.cc to be tolerant of the gcc/Haswell bug described at http://lists.opensuse.org/opensuse-bugs/2014-03/msg00137.html

danpovey · danpovey · commit bc7d684cfae4 · 2014-08-21T22:43:43.000Z
git-svn-id: https://svn.code.sf.net/p/kaldi/code/trunk@4335 5e6a8d80-dfce-4ca6-a32a-6e07a63d50c8
diff --git a/src/thread/kaldi-mutex.cc b/src/thread/kaldi-mutex.cc
@@ -38,8 +38,15 @@ Mutex::Mutex() {
 Mutex::~Mutex() {
   int ret;
   if ( (ret = pthread_mutex_destroy(&mutex_)) != 0) {
-    KALDI_ERR << "Cannot destroy pthread mutex, error is: "
-              << strerror(ret);
+    if (ret != 16) {
+      KALDI_ERR << "Cannot destroy pthread mutex, error is: "
+               << strerror(ret);
+    } else {
+      KALDI_WARN << "Error destroying pthread mutex; ignoring it as it could be "
+                << "a known issue that affects Haswell processors, see "
+                << "http://lists.opensuse.org/opensuse-bugs/2014-03/msg00137.html "
+                << "If your processor is not Haswell, this is a bug.";
+    }
   }
 }
 
