PR libstdc++/57060 cope with invalid thread IDs
authorJonathan Wakely <jwakely@redhat.com>
Fri, 4 Dec 2015 17:32:40 +0000 (17:32 +0000)
committerJonathan Wakely <redi@gcc.gnu.org>
Fri, 4 Dec 2015 17:32:40 +0000 (17:32 +0000)
PR libstdc++/57060
* include/std/thread (operator==(thread::id, thread::id)): Do not use
__gthread_equal.
(operator<(thread::id, thread::id)): Add comment.
(this_thread::get_id()): Do not use __gthread_self for single-threaded
programs using glibc.
* testsuite/30_threads/this_thread/57060.cc: New.

From-SVN: r231289

libstdc++-v3/ChangeLog
libstdc++-v3/include/std/thread
libstdc++-v3/testsuite/30_threads/this_thread/57060.cc [new file with mode: 0644]

index eafe38c7ca1ddc6b47dcecd1ba07b99813e4d83f..f77428e1b2f43f3d0d842a8ce9d8695769a4b5d3 100644 (file)
@@ -1,3 +1,13 @@
+2015-12-04  Jonathan Wakely  <jwakely@redhat.com>
+
+       PR libstdc++/57060
+       * include/std/thread (operator==(thread::id, thread::id)): Do not use
+       __gthread_equal.
+       (operator<(thread::id, thread::id)): Add comment.
+       (this_thread::get_id()): Do not use __gthread_self for single-threaded
+       programs using glibc.
+       * testsuite/30_threads/this_thread/57060.cc: New.
+
 2015-12-02  Jonathan Wakely  <jwakely@redhat.com>
 
        PR libstdc++/56383
index 8c01feb7927a4a2002cba2a9a75c71b8c1c02c85..efdd83e75f70eba273191f19ef3d914cfc4c3b23 100644 (file)
@@ -89,11 +89,21 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
 
       friend bool
       operator==(thread::id __x, thread::id __y) noexcept
-      { return __gthread_equal(__x._M_thread, __y._M_thread); }
+      {
+       // pthread_equal is undefined if either thread ID is not valid, so we
+       // can't safely use __gthread_equal on default-constructed values (nor
+       // the non-zero value returned by this_thread::get_id() for
+       // single-threaded programs using GNU libc). Assume EqualityComparable.
+       return __x._M_thread == __y._M_thread;
+      }
 
       friend bool
       operator<(thread::id __x, thread::id __y) noexcept
-      { return __x._M_thread < __y._M_thread; }
+      {
+       // Pthreads doesn't define any way to do this, so we just have to
+       // assume native_handle_type is LessThanComparable.
+       return __x._M_thread < __y._M_thread;
+      }
 
       template<class _CharT, class _Traits>
        friend basic_ostream<_CharT, _Traits>&
@@ -269,7 +279,18 @@ _GLIBCXX_END_NAMESPACE_VERSION
 
     /// get_id
     inline thread::id
-    get_id() noexcept { return thread::id(__gthread_self()); }
+    get_id() noexcept
+    {
+#ifdef __GLIBC__
+      // For the GNU C library pthread_self() is usable without linking to
+      // libpthread.so but returns 0, so we cannot use it in single-threaded
+      // programs, because this_thread::get_id() != thread::id{} must be true.
+      // We know that pthread_t is an integral type in the GNU C library.
+      if (!__gthread_active_p())
+       return thread::id(1);
+#endif
+      return thread::id(__gthread_self());
+    }
 
     /// yield
     inline void
diff --git a/libstdc++-v3/testsuite/30_threads/this_thread/57060.cc b/libstdc++-v3/testsuite/30_threads/this_thread/57060.cc
new file mode 100644 (file)
index 0000000..c932719
--- /dev/null
@@ -0,0 +1,37 @@
+// Copyright (C) 2015 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3.  If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-do run { target *-*-gnu* } }
+// { dg-options "-std=gnu++11" }
+// { dg-require-gthreads "" }
+
+// N.B. this test intentionally does *not* use -pthread
+
+#include <thread>
+#include <testsuite_hooks.h>
+
+void
+test01()
+{
+  VERIFY( std::this_thread::get_id() != std::thread::id() );
+}
+
+int
+main()
+{
+  test01();
+}