libstdc++-v3/testsuite/30_threads/condition_variable_any/50862.cc

   1 // { dg-do run { target *-*-freebsd* *-*-netbsd* *-*-linux* *-*-solaris* *-*-cygwin *-*-darwin* alpha*-*-osf* mips-sgi-irix6* } }
   2 // { dg-options " -std=gnu++0x -pthread" { target *-*-freebsd* *-*-netbsd* *-*-linux* alpha*-*-osf* mips-sgi-irix6* } }
   3 // { dg-options " -std=gnu++0x -pthreads" { target *-*-solaris* } }
   4 // { dg-options " -std=gnu++0x " { target *-*-cygwin *-*-darwin* } }
   5 // { dg-require-cstdint "" }
   6 // { dg-require-gthreads "" }
   7
   8 // Copyright (C) 2011 Free Software Foundation, Inc.
   9 //
  10 // This file is part of the GNU ISO C++ Library.  This library is free
  11 // software; you can redistribute it and/or modify it under the
  12 // terms of the GNU General Public License as published by the
  13 // Free Software Foundation; either version 3, or (at your option)
  14 // any later version.
  15
  16 // This library is distributed in the hope that it will be useful,
  17 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  18 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  19 // GNU General Public License for more details.
  20
  21 // You should have received a copy of the GNU General Public License along
  22 // with this library; see the file COPYING3.  If not see
  23 // <http://www.gnu.org/licenses/>.
  24
  25 #include <condition_variable>
  26 #include <thread>
  27 #include <mutex>
  28 #include <array>
  29 #include <sstream>
  30
  31 struct scoped_thread
  32 {
  33   ~scoped_thread() { if (t.joinable()) t.join(); }
  34   std::thread t;
  35 };
  36
  37 int main()
  38 {
  39   typedef std::unique_lock<std::mutex> Lock;
  40
  41   std::mutex                  m;
  42   std::condition_variable_any cond;
  43   unsigned int                product=0;
  44   const unsigned int          count=10;
  45
  46   // writing to stream causes timing changes which makes deadlock easier
  47   // to reproduce - do not remove
  48   std::ostringstream out;
  49
  50   // create consumers
  51   std::array<scoped_thread, 2> threads;
  52   for(size_t i=0; i<threads.size(); ++i)
  53     threads[i].t = std::thread( [&] {
  54           for(unsigned int i=0; i<count; ++i)
  55           {
  56             std::this_thread::yield();
  57             Lock lock(m);
  58             while(product==0)
  59               cond.wait(lock);
  60             out << "got product " << std::this_thread::get_id() << ' ' << product << std::endl;
  61             --product;
  62           }
  63         } );
  64
  65   // single producer
  66   for(size_t i=0; i<threads.size()*count; ++i)
  67   {
  68     std::this_thread::yield();
  69     Lock lock(m);
  70     ++product;
  71     out << "setting product " << std::this_thread::get_id() << ' ' << product << std::endl;
  72     cond.notify_one();
  73   }
  74
  75 }