Est-ce correct? Synchronisé (fil), puis le fil = null dans le bloc synch

Question

Je vois ceci:

// thread is a member of this class 

synchronized(this.thread) 
{ 
    this.thread.running = false; 
    this.thread.notifyAll(); // Wake up anything that was .waiting() on 
    // the thread 
    this.thread = null; // kill this thread reference. 
    // can you do that in a synchronized block? 
} 

Est-il correct de définir le thread=null tout en gardant un verrou sur elle?

J'ai trouvé ce pépite avec un peu de code BB.

Answer 1

Oui, c'est bien. L'instruction synchronisée prendra une copie de la référence sur laquelle elle se verrouille et utilisera la copie pour déterminer ce qu'elle doit déverrouiller à la fin.

Section 14.19 de la spécification du langage Java est pas vraiment clair à ce sujet, mais il que l'état ne fait l'expression est évaluée au début - et ne mentionne pas l'évaluer à nouveau plus tard.

Answer 2

Il y a une différence:

synchronized(this.thread) 

Vous synchronisez sur l'objet le champ this.thread points

this.thread = null; 

Vous réaffectant le terrain. Vous ne faites rien avec l'objet que vous avez référencé ci-dessus, donc le verrou est toujours valide.

Answer 3

Vous pouvez le faire, mais il est presque certain que le code est incorrect pour tout ce qu'il essaie d'obtenir. Post le code entier, et je garantis que c'est évidemment le programmeur ne comprend pas la concurrence.

Ne pas réaffecter une variable utilisée pour la synchronisation.

Answer 4

Vous avez seulement un problème si vous avez également un bloc qui attribue une nouvelle valeur à l'enfilage. Dans ce cas, vous avez une condition de concurrence puisque les deux blocs ne se verrouillent pas sur le même objet, mais mettront à jour le même champ et il sera aléatoire quant au bloc qui affecte la dernière valeur.

Answer 5

L'expression synchronisée est déréférencée à l'entrée, de sorte que tous les utilisateurs ultérieurs de ce verrou obtiendront une exception NullPointerException. Vous pouvez contourner cela en plaçant une vérification nulle devant le bloc synchronisé, mais vous avez ensuite introduit une condition de concurrence.