Integrated: 8325542: CTW: Runner can produce negative StressSeed

[Joshua Cao]

On Fri, 16 Feb 2024 21:55:03 GMT, Joshua Cao <duke at openjdk.org> wrote:

> CtwRunner does `abs(random.nextInt())`, which would break when random returns Integer.MIN_VALUE. Its abs() would be negative, which would be caught by JVM argument parsing code as incorrectly specified option. This would yield a very rare CTW failure.
> 
> We fix this by using `nextInt(Integer.MAX_VALUE)`, which always returns a non-negative number in [0, MAX_VALUE). This is what [jcstress does](https://github.com/openjdk/jcstress/blob/84bd76e115604e81e721674eff0ff39c5a3bf3b8/jcstress-core/src/main/java/org/openjdk/jcstress/vm/VMSupport.java#L565).
> 
> I also make a change so that `rng` has explicit type. I think we prefer explicit types for most cases.
> 
> Tested with `./ctwrunner.sh modules:java.base`

This pull request has now been integrated.

Changeset: bb675afa
Author:    Joshua Cao <joshcao at amazon.com>
Committer: Aleksey Shipilev <shade at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/bb675afae6876fb99aaf0160298463008a9c5efa
Stats:     3 lines in 1 file changed: 1 ins; 0 del; 2 mod

8325542: CTW: Runner can produce negative StressSeed

Reviewed-by: shade, xliu

-------------

PR: https://git.openjdk.org/jdk/pull/17896