Lines Matching defs:dbgprintf
77 # define dbgprintf printf
79 # define dbgprintf if (0) printf
247 dbgprintf ("Mutator %p before lock\n", gl_thread_self ());
249 dbgprintf ("Mutator %p after lock\n", gl_thread_self ());
257 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
259 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
261 dbgprintf ("Mutator %p before check lock\n", gl_thread_self ());
265 dbgprintf ("Mutator %p after check unlock\n", gl_thread_self ());
270 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
281 dbgprintf ("Checker %p before check lock\n", gl_thread_self ());
285 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
290 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
334 dbgprintf ("Mutator %p before wrlock\n", gl_thread_self ());
336 dbgprintf ("Mutator %p after wrlock\n", gl_thread_self ());
344 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
346 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
351 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
362 dbgprintf ("Checker %p before check rdlock\n", gl_thread_self ());
366 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
371 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
413 dbgprintf ("Mutator %p before lock\n", gl_thread_self ());
415 dbgprintf ("Mutator %p after lock\n", gl_thread_self ());
427 dbgprintf ("Mutator %p before unlock\n", gl_thread_self ());
429 dbgprintf ("Mutator %p after unlock\n", gl_thread_self ());
441 dbgprintf ("Mutator %p before check lock\n", gl_thread_self ());
445 dbgprintf ("Mutator %p after check unlock\n", gl_thread_self ());
450 dbgprintf ("Mutator %p dying.\n", gl_thread_self ());
461 dbgprintf ("Checker %p before check lock\n", gl_thread_self ());
465 dbgprintf ("Checker %p after check unlock\n", gl_thread_self ());
470 dbgprintf ("Checker %p dying.\n", gl_thread_self ());
538 dbgprintf ("Contender %p waiting for signal for round %d\n",
550 dbgprintf ("Contender %p got the signal for round %d\n",
590 dbgprintf ("Main thread before synchonizing for round %d\n", repeat);
604 dbgprintf ("Main thread after synchonizing for round %d\n", repeat);
632 dbgprintf ("Main thread giving signal for round %d\n", repeat);