homepage

> This line should be protected by acquiring the all_tasks_done lock.
All of three of the condition variables share the same underlying lock. The increment occurs only with the lock has been acquired. 
> Theoretically, the increment could occur somewhere during task_done()!
I don't understand what you mean. The semantics of task_done() method implies that the count gets decremented.
> Personally, I would like the increment to occur *before* 
> instead of *after* _put().
There may be some merit to this but I don't see how it matters much since both occur within the context of the same lock being held. A user defined method can still add or subtract any number it wants from the unfinished task count. The result of +1 -5 is the same as -5 +1.
I'm reluctant to change the order though because the code is already published and some user's _put code may be inspecting the unfinished tasks count. I wouldn't want to break that code without good reason.