On Sat, 8 Oct 2022 21:45:29 GMT, Markus KARG wrote:
>> Fixes 8294541
>
> Markus KARG has updated the pull request incrementally with one additional
> commit since the last revision:
>
> Fixed two more reported cases using 1.2 GiB
Marked as reviewed by alanb (Reviewer).
-
PR: ht
On Sat, 8 Oct 2022 21:40:37 GMT, Markus KARG wrote:
> I increased `-Xmx` from 1G to 1.2G, and cannot reproduce the reported cases
> anymore. I gave it ten more random attempts which all passed, too.
I did some testing with this value and it does seem be enough. The alternative
is to reduce MA
> Fixes 8294541
Markus KARG has updated the pull request incrementally with one additional
commit since the last revision:
Fixed two more reported cases using 1.2 GiB
-
Changes:
- all: https://git.openjdk.org/jdk/pull/10524/files
- new: https://git.openjdk.org/jdk/pull/10524/
On Sat, 1 Oct 2022 17:54:37 GMT, Markus KARG wrote:
> Fixes 8294541
I increased `-Xmx` from 1G to 1.2G, and cannot reproduce the reported cases
anymore. I gave it ten more random attempts which all passed, too.
-
PR: https://git.openjdk.org/jdk/pull/10524
On Tue, 4 Oct 2022 23:11:57 GMT, Justin Lu wrote:
> Problem: Outdated doc does not match code. Claimed to throw exception and
> compared to Long method.
> Fix: Update doc to match code, compared to Double.parseDouble() accordingly.
This pull request has now been integrated.
Changeset: d39d8c85
On Mon, 19 Sep 2022 08:51:24 GMT, Xiaohong Gong wrote:
> "`VectorSupport.indexVector()`" is used to compute a vector that contains the
> index values based on a given vector and a scale value (`i.e. index = vec +
> iota * scale`). This function is widely used in other APIs like
> "`VectorMask.
> Java 17 added RandomGenerator interface. However, existing method
> Collections.shuffle accepts old java.util.Random class. While since Java 19,
> it's possible to use Random.from(RandomGenerator) wrapper, it would be more
> convenient to provide direct overload shuffle(List list, RandomGenera
On Mon, 3 Oct 2022 21:46:09 GMT, Stuart Marks wrote:
>> Java 17 added RandomGenerator interface. However, existing method
>> Collections.shuffle accepts old java.util.Random class. While since Java 19,
>> it's possible to use Random.from(RandomGenerator) wrapper, it would be more
>> convenient
