Re: [PATCH v2 1/4] gdbsupport: use dynamic partitioning in gdb::parallel_for_each

[Tom Tromey <tom@tromey.com>]

>> I do wonder if this functionality should just be intrinsic to
>> thread-pool somehow, like separate the notions of a "task" and a "job
>> queue".

Simon> I think you'll have to talk me through it, because I don't immediately
Simon> see what you mean (perhaps because it's been a while since I worked on
Simon> this).

I just mean, instead of having this partitioning being a feature of
parallel_for_each, maybe this is something that should just be directly
in thread-pool, since it seems to be the only way that threads are
actually used.

I wouldn't worry about it though.  It's better to just go with what we
have.  We can refactor it again later if it seems worthwhile.

Tom