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

uncommon_trap of ifnull bytecode leaves garbage on expression stack

    Details

    • Type: Bug
    • Status: Closed
    • Priority: P2
    • Resolution: Fixed
    • Affects Version/s: 6
    • Fix Version/s: hs14
    • Component/s: hotspot
    • Labels:
    • Subcomponent:
    • Introduced In Build:
      b03
    • Introduced In Version:
    • Resolved In Build:
      b03
    • CPU:
      x86
    • OS:
      linux
    • Verification:
      Verified

      Backports

        Description

        FULL PRODUCT VERSION :
        java version "1.6.0_06"
        Java(TM) SE Runtime Environment (build 1.6.0_06-b02)
        Java HotSpot(TM) Server VM (build 10.0-b22, mixed mode)

        FULL OS VERSION :
        Linux 2.6.22.1 #7 SMP PREEMPT Tue Mar 18 18:22:09 EDT 2008 i686 GNU/Linux

        A DESCRIPTION OF THE PROBLEM :
        On the Apache Lucene project, we've now had 4 users hit by an apparent
        JRE bug. When this bug strikes, it silently corrupts the search
        index, which is very costly to the user (makes the index unusable).
        Details are here:

          https://issues.apache.org/jira/browse/LUCENE-1282

        I can reliably reproduce the bug, but only on a very large (19 GB)
        search index. But I narrowed down one variant of the bug to attached
        test case.

        THE PROBLEM WAS REPRODUCIBLE WITH -Xint FLAG: No

        THE PROBLEM WAS REPRODUCIBLE WITH -server FLAG: Yes

        STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
        Compile and run the attached code (Crash.java), with -Xbatch and it should fail (ie, throw the
        RuntimeException, incorrectly). It should pass without -Xbatch.


        EXPECTED VERSUS ACTUAL BEHAVIOR :
        Expected is no RuntimeException should be thrown. Actual is it is thrown.
        REPRODUCIBILITY :
        This bug can be reproduced always.

        ---------- BEGIN SOURCE ----------
        public class Crash {

          public static void main(String[] args) {
            new Crash().crash();
          }

          private Object alwaysNull;

          final void crash() throws Throwable {
            for (int r = 0; r < 3; r++) {
              for (int docNum = 0; docNum < 10000;) {
                if (r < 2) {
                  for(int j=0;j<3000;j++)
                    docNum++;
                } else {
                  docNum++;
                  doNothing(getNothing());
                  if (alwaysNull != null) {
                    throw new RuntimeException("BUG: checkAbort is always null: r=" + r + " of 3; docNum=" + docNum);
                  }
                }
              }
            }
          }

          Object getNothing() {
            return this;
          }

          int x;
          void doNothing(Object o) {
            x++;
          }
        }


        ---------- END SOURCE ----------

        CUSTOMER SUBMITTED WORKAROUND :
        Don't specify -Xbatch. You can also tweak the code to have it pass the test. Reducing the 10000
        or 3000 low enough makes it pass. Changing the doNothing(...) line
        to assign the result of getNothing() to an intermediate variable
        first, also passes (this is the approach we plan to use for Lucene). Removing the x++ also passes.

          Attachments

            Issue Links

              Activity

                People

                • Assignee:
                  rasbold Chuck Rasbold
                  Reporter:
                  ndcosta Nelson Dcosta
                • Votes:
                  0 Vote for this issue
                  Watchers:
                  0 Start watching this issue

                  Dates

                  • Created:
                    Updated:
                    Resolved:
                    Imported:
                    Indexed: