equal
deleted
inserted
replaced
979 |
979 |
980 void set_refine_cte_cl_concurrency(bool concurrent); |
980 void set_refine_cte_cl_concurrency(bool concurrent); |
981 |
981 |
982 RefToScanQueue *task_queue(uint i) const; |
982 RefToScanQueue *task_queue(uint i) const; |
983 |
983 |
|
984 uint num_task_queues() const; |
|
985 |
984 // A set of cards where updates happened during the GC |
986 // A set of cards where updates happened during the GC |
985 DirtyCardQueueSet& dirty_card_queue_set() { return _dirty_card_queue_set; } |
987 DirtyCardQueueSet& dirty_card_queue_set() { return _dirty_card_queue_set; } |
986 |
988 |
987 // A DirtyCardQueueSet that is used to hold cards that contain |
989 // A DirtyCardQueueSet that is used to hold cards that contain |
988 // references into the current collection set. This is used to |
990 // references into the current collection set. This is used to |