can I ask for feedback on a feature request?
code that is called by pmap should have the ability to signal to the scheduler a (dynamic) determination not to schedule any more tasks. existing tasks should either be finished or aborted
For example, when any one task fun signals “DONE NICE”, the scheduler stops scheduling further processes, but let’s the remaining tasks finish (e.g., we already found the alien, when the search parties come back, don’t send them out again); when any one task fun signals “DONE ABORT”, the scheduler also immediately terminates all other tasks ( (e.g., the alien has found us, is hostile, and we will need all search parties to come back immediately to help defend the base).
I think this is in the spirit of pmap, but greatly improves its previously static functionality dynamic, with relatively little pain to the developers (catch interrupt?) and to the user. it becomes much easier for the user to signal “done” than having to write their own schedulers.
shall I file a feature request issue or not?