Java Hafıza Görünürlük aşağıdaki basitleştirilmiş sınıf için

Question

:

public class MutableInteger { 
    private int value; 
    public MutableInteger(int initial) { 
     synchronized(this) { // is this necessary for memory visibility? 
      this.value = initial; 
     } 
    } 
    public synchronized int get() { 
     return this.value; 
    } 
    public synchronized void increment() { 
     this.value++; 
    } 
    ... 
} 

Ben genel soru, yapıcı içinde başlangıç ​​değeri ayarlarken senkronize edilmesi gereklidir senkronizasyon tarafından korunan değişken değişkenler için sanırım?

Answer 1

Haklısınız, synchronized yapıcıda blok yokken, this example'da görüldüğü gibi final dışı alanlar için görünürlük garantisi yoktur.

Ancak, pratikte, böyle durumlarda volatile alanlarını veya Atomic* sınıflarını kullanmayı tercih ediyorum.

Güncelleme: O (JLS tarafından tanımlandığı gibi) programınızı correctly synchronized olmak için sırayla, güvenli bir şekilde sizin nesnesine başvuru yayınlamanız gerekir olduğunu burada belirtmek de önemlidir. Atıf edilen örnek bunu yapmaz, dolayısıyla niçin final olmayan alanlarda yanlış değeri görebilirsiniz. Ancak, nesne başvurusunu doğru bir şekilde yayınlarsanız (başka bir nesnenin final alanına atayarak veya Thread.start() numaralı telefonu aramadan önce oluşturarak), nesnenizin en az saat kadar güncel görünmesi garanti edilir. Yayıncılık, bu nedenle yapıcıda synchronized bloğunu gereksiz hale getiriyor.