49 ("threads_total", Markup.print_int threadsTotal), |
49 ("threads_total", Markup.print_int threadsTotal), |
50 ("threads_wait_condvar", Markup.print_int threadsWaitCondVar), |
50 ("threads_wait_condvar", Markup.print_int threadsWaitCondVar), |
51 ("threads_wait_IO", Markup.print_int threadsWaitIO), |
51 ("threads_wait_IO", Markup.print_int threadsWaitIO), |
52 ("threads_wait_mutex", Markup.print_int threadsWaitMutex), |
52 ("threads_wait_mutex", Markup.print_int threadsWaitMutex), |
53 ("threads_wait_signal", Markup.print_int threadsWaitSignal), |
53 ("threads_wait_signal", Markup.print_int threadsWaitSignal), |
54 ("time_GC_system", signed_string_of_real (Time.toReal timeGCSystem)), |
54 ("time_CPU", signed_string_of_real (Time.toReal timeNonGCSystem + Time.toReal timeNonGCUser)), |
55 ("time_GC_user", signed_string_of_real (Time.toReal timeGCUser)), |
55 ("time_GC", signed_string_of_real (Time.toReal timeGCSystem + Time.toReal timeGCUser))] @ |
56 ("time_non_GC_system", signed_string_of_real (Time.toReal timeNonGCSystem)), |
|
57 ("time_non_GC_user", signed_string_of_real (Time.toReal timeNonGCUser))] @ |
|
58 user_counters |
56 user_counters |
59 end; |
57 end; |
60 |
58 |
61 end; |
59 end; |
62 |
60 |