RFR: 8373116: Genshen: arraycopy_work should be always done for arrays in old gen during young concurrent marking [v7]

[Xiaolong Peng]

On Mon, 8 Dec 2025 21:44:24 GMT, William Kemper <wkemper at openjdk.org> wrote:

>> arraycopy_work will be called when (B && C) is true if only A is also true, it is expected and what we wanted.
>
> Condition `D` should be sufficient when we are marking old. That is, I don't believe we need to check `B` or `C` when we are marking old.

There is one case, I think we may not want to make the test here overly complicated so I didn't add it:
(!A && B && C && !D) 

It could after final-mark in bootstrap young GC, the young marking has done, old marking is in progress.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/28669#discussion_r2600258109