Searched refs:mut_time (Results 1 – 4 of 4) sorted by relevance
509 double mut_time = mut_end_time - mut_start_time; in record_concurrent_refinement_stats() local514 if (mut_time > 1.0) { // Require > 1ms sample time. in record_concurrent_refinement_stats()515 double dirtied_rate = total_stats.dirtied_cards() / mut_time; in record_concurrent_refinement_stats()
504 double mut_time = mut_end_time - mut_start_time; in record_concurrent_refinement_stats() local509 if (mut_time > 1.0) { // Require > 1ms sample time. in record_concurrent_refinement_stats()510 double dirtied_rate = total_stats.dirtied_cards() / mut_time; in record_concurrent_refinement_stats()
506 double mut_time = mut_end_time - mut_start_time; in record_concurrent_refinement_stats() local511 if (mut_time > 1.0) { // Require > 1ms sample time. in record_concurrent_refinement_stats()512 double dirtied_rate = total_stats.dirtied_cards() / mut_time; in record_concurrent_refinement_stats()
259 Time mut_time = 0; in GarbageCollect() local264 mut_time = stats.mutator_cpu_ns; in GarbageCollect()917 heapCensus(mut_time); in GarbageCollect()