• 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