Java, gereksiz senkronize ifadeleri kaldırır/optimize eder mi?

Question

Bir kullanıcının bir int döndüren bir yöntem eşitler düşünelim:

int whatever = 33; 
... 

public synchronized int getWathever() { 
    return this.whatever; 
} 

Biz int atomik değiştirilmiş Java özellikleri biliyoruz. Bu nedenle, synchronized ifadesi gerekli değildir.

Derleyiciler onu kaldıracak/optimize edecekler mi?

Answer 1

Hayır alarak sağlamak için en kolay yoldur değişkenin yükleme sırasında herhangi bir başka iş parçacığı tarafından tutulan değildir temin etmelidir bile. Derleyici ve JVM bunu yapsaydı, Java programlama dili bellek modeli tarafından belirlenen kısıtlamaların ihlal edilmiş olması muhtemeldir. Daha fazla özellikle, Java Dil Özellikleri'nde belirtilen synchronization order siparişi ihlal edilir. Bir derleyici veya bir JVM ^* herhangi bir "istenmeyen" eşitlemeyi kaldırsaydı, daha sonra yapılan herhangi bir ek optimizasyon, bir geliştirici tarafından senkronizasyon sırasına (ve önce-önce) ilişkisine yerleştirilen varsayımları ihlal eder. Özel durumunuzda, tamsayıya yazma işlemi, Java bellek modeline uyan bir derleyici/JVM'de okunmadan önce olur.

Senkronizasyonları kaldıran bir derleyici/JVM, bellek modelinin ihlal edildiği bir ortamla sonuçlanabilir. Örneğin, astar içi yöntem, tamsayı değerinin okunmasından önce bir bellek bariyerini yerleştiren derleyici/JVM olmadan gerçekleştirilebilir, böylece eski değerlerin önbelleğe alınmış bir değerden okunmasına izin verilir.

^* Not: Derleyici/JVM duo referansı kasıtlıdır. Bir derleyici yalnızca JLS ile uyumlu olan bayt kodu gönderir; Bir JVM, bellek modelinin gereksinimlerinin hala ihlal edilebileceği bir hatayı alabilir. Bellek modelinin bütünlüğü için, hem derleyici hem de JVM, bellek modeli tarafından belirlenen gereksinimlere uygun olmalıdır.

Answer 2

Eğer int değişkeninin başka bir şekilde ana bellekle düzgün bir şekilde senkronize olduğundan emin olmadıkça, bu iş parçacığı güvenli bir hale getirme amacı güdüyse, bu "senkronize" özelliğini kaldırmak kesinlikle güvenli değildir. Senkronize

Answer 3

(biri için başka bir iş parçacığı tarafından görülebilir değiştirilmiş verileri sağlama) bir kilit alma yanında başka iplik güvenlik etkileri vardır

sürece bu yan etkiler JIT o

istediğini yapma içermez geçerlidir olarak

örnekte bu kilit bu kesinlikle mümkün değildir etkili kilit

Answer 4

VM'nin bir kilidi kaldırabileceği durumlar vardır. Örneğin

Kaçış analizi için

int bar() 
    Foo foo = new Foo(); 
    return foo.getWhatever(); 

VM o foo ikna edebilirim başka iş parçacığı tarafından görülemez, başka nedenle kimse kilitlemek için çalışacağız, getWhatever yöntemin therfore kilitleme bırakılabilir.

Kilit irileşmesi

Foo foo = ...; 
void bar() 
    a(); 
    foo.getWhatever(); 
    b(); 
    foo.getWhatever(); 
    c(); 

yasal olarak bir kilitleme eylemi

void bar() 
    synchronized(foo) 
     a(); 
     foo.getWhatever_without_lock(); 
     b(); 
     foo.getWhatever_without_lock(); 
     c(); 

başka iyi haber kilitli bölge nedeniyle adaptif kilitleme, bu yüzden kısa olması nedeniyle ise, VM en olası irade kurtarmak için birleşti edebilirsiniz Bunun için spin kilit kullanın; Başarısız kilitleme nedeniyle iplik süspansiyonu çok düşüktür.