equal
deleted
inserted
replaced
98 volatile size_t* const _total_size_addr; |
98 volatile size_t* const _total_size_addr; |
99 |
99 |
100 public: |
100 public: |
101 virtual void work(uint worker_id) { |
101 virtual void work(uint worker_id) { |
102 uint task_id = 0; |
102 uint task_id = 0; |
103 while (!_sub_tasks.is_task_claimed(/* reference */ task_id)) { |
103 while (_sub_tasks.try_claim_task(/* reference */ task_id)) { |
104 _preserved_marks_set->get(task_id)->restore_and_increment(_total_size_addr); |
104 _preserved_marks_set->get(task_id)->restore_and_increment(_total_size_addr); |
105 } |
105 } |
106 _sub_tasks.all_tasks_completed(); |
106 _sub_tasks.all_tasks_completed(); |
107 } |
107 } |
108 |
108 |