Java Senkronizasyon kullanıldığında, ücretsiz olarak volatil işlevlerim var mı?

Question

Eşzamanlılık sorunları hakkında birkaç yazı okuyorum ama hala bir şey hakkında emin değilim. Senkronize edildiğinde, bir uçbirimde kilit açılacağı zaman, sonraki iş parçacığının her zaman değiştirilen nesneyi okuduğundan, ücretsiz olarak uçucu işlevler aldığımı söyleyebilirim. Uçucu ile, bir nesnenin değeri hemen diğer konulara yansıtılır. Ama senkronize kullandığımda, nesne üzerindeki kilit nedeniyle onu hemen yansıtabilme olasılığı yoktur. Kilit serbest bırakıldığında, sadece başka bir iş parçacığı ona erişebilir. Yani değeri hemen diğer konulara yansıtmayı umursamıyorum. Bu hakkımı anlıyor muyum? her zaman 1 2 3 4 5 6 7 8 9 uçucu olmayan

[UPDATE]
Örnek yazdırılır.

package main; 

public class Counter 
{ 
    public static long count = 0; 
} 

public class UseCounter implements Runnable 
{ 
    public void increment() 
    { 
     synchronized (this) 
     {  
      Counter.count++; 
      System.out.print(Counter.count + " "); 
     } 
    } 

    @Override 
    public void run() 
    { 
     increment(); 
     increment(); 
     increment(); 
    } 
} 

public class DataRace 
{ 
    public static void main(String args[]) 
    { 
     UseCounter c = new UseCounter(); 

     Thread t1 = new Thread(c); 
     Thread t2 = new Thread(c); 
     Thread t3 = new Thread(c); 

     t1.start(); 
     t2.start(); 
     t3.start(); 
    } 
} 

Answer 1

Hayır, uçucu bir erişim Java Hafıza Modeli (belirli uygulamalarla ilgili rağmen, olabilir, ama o bağımlı olmamalıdır)

Java Language Specification 17.4.4 (on the Java Memory Model):

göre senkronize erişim ima edilmez Senkronizasyon işlemler senkronize-şu şekilde tanımlanır: eylemleri ile ilgili aşağıdaki oluşturur:

• monitör m senkronize üzerine bir açma eylemi Sonraki tüm kilit eylemleri ile m (burada "sonraki" senkronizasyon sırasına göre tanımlanmıştır).

• uçucu bir değişken v (§8.3.1.4) senkronize-ile takip eden her için bir yazma (senkronizasyon düzenine göre tanımlanan "sonraki") herhangi bir parçacığı tarafından v okur.

volatile bir değişken çalışır ve synchronized bir nesnenin monitör ('bağlayıcı') üzerinde çalışır. Bir Konu, aynen (örneğin alanı) V nesne O sadece bir uçucu madde değişken okuma nesne O ve başka bir iplik B senkronize bir blok çıkıldığı

, daha sonra yine değildir orada iki iplik arasında senkronize-bağlantılı bir ilişki. İş parçacığı, B iş parçacığı O nesnesinde veya iş parçacığı O nesnesinde V volatil alanı erişilene kadar iş parçacığı tarafından B iş parçacığı veya tersi tarafından yapılan herhangi bir veri değişikliği göreceğinin garantisi yoktur.

Answer 2

Geçici bir değişkene sahip olmak senkronize erişim ile aynı değildir. Bir değişkeni uçucu olarak işaretlediğinizde, nesneye erişen Thread nesnesi yerel bir önbellek tutmayacak ve sadece bir "kopya" olacaktır. Eğer ikisini (senkronize ve uçucu) birleştirirseniz, o zaman her zaman güncellenmiş versiyon olacaktır ve bununla çakışan bir erişiminiz olmayacaktır.

Answer 3

Kodunuz 1 2 3 4 5 6 7 8 9 yazdιrιlabilir.nedeni bir dizi varsa Konu t1 Counter.count yazar böyle

1. olarak olmasıdır
2. Konu t1 nesne c'yi kilidini
3. Konu t2 kilitler c
4. Konu t2 Counter.count
okur nesne sonra

o adım 4'te okuma aşamasında yazma gördüğü 1.

Buile aynı değildir garantilidirYazımın belleğe hemen yansıtılması garanti edilmediğinden, yalnızca adım 1'deki yazmanın 3. adımın sonunda t2'ye görünür olması garanti edilir.