Thanks to Bruno Causse for the clarification.
No functional change.
Signed-off-by: Marco Costalba <mcostalba@gmail.com>
lock_grab(&(sp->lock));
lock_release(&(sp->lock));
lock_grab(&(sp->lock));
lock_release(&(sp->lock));
+ // In helpful master concept a master can help only a sub-tree, and
+ // because here is all finished is not possible master is booked.
assert(threads[threadID].state == THREAD_AVAILABLE);
threads[threadID].state = THREAD_SEARCHING;
assert(threads[threadID].state == THREAD_AVAILABLE);
threads[threadID].state = THREAD_SEARCHING;