RFR: 8344010: RISC-V: Zacas do not work with LW locking
Hamlin Li
mli at openjdk.org
Wed Nov 20 09:56:21 UTC 2024
On Fri, 15 Nov 2024 13:01:37 GMT, Robbin Ehn <rehn at openjdk.org> wrote:
> Hi all, please consider.
>
> Light weight locking fails:
> - We need to add cas acquire.
> - Register _result_ may shadow _new_val_ (same register).
> (NOTE this second item can effect many other cases, unclear)
>
> As the code becomes much cleaner by calling amocas_d/w directly I removed the aliases.
> Which fixes the first issue with cas acquire.
>
> By using t0 instead of _result_ we fix the other issue.
>
> This is a short bugfix, there are so many dragons here that I do not want to address them while fixing the bug.
> There are also several performance optimizations we can do here, specially for LR/SC case.
> So I'll do a couple of more iterations of this code in seperate PR's.
>
> Testing a bunch of local cherry-picked tests which failed.
> I'll start tier1 over the weekend.
>
> Thanks, Robbin
Thanks, current fix looks good!
-------------
Marked as reviewed by mli (Reviewer).
PR Review: https://git.openjdk.org/jdk/pull/22149#pullrequestreview-2448110412
More information about the hotspot-dev
mailing list