Lines Matching refs:dbgprintf
81 # define dbgprintf printf
83 # define dbgprintf if (0) printf
251 dbgprintf ("Mutator %p before lock\n", gl_thread_self ());
253 dbgprintf ("Mutator %p after lock\n", gl_thread_self ());
261 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
263 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
265 dbgprintf ("Mutator %p before check lock\n", gl_thread_self ());
269 dbgprintf ("Mutator %p after check unlock\n", gl_thread_self ());
274 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
285 dbgprintf ("Checker %p before check lock\n", gl_thread_self ());
289 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
294 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
338 dbgprintf ("Mutator %p before wrlock\n", gl_thread_self ());
340 dbgprintf ("Mutator %p after wrlock\n", gl_thread_self ());
348 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
350 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
355 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
366 dbgprintf ("Checker %p before check rdlock\n", gl_thread_self ());
370 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
375 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
417 dbgprintf ("Mutator %p before lock\n", gl_thread_self ());
419 dbgprintf ("Mutator %p after lock\n", gl_thread_self ());
431 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
433 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
445 dbgprintf ("Mutator %p before check lock\n", gl_thread_self ());
449 dbgprintf ("Mutator %p after check unlock\n", gl_thread_self ());
454 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
465 dbgprintf ("Checker %p before check lock\n", gl_thread_self ());
469 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
474 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
542 dbgprintf ("Contender %p waiting for signal for round %d\n",
554 dbgprintf ("Contender %p got the signal for round %d\n",
594 dbgprintf ("Main thread before synchonizing for round %d\n", repeat);
608 dbgprintf ("Main thread after synchonizing for round %d\n", repeat);
636 dbgprintf ("Main thread giving signal for round %d\n", repeat);