ARM Cortex M3 üzerinde atomik int64_t

Question

Derleyicim hala C++ 11 ve std :: atomic'i desteklemediğinden, ldrex-strex çifti aracılığıyla manuel olarak uygulamak zorunda kaldım.

Soruma şudur: ldrex ve strex ile int64_t 'atomik olarak okuma-değiştir-yazmanın doğru yolu nedir?

böyle

Basit çözüm işe görünmüyor (STREXW biri 1'e her zaman döndürür):

volatile int64_t value; 
int64_t temp; 

do 
{ 
    int32_t low = __LDREXW((uint32_t *)&value); 
    int32_t high = __LDREXW(((uint32_t *)&value)+1); 

    temp = (int64_t)low | ((int64_t)high<<32); 
    temp++;  

} while(__STREXW(temp, (uint32_t *)&value) | __STREXW(temp>>32, ((uint32_t *)&value)+1)); 

Ben farklı adreslerde işaret birkaç sıralı LDREX veya STREX talimatlar hakkında bir şey bulamadık

Kılavuz ama bana izin verilmesi gerektiğini bana görünüyordu. Aksi takdirde, birden fazla iş parçacığı, bazı senaryolarda iki farklı atom değişkenini değiştiremezdi.

Answer 1

Bu asla işe yaramaz, çünkü münhasıranları bu şekilde yuvalayamazsınız. Uygulama-bilge, Cortex-M3 yerel özel monitör bile bir adresi takip etmez - the exclusive reservation granule is the entire address space - böylece her kelimeyi ayrı ayrı izleme varsayımı zaten geçersizdir. mimari zaten açıkça dışladı Ancak, hatta herhangi bir uygulama ayrıntılarını dikkate almak gerekmez arka arkaya strex:

If two STREX instructions are executed without an intervening LDREX the second STREX returns a status value of 1. This means that:

• Every STREX must have a preceding LDREX associated with it in a given thread of execution.
• It is not necessary for every LDREX to have a subsequent STREX .

Cortex-M3 (ve genel olarak ARMv7-M) kokan yana ARMv7-A gibi ldrexd var, ya değişkenin tüm girişlerini kontrol etmek için ayrı bir kilit kullanmanız ya da sadece okuma-değiştirme-yazma çevresindeki kesintileri devre dışı bırakmanız gerekecek. Eğer mümkün olursa, atomik 64 bit türüne ihtiyaç duymayacak şeyleri yeniden tasarlamak gerçekten daha iyi olacaktır, çünkü aynı çekirdek üzerindeki diğer parçacıklara göre sadece atomikliği elde edersiniz. -bit işlem atomik bir DMA denetleyicisi gibi bir dış ajan bakış açısından.

Answer 2

Sadece gcc'nin nasıl çalıştığına bakıp aynı komut dizilerini kullanın.

gcc 4.8.2 iddialaris_lock_free() ile std::atomic<int64_t> bile -mcpu=cortex-m3 ile gerçek dönen uygulamaktır. Maalesef, gerçekten çalışmıyor.'u kullanmaya çalışan yardımcı işlevlerin hiçbir uygulaması olmadığından, bağlantı kuramayan veya çalışmayan kodlar yapar. (Denemek için @Notlikethat teşekkürler.)

Here's the test code I tried. Bu bağlantı kesilirse, bu cevabın eski bir sürümüne bakın. Bu sorunun cevabını, ilgili durumlarda, gcc 'un'un yararlı bir kod oluşturduğu herkes için yararlı olması durumunda bırakıyorum.