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. Marked as reviewed by alanb (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/22210#pullrequestreview-2443081660
