comparison src/share/vm/gc_implementation/g1/g1GCPhaseTimes.cpp @ 17844:8847586c9037

8016302: Change type of the number of GC workers to unsigned int (2) Reviewed-by: tschatzl, jwilhelm
author vkempik
date Thu, 03 Apr 2014 17:49:31 +0400
parents 595c0f60d50d
children 78bbf4d43a14
comparison
equal deleted inserted replaced
17843:81d7a4b28dc5 17844:8847586c9037
244 244
245 void G1GCPhaseTimes::print_stats(int level, const char* str, double value) { 245 void G1GCPhaseTimes::print_stats(int level, const char* str, double value) {
246 LineBuffer(level).append_and_print_cr("[%s: %.1lf ms]", str, value); 246 LineBuffer(level).append_and_print_cr("[%s: %.1lf ms]", str, value);
247 } 247 }
248 248
249 void G1GCPhaseTimes::print_stats(int level, const char* str, double value, int workers) { 249 void G1GCPhaseTimes::print_stats(int level, const char* str, double value, uint workers) {
250 LineBuffer(level).append_and_print_cr("[%s: %.1lf ms, GC Workers: %d]", str, value, workers); 250 LineBuffer(level).append_and_print_cr("[%s: %.1lf ms, GC Workers: " UINT32_FORMAT "]", str, value, workers);
251 } 251 }
252 252
253 double G1GCPhaseTimes::accounted_time_ms() { 253 double G1GCPhaseTimes::accounted_time_ms() {
254 // Subtract the root region scanning wait time. It's initialized to 254 // Subtract the root region scanning wait time. It's initialized to
255 // zero at the start of the pause. 255 // zero at the start of the pause.