Details
-
Sub-task
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
Description
When iterating over the pipeline list, if a pipeline is not valid for selection, we call Array.remove(element) to remove it from the list before selecting another random element.
If the pipeline selection policy could return the array index of the selected pipeline rather than the actual pipeline, then we can use the more efficient Array.remove(index). Even this is still O
as the array has to shuffle the elements down the internal array, but it is better than Array.remove(element) as it avoids searching for the element.
Attachments
Issue Links
- links to