Scala attori: se la reazione non ritorna mai, perché ha bisogno di essere in un ciclo {}, e perché non mentre (vero) funziona?

Question

Appena iniziato su Scala Actors. Il Scala website dice:

operazioni della discussione-bloccanti possono essere evitati utilizzando react aspettare per nuovi messaggi (il ciondolo basato su eventi di receive). Tuttavia, c'è un prezzo da pagare (in genere piccolo): react non restituisce mai.

...

noti che usare react all'interno di un ciclo while non funziona! Tuttavia, poiché i loop sono comuni, esiste un supporto speciale per la libreria nel modulo di una funzione loop. Può essere utilizzato in questo modo:

loop { 
    react { 
    case A => ... 
    case B => ... 
    } 
} 

Ora sto confuso - sembra che ci sia una contraddizione:

a) Se react mai restituisce, allora qual è il punto di metterlo in un ciclo ?

b) Poiché loop esegue più volte un blocco, come è diverso per while(true) - il motivo per cui non si while lavoro, e in che modo lo fa "non funziona"?

Answer 1

Entrambe le funzioni, loop e react non sono puri. loop accetta una chiamata in base al parametro name e react a PartialFunction, entrambe impostano le variabili sull'attore raw. Questo perché un attore non ha un thread attaccato tutto il tempo. Diventerà attivo solo quando c'è un messaggio nella sua messagebox. Questo è il motivo per cui un while(true) porterà all'utilizzo della cpu al 100% e l'attore non risponde.

Answer 2

Ho trovato una spiegazione che risponde parte a) della mia domanda, in one of Haller and Odersky's papers on Actors (il corsivo è mio sottostante):

L'idea centrale è la seguente: Un attore che attende in una ricezione affermazione è non rappresentato da un thread bloccato ma da una chiusura che cattura il resto del calcolo dell'attore. La chiusura viene eseguita una volta che un messaggio viene inviato all'attore che corrisponde a uno dei modelli di messaggio specificato nella ricezione. L'esecuzione della chiusura è \ piggy-back" sul filo del mittente.

Se la chiusura ricevente termina, il controllo viene restituito al mittente come se una procedura rendimenti. Se i blocchi di chiusura di ricezione in un secondo ricevere, controllo viene restituito al mittente generando un'eccezione speciale che si snoda stack di chiamata del ricevitore.

condizione necessaria per il regime di lavoro è che i ricevitori non ritornano normalmente al loro attore racchiude . In altre parole, nessun codice in un attore può dipendere dalla terminazione o il risultato di un blocco di ricezione ...