Lines Matching defs:dbgprintf
95 # define dbgprintf printf
97 # define dbgprintf if (0) printf
146 dbgprintf ("Mutator %p before lock\n", gl_thread_self ());
148 dbgprintf ("Mutator %p after lock\n", gl_thread_self ());
156 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
158 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
160 dbgprintf ("Mutator %p before check lock\n", gl_thread_self ());
164 dbgprintf ("Mutator %p after check unlock\n", gl_thread_self ());
169 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
180 dbgprintf ("Checker %p before check lock\n", gl_thread_self ());
184 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
189 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
236 dbgprintf ("Mutator %p before wrlock\n", gl_thread_self ());
238 dbgprintf ("Mutator %p after wrlock\n", gl_thread_self ());
246 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
248 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
253 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
264 dbgprintf ("Checker %p before check rdlock\n", gl_thread_self ());
268 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
273 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
318 dbgprintf ("Mutator %p before lock\n", gl_thread_self ());
320 dbgprintf ("Mutator %p after lock\n", gl_thread_self ());
332 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
334 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
346 dbgprintf ("Mutator %p before check lock\n", gl_thread_self ());
350 dbgprintf ("Mutator %p after check unlock\n", gl_thread_self ());
355 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
366 dbgprintf ("Checker %p before check lock\n", gl_thread_self ());
370 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
375 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
446 dbgprintf ("Contender %p waiting for signal for round %d\n",
458 dbgprintf ("Contender %p got the signal for round %d\n",
498 dbgprintf ("Main thread before synchonizing for round %d\n", repeat);
512 dbgprintf ("Main thread after synchonizing for round %d\n", repeat);
540 dbgprintf ("Main thread giving signal for round %d\n", repeat);