Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8057910

G1: BOT verification should not pass top

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Fixed
    • Icon: P1 P1
    • 9
    • 9
    • 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.

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

                Created:
                Updated:
                Resolved: