On Thu, 7 Oct 2021 15:28:31 GMT, Coleen Phillimore <cole...@openjdk.org> wrote:

>> Also fixes: 8273956: Add checking for rank values
>> 
>> This change does 3 things.  I could separate them but this has all been 
>> tested together and most of the change is mechanical.  The first is a simple 
>> rename of nonleaf => safepoint.  The second change is to add the enum class 
>> Rank which only allows subtraction from a base rank, and some additional 
>> type checking so that rank arithmetic doesn't overlap with a different rank. 
>>  Ie if you say nosafepoint-n, that doesn't overlap with oopstorage.   The 
>> third change is to remove the _safepoint_check_always/never flag.  That is 
>> now intrinsic in the ranking, as all nosafepoint ranks are lower than all 
>> safepoint ranks.
>> 
>> Future changes could add rank names in the middle of nosafepoint and 
>> safepoint, like handshake.  As of now, the rank subtractions are not 
>> unmanageable.  There are actually not many nested Mutex.
>> 
>> This is the last of the planned subtasks for Mutex ranking cleanup.  If you 
>> have other ideas or suggestions, please let me know.
>> 
>> Tested with tier1-8 at one point in time and just retested with tier1-6.
>
> Coleen Phillimore has updated the pull request incrementally with one 
> additional commit since the last revision:
> 
>   Fix overlap error message printing and add a test.

LGTM!

Thanks,
Patricio

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

Marked as reviewed by pchilanomate (Committer).

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

Reply via email to