Java e Thread

A cura di Flavio Casadei Della Chiesa

In questa sezione del sito trovarete note, slide e discussioni sull'argomento scottante della programmazione concorrente in Java.

Non sono un esperto della materia, ritengo comunque di avere una base più solida di quella di un neofita. I contenuti in questa parte di sito sono da considerre come cose sentite da un non esperto, non devono quindi essere prese come dogmi o roba assolutamente funzionante.

Cominciamo con qualche definizione informale

Un processo è l'esecuzione di un programma (o sottoprogramma) sequenziale. Lo stato di un processo ad un certo istante nel tempo consiste di tutte le sue variabili esplicite dichiarate dal programmatore e da quelle implicite dettate dalla piattaforma hardware e dal sistema operativo. Via via che il processo va avanti questo trasforma il suo stato attraverso l'esecuzione di statement; questi non sono altro che sequenze di una o più istruzioni atomiche.

Testo preso da [http://www.doc.ic.ac.uk/~jnm/book/ Concurrency state models and Java programs]

Una differenza fra Thread e processi consiste nel modo con cui essi condividono le risorse. Mentre i processi sono di solito fra loro indipendenti, utilizzando diverse aree di memoria ed interagendo soltanto mediante appositi meccanismi di comunicazione messi a disposizione dal sistema, al contrario i Thread tipicamente condividono le medesime informazioni di stato, la memoria ed altre risorse di sistema.

Testo preso da [http://it.wikipedia.org/wiki/Processo_(informatica) wikipedia]

Questa è una definizione di carattere generale, per quanto riguarda il linguaggio di programmazione Java è necessario far presente che i Thread condividono logicamente, ma non fisicamente, la stessa memoria. Non sempre un Thread è in grado di vedere agiornate le modifiche effettuate da un alrto Thread. La specifica che si occupa di normare come i Thread interagiscono con la memoria è il JavaMemoryModel. Da notare che nel JavaMemoryModel non è assolutamente presente una regola che dice 'Ogni Thread vede istantaneamente le modifiche effettuate dagli altri Thread senza se e senza ma!'. Molti trabocchetti della programmazione multithread in Java si basano sull'assunzione che esista una regola tipo la precedente.

• Java, Thread e trabocchetti una dispensa da me redatta sul tema delle insidie della programmazione multi thread in Java
• [http://www.cs.umd.edu/users/jmanson/java/j1_talk.ppt JMM] di [http://www.cs.umd.edu/~pugh/ Bill Pugh]. Utili e sintetiche slide.
• [http://javaboutique.internet.com/articles/java_memory/ JMM explained] il JMM piegato in maniera sintetica.
• Esempio future esempio semplice di come è possibile utilizzare l'interaccia Future di java5