• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  /* Copyright (c) 2008-2010, Google Inc.
2   * All rights reserved.
3   *
4   * Redistribution and use in source and binary forms, with or without
5   * modification, are permitted provided that the following conditions are
6   * met:
7   *
8   *     * Redistributions of source code must retain the above copyright
9   * notice, this list of conditions and the following disclaimer.
10   *     * Neither the name of Google Inc. nor the names of its
11   * contributors may be used to endorse or promote products derived from
12   * this software without specific prior written permission.
13   *
14   * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
15   * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
16   * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
17   * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
18   * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
19   * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
20   * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
21   * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
22   * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
23   * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
24   * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
25   */
26  
27  // This file is a part of a test suite for ThreadSanitizer, a race detector.
28  // Author: Konstantin Serebryany.
29  
30  // These 4 lines need to go before any include from libstdc++.
31  // See include/bits/c++config in libstdc++ for details.
32  #include "dynamic_annotations.h"
33  #define _GLIBCXX_SYNCHRONIZATION_HAPPENS_BEFORE(a) ANNOTATE_HAPPENS_BEFORE(a)
34  #define _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(a) ANNOTATE_HAPPENS_AFTER(a)
35  #define _GLIBCXX_EXTERN_TEMPLATE -1
36  
37  #include <stdio.h>
38  #include <pthread.h>
39  #include <unistd.h>
40  #include <assert.h>
41  #include <memory>
42  #include <string>
43  
44  #include "test_utils.h"
45  #include <gtest/gtest.h>
46  
47  #if defined(__cplusplus) && defined(__GNUC__)
48  #include <features.h>
49  // These tests verify that no false positives are reported due to custom
50  // synchronization in libstdc++.
51  // As of gcc 4.6, libstdc++ has HAPPENS_BEFORE/AFTER annotations in key places.
52  
53  namespace LibStdCPlusPlus_basic_string_Test {  // {{{1
54  // If reference counting inside basic_string is not understood
55  // by a race detector, a false race may be reported between
56  // basic_string::some_accessor and basic_string::~basic_string
57  
58  string *s;
59  
60  pthread_mutex_t mu;
61  pthread_cond_t cv;
62  int done = 0;
63  
Thread(void *)64  void *Thread(void*) {
65    string x = *s;  // calls _M_refcopy().
66  
67    pthread_mutex_lock(&mu);
68    done++;
69    pthread_cond_signal(&cv);
70    pthread_mutex_unlock(&mu);
71  
72    assert(x == "foo");
73    // x is destructed, calls _M_dispose
74    return NULL;
75  }
76  
77  const int kNThreads = 3;
78  
TEST(LibStdCPlusPlus,basic_string_Test)79  TEST(LibStdCPlusPlus, basic_string_Test) {
80    if (!__GNUC_PREREQ(4, 6)) {
81      printf("This test is likely to produce a false race report "
82             "with libstdc++ earlier than 4.6; not running\n");
83      return;
84    }
85  
86    s = new string("foo");
87    pthread_t t[kNThreads];
88    pthread_mutex_init(&mu, 0);
89    pthread_cond_init(&cv, 0);
90    // start threads.
91    for (int i = 0; i < kNThreads; i++) {
92      pthread_create(&t[i], 0, Thread, 0);
93    }
94    // wait for threads to copy 's', but don't wait for threads to exit.
95    pthread_mutex_lock(&mu);
96    while (done != kNThreads)
97      pthread_cond_wait(&cv, &mu);
98    pthread_mutex_unlock(&mu);
99    // s has been copied few times, now delete it.
100    // Last of the destructors (either here ot in Thread() will call _M_destroy).
101    delete s;  // calls _M_dispose.
102  }
103  }  // namespace
104  
105  namespace LibStdCPlusPlus_shared_ptr_Test {  // {{{1
106  // If reference counting inside shared_ptr is not understood
107  // by a race detector, a false race may be reported between
108  // Foo::Check() and Foo:~Foo().
109  class Foo {
110   public:
Foo()111   Foo() : a_(777) { }
~Foo()112   ~Foo() {
113     a_ = 0xDEAD;
114   }
Check()115   void Check() {
116     assert(a_ == 777);
117   }
118   private:
119   int a_;
120  };
121  
122  shared_ptr<Foo> *s;
123  
124  pthread_mutex_t mu;
125  pthread_cond_t cv;
126  int done = 0;
127  
Thread(void *)128  void *Thread(void*) {
129   shared_ptr<Foo> x(*s);
130  
131   pthread_mutex_lock(&mu);
132   done++;
133   pthread_cond_signal(&cv);
134   pthread_mutex_unlock(&mu);
135  
136   x->Check();
137   // x is destructed.
138   return NULL;
139  }
140  
TEST(LibStdCPlusPlus,shared_ptr_Test)141  TEST(LibStdCPlusPlus, shared_ptr_Test) {
142  
143    if (!__GNUC_PREREQ(4, 6)) {
144      printf("This test is likely to produce a false race report "
145             "with libstdc++ earlier than 4.6; not running\n");
146      return;
147    }
148    const int kNThreads = 3;
149    s = new shared_ptr<Foo>(new Foo);
150    pthread_t t[kNThreads];
151    pthread_mutex_init(&mu, 0);
152    pthread_cond_init(&cv, 0);
153    // start threads.
154    for (int i = 0; i < kNThreads; i++) {
155      pthread_create(&t[i], 0, Thread, 0);
156    }
157    // wait for threads to copy 's', but don't wait for threads to exit.
158    pthread_mutex_lock(&mu);
159    while (done != kNThreads)
160      pthread_cond_wait(&cv, &mu);
161    pthread_mutex_unlock(&mu);
162  
163    delete s;
164  }
165  }  // namespace
166  
167  #endif  // __GNUC__
168  // End {{{1
169   // vim:shiftwidth=2:softtabstop=2:expandtab:foldmethod=marker
170