equal
deleted
inserted
replaced
232 private: |
232 private: |
233 WorkData wait_for_task(); |
233 WorkData wait_for_task(); |
234 void run_task(WorkData work); |
234 void run_task(WorkData work); |
235 void signal_task_done(); |
235 void signal_task_done(); |
236 |
236 |
237 void print_task_started(WorkData data); |
|
238 void print_task_done(WorkData data); |
|
239 |
|
240 WorkGang* gang() const { return (WorkGang*)_gang; } |
237 WorkGang* gang() const { return (WorkGang*)_gang; } |
241 }; |
238 }; |
242 |
239 |
243 // A class that acts as a synchronisation barrier. Workers enter |
240 // A class that acts as a synchronisation barrier. Workers enter |
244 // the barrier and must wait until all other workers have entered |
241 // the barrier and must wait until all other workers have entered |