On Mon, 18 Nov 2024 15:46:04 GMT, Viktor Klang <vkl...@openjdk.org> wrote:
> This change now halves each side of the split regardless, the old code would > end up in a situation where it wouldn't decrement since unsigned shift right > twice would lead to decrementing estimated size by 0. > > It's worth noting the probabilistic nature of skip lists and that their > spliterators are not SIZED and their estimatedSize() is therefor not to be > relied upon for deterministic correctness. I jest checked parallelStream performance, across some possible variants of this change, and this is at least as good as any of them. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22210#issuecomment-2483701539
