AWTAccessor and SwingAccessor should avoid double racy reads from non-volatile fields

XMLWordPrintable

    • Type: Bug
    • Resolution: Fixed
    • Priority: P4
    • 20
    • Affects Version/s: 17, 19, 20
    • Component/s: client-libs
    • b25
    • generic
    • generic

      The same bug was fixed in the SharedSecrets by the JDK-8259021,

      Some XxxAccess instances in AWTAccessor and SwingAccessor are initialized lazily on 1st access with the following idiom:

          public static JavaUtilJarAccess javaUtilJarAccess() {
              if (javaUtilJarAccess == null) {
                  // Ensure JarFile is initialized; we know that this class
                  // provides the shared secret
                  ensureClassInitialized(JarFile.class);
              }
              return javaUtilJarAccess;
          }

      But this idiom is flawed in concurrent setting. It may happen that the two reads of javaUtilJarAccess non-volatile field get reordered and so the 1st read (in if condition) reads non-null while the 2nd read (in return) reads null. This can be fixed by introducing a local variable that avoids the 2nd read:

          public static JavaUtilJarAccess javaUtilJarAccess() {
              var access = javaUtilJarAccess;
              if (access == null) {
                  // Ensure JarFile is initialized; we know that this class
                  // provides the shared secret
                  ensureClassInitialized(JarFile.class);
                  access = javaUtilJarAccess;
              }
              return access;
          }

            Assignee:
            Sergey Bylokhov
            Reporter:
            Sergey Bylokhov
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: