RFR: 7506: Incorrect numeric formatting of PID by JMC [v4]

[Alex Macdonald]

On Wed, 22 May 2024 18:04:41 GMT, Suchita Chaturvedi <schaturvedi at openjdk.org> wrote:

>> This PR is to fix the formatting issue of the JVM PID on JVM information screen. JVM PID attribute is received as NUMBER from JFR and hence the JMC application is treating is as number. When the number is smaller , the PID is displayed using commas and when the number is larger, its converted to exponential format. This is a long pending bug in product. 
>> 
>> As part of this PR we have introduced a new aggregator JVM_PID_ID which will contain the value of Identifier in plain text format instead of number format. This new aggregator is displayed on JVM Information page so that formatting is not applied as per NUMBER formatting rules.
>> 
>> JVM PID before the change:
>> <img width="359" alt="image" src="https://github.com/openjdk/jmc/assets/11155712/2e2a238c-8160-4bd1-8285-fb2a7a4fb85c">
>> 
>> JVM PID after the change:
>> <img width="355" alt="image" src="https://github.com/openjdk/jmc/assets/11155712/92668a9d-6053-4fa1-bcd0-7face596bc15">
>> 
>> The issue is more prominent when the identifier value is converted to exponential.
>
> Suchita Chaturvedi has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Implemented the new content type approach
>   
>   Co-authored-by: Marcus Hirt <hirt at openjdk.org>

These changes look okay to me, similar to my comment on the other PR (https://github.com/openjdk/jmc/pull/559#pullrequestreview-2074754106) if you rebase this ontop of master the copyright check script should work properly.

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

PR Review: https://git.openjdk.org/jmc/pull/557#pullrequestreview-2074891546