G1: BOT verification should not pass top

XMLWordPrintable

    • Type: Bug
    • Resolution: Fixed
    • Priority: P1
    • 9
    • Affects Version/s: 9
    • Component/s: hotspot
    • gc
    • b32
    • Verified

        After the fix for JDK-8025564 the BOT verification may pass the end for the reserved space. The reason is this code in G1BlockOffsetArray::verify():

          size_t start_card = _array->index_for(gsp()->bottom());
          size_t end_card = _array->index_for(gsp()->top());

        The end_card should not be based on top() but on "top() - 1" to make sure we are inside the heap region and thus inside teh reserved space.

              Assignee:
              Bengt Rutisson (Inactive)
              Reporter:
              Bengt Rutisson (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              5 Start watching this issue

                Created:
                Updated:
                Resolved: