735 |
735 |
736 // Must currently be called while the world is stopped. |
736 // Must currently be called while the world is stopped. |
737 void record_concurrent_mark_init_end(double |
737 void record_concurrent_mark_init_end(double |
738 mark_init_elapsed_time_ms); |
738 mark_init_elapsed_time_ms); |
739 |
739 |
740 void record_mark_closure_time(double mark_closure_time_ms); |
740 void record_mark_closure_time(double mark_closure_time_ms) { |
|
741 _mark_closure_time_ms = mark_closure_time_ms; |
|
742 } |
741 |
743 |
742 void record_concurrent_mark_remark_start(); |
744 void record_concurrent_mark_remark_start(); |
743 void record_concurrent_mark_remark_end(); |
745 void record_concurrent_mark_remark_end(); |
744 |
746 |
745 void record_concurrent_mark_cleanup_start(); |
747 void record_concurrent_mark_cleanup_start(); |