1814 _total_rs_scrub_time += this_rs_scrub_time; |
1814 _total_rs_scrub_time += this_rs_scrub_time; |
1815 } |
1815 } |
1816 |
1816 |
1817 // this will also free any regions totally full of garbage objects, |
1817 // this will also free any regions totally full of garbage objects, |
1818 // and sort the regions. |
1818 // and sort the regions. |
1819 g1h->g1_policy()->record_concurrent_mark_cleanup_end( |
1819 g1h->g1_policy()->record_concurrent_mark_cleanup_end(); |
1820 g1_par_note_end_task.freed_bytes(), |
|
1821 g1_par_note_end_task.max_live_bytes()); |
|
1822 |
1820 |
1823 // Statistics. |
1821 // Statistics. |
1824 double end = os::elapsedTime(); |
1822 double end = os::elapsedTime(); |
1825 _cleanup_times.add((end - start) * 1000.0); |
1823 _cleanup_times.add((end - start) * 1000.0); |
1826 |
1824 |