RFR: 8267579: Thread::cooked_allocated_bytes() hits assert(left >= right) failed: avoid underflow [v2]

[Stefan Karlsson]

On Mon, 7 Jun 2021 14:15:56 GMT, Markus Grönlund <mgronlun at openjdk.org> wrote:

>> This is a workaround to avoid hitting the assert that was recently added to pointer_delta(). 
>> 
>> The implementation of cooked_allocated_bytes() is perhaps questionable, in that it reads tlab pointers optimistically. However, the functionality has been in place for a long time, and the impact of changing its behavior more substantially is unknown at this time, hence this defensive workaround to reduce noise and problems seen in general testing.
>> 
>> Testing: tier1, tier2, tier6, tier8
>> 
>> Thanks
>> Markus
>
> Markus Grönlund has updated the pull request incrementally with one additional commit since the last revision:
> 
>   read once

Kim has been looking through the standards w.r.t. atomic and read-read coherence and has some insights. Could be worth reading:
https://mail.openjdk.java.net/pipermail/hotspot-dev/2021-June/052745.html

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

PR: https://git.openjdk.java.net/jdk/pull/4363