«memory-model» etiketlenmiş sorular

C ++ 11 standart bir bellek modeli tanıttı, ama bu tam olarak ne anlama geliyor? Peki C ++ programlamasını nasıl etkileyecek? Bu makale ( Herb Sutter'dan alıntı yapan Gavin Clarke tarafından ), Bellek modeli, C ++ kodunun derleyiciyi kimin yaptığını ve hangi platformda çalıştığından bağımsız olarak çağrılacak standartlaştırılmış bir kütüphaneye …

1894 c++  multithreading  c++11  language-lawyer  memory-model 

Kısa süre önce ve p < qne zaman farklı nesneler / diziler işaretçiler C yapmak tanımsız davranışı hakkında bir soru cevap . Bu beni düşündürdü: C ++ bu durumda aynı (tanımsız) davranışa sahiptir , ancak aynı zamanda işaretçilerin karşılaştırılabildiği zaman aynı şeyi döndürmesi ve yapamadıkları zaman tutarlı bir sıralama döndürmesi …

26 c  pointers  undefined-behavior  memory-model  memory-segmentation 

Sürüm 9'da Java SE'ye eklenen yeni bir sınıfın SubmissionPublisher( Java SE 10'daki kaynak kodu, OpenJDK | docs ) nasıl uygulandığını anlamaya çalışırken , daha VarHandleönce bilmediğim birkaç API çağrısına rastladım : fullFence, acquireFence, releaseFence, loadLoadFenceVe storeStoreFence. Biraz araştırma yaptıktan sonra, özellikle bellek bariyerleri / çitler kavramı hakkında (daha önce duymuştum, …

18 java  concurrency  memory-barriers  memory-model  java-memory-model 

C11 Standardının 5.1.2.4 Bölümü, özellikle de Serbest Bırakma / Edinme anlambilimi ile mücadele ediyorum. Şunu not ediyorum https://preshing.com/20120913/acquire-and-release-semantics/ (diğerleri arasında) olduğunu belirtmektedir: ... Sürüm semantiği, program sırasından önce gelen herhangi bir okuma veya yazma işlemi ile yazma sürümünün belleğin yeniden sıralanmasını önler. Yani, aşağıdakiler için: typedef struct test_struct { _Atomic(bool) …

10 c  x86-64  memory-barriers  memory-model  stdatomic 

"Daha önce kesinlikle olur" ifadesi C ++ taslak standardında birkaç kez kullanılır. Örneğin: Fesih [basic.start.term] / 5 Stad saklama süresi olan bir nesnenin başlatılmasının tamamlanması, std :: atexit çağrısından önce gerçekleşirse (bkz., [Support.start.term]), std :: atexit işlevine yapılan çağrı nesnenin yıkıcısına yapılan çağrıdan önce sıralanır. Stad depolama süresine sahip bir …

10 c++  multithreading  language-lawyer  memory-model  happens-before