449 |
|
* perform some subtask processing (see externalHelpJoin and |
450 |
|
* related methods). We do not need to record whether these |
451 |
|
* submissions are to the common pool -- if not, externalHelpJoin |
452 |
< |
* returns quicky (at the most helping to signal some common pool |
452 |
> |
* returns quickly (at the most helping to signal some common pool |
453 |
|
* workers). These submitters would otherwise be blocked waiting |
454 |
|
* for completion, so the extra effort (with liberally sprinkled |
455 |
|
* task status checks) in inapplicable cases amounts to an odd |
654 |
|
|
655 |
|
/** |
656 |
|
* Pushes a task. Call only by owner in unshared queues. |
657 |
< |
* Cases needing resizing or rejection are relyaed to fullPush |
657 |
> |
* Cases needing resizing or rejection are relayed to fullPush |
658 |
|
* (that also handles shared queues). |
659 |
|
* |
660 |
|
* @param task the task. Caller must ensure non-null. |
1632 |
|
* termination and possibly shrink pool. |
1633 |
|
* |
1634 |
|
* * If already enqueued and none of the above apply, possibly |
1635 |
< |
* (with 1/2 probablility) park awaiting signal, else lingering to |
1635 |
> |
* (with 1/2 probability) park awaiting signal, else lingering to |
1636 |
|
* help scan and signal. |
1637 |
|
* |
1638 |
|
* @param w the worker (via its WorkQueue) |