"Nichts" tun, während "Zustand"

ForkJoinPool macht umfangreichen Gebrauch von compareAndSwap... aus sun.misc.Unsafe und die meisten vorkommen von do {} while (...) im ForkJoinPool können — wie bereits von anderen Antworten werden erklärt sich durch diesen Kommentar unter der Rubrik Stil Hinweise:

* There are several occurrences of the unusual "do {} while
* (!cas...)"  which is the simplest way to force an update of a
* CAS'ed variable. 

Die Wahl zu verwenden, schreiben Sie eine while-Schleife mit einer leeren Körper als do {} while (condition) scheint jedoch zu sein, meist stilistische Wahl. Dies ist vielleicht klarer in HashMap,, die passiert werden aktualisiert in Java 8.

In der Java 7 HashMap Sie finden diese:

while (index < t.length && (next = t[index++]) == null)
    ;

Während viel code, um ihn herum hat sich verändert, es ist klar, dass der Ersatz in Java 8 ist diese:

do {} while (index < t.length && (next = t[index++]) == null);

Die erste version hat die Schwäche, dass, wenn der einsame Semikolon passiert gelöscht werden, es würde sich ändern, die Bedeutung des Programms, je nach der folgenden Zeile.

Wie unten zu sehen ist, bytecode generiert while (...) {} und do {} while (...); ist etwas anders, aber nicht in irgendeiner Art und Weise auswirken sollte nichts beim ausführen.

Java-code:

class WhileTest {
    boolean condition;

    void waitWhile() {
        while(!condition);
    }

    void waitDoWhile() {
        do {} while(!condition);
    }
}

Generierten code:

class WhileTest {
  boolean condition;

  WhileTest();
    Code:
       0: aload_0       
       1: invokespecial #1                  //Method java/lang/Object."<init>":()V
       4: return        

  void waitWhile();
    Code:
       0: aload_0       
       1: getfield      #2                  //Field condition:Z
       4: ifne          10
       7: goto          0
      10: return        

  void waitDoWhile();
    Code:
       0: aload_0       
       1: getfield      #2                  //Field condition:Z
       4: ifeq          0
       7: return        
}

Wenn Sie Lesen Kommentar über dem code, Es wird erwähnt, dass...

Wenn der Anrufer nicht eine ForkJoinTask diese Methode ist behaviorally equivalent zu

while (!blocker.isReleasable())
   if (blocker.block())
      return;
}

So ist es nur eine andere form zu implementieren Sie obigen code in den else-Teil...!!

In Style notes es wird erwähnt, dass,

Gibt es mehrere vorkommen der ungewöhnlichen "do {} while
(!cas...)", was ist der einfachste Weg zu zwingen, ein update von einer
CAS ' ed variable.

Und wenn Sie sehen die Umsetzung von ManagedLocker#isReleasable, Es ist die Aktualisierung der Schleuse und zurück true wenn blockieren unnötig ist.

Interpretation :

Leere while-Schleifen werden verwendet, um ein unterbrechen, bis eine Bedingung reset auf true/false.

Hier do { } while(!...) ist ein blocker/unterbrechen, bis blocker.block() wird true wenn blocker.isReleasable() ist false. Schleife wird die Ausführung fortsetzen, während blocker ist nicht lösbare (!blocker.isReleasable()) und blocker ist nicht gesperrt!!!! Die Ausführung wird aus der Schleife, sobald blocker.block() wird auf true gesetzt.

Beachten Sie, dass do{ } while(...) nicht aktualisiert CAS-variable, aber Sie garantieren, dass das Programm wartet, bis die variable aktualisiert wird (Kraft, zu warten, bis die variable aktualisiert wird).