Valore di ritorno dell'operatore assegnazione nel codice concomitante

Question

Dato le seguenti classi:

class Foo { 
    public volatile int number; 

    public int method1() { 
    int ret = number = 1; 
    return ret; 
    } 

    public int method2() { 
    int ret = number = 2; 
    return ret; 
    } 
} 

e dato più thread chiamando method1() e method2() contemporaneamente sullo stesso Foo esempio, può una chiamata a method1() mai restituire qualcosa di diverso 1?

Answer 1

I JLS 15.26 specifica:

Ci sono 12 operatori di assegnazione; tutti sono sintatticamente giusti-associativi (si raggruppano da destra a sinistra). Quindi, a = b = c significa a = (b = c), che assegna il valore di c a b e quindi assegna il valore di b a a.

La risposta di Ted Hopp mostra che il javac di Sun non segue questo comportamento, forse come un'ottimizzazione.

A causa della filettatura qui, il comportamento di Method1 sarebbe indefinito. Se il compilatore di Sun rende il comportamento costante, non si interrompe dal comportamento indefinito.

Answer 2

Penso che la risposta dipende dal compilatore. Il linguaggio specifies:

In fase di esecuzione, il risultato dell'espressione di assegnazione è il valore della variabile dopo il verificarsi l'assegnazione.

Suppongo che teoricamente il valore possa essere modificato prima che si verifichi la seconda (più a sinistra) assegnazione.

Tuttavia, con il compilatore javac di Sun, method1 si si trasformerà in:

0: aload_0 
1: iconst_1 
2: dup_x1 
3: putfield  #2; //Field number:I 
6: istore_1 
7: iload_1 
8: ireturn 

Questo duplica la costante 1 sullo stack e lo carica in number e poi in ret prima di ritornare ret. In questo caso, non importa se il valore memorizzato nella number viene modificata prima assegnazione al ret, perché 1, non number viene assegnato.

Answer 3

O la dichiarazione contiene una lettura instabile, o non contiene una lettura volatile. Qui non può esserci alcuna ambiguità, dal momento che la lettura volatile è molto importante per programmare la semantica.

Se ci si può fidare di javac, possiamo concludere che la dichiarazione non implica una lettura volatile di number. Il valore di un'espressione di assegnazione x=y è in realtà solo il valore di y (dopo le conversioni).

Possiamo anche dedurre che

System.out.println(number=1); 

non comporta la lettura number

String s; 

    (s="hello").length(); 

non comporta la lettura s

x_1=x_2=...x_n=v 

non comporta la lettura x_n, x_n-1, ...; invece, il valore di v viene assegnato direttamente x_i (dopo necessarie conversioni attraverso tipi di x_n, ... x_i