equal
deleted
inserted
replaced
75 CardTableEntryClosure* refine_closure, |
75 CardTableEntryClosure* refine_closure, |
76 uint worker_id_offset, uint worker_id); |
76 uint worker_id_offset, uint worker_id); |
77 |
77 |
78 void initialize(); |
78 void initialize(); |
79 |
79 |
80 // Printing |
|
81 void print() const; |
|
82 void print_on(outputStream* st) const; |
|
83 |
|
84 // Total virtual time so far. |
80 // Total virtual time so far. |
85 double vtime_accum() { return _vtime_accum; } |
81 double vtime_accum() { return _vtime_accum; } |
86 |
82 |
87 ConcurrentG1Refine* cg1r() { return _cg1r; } |
83 ConcurrentG1Refine* cg1r() { return _cg1r; } |
88 |
84 |