C++ 11 bellek modeli bellek kopmasını ve çakışmalarını engelliyor mu? C++ 11 bir taslak okuma

Question

I madde 1.7.3 ile ilgilenen edilmiştir:

bir bellek konumu skalar tip bir amacı ya da bitişik bit alanları tüm sahip sıfır olmayan genişlik maksimal dizisi, ya olduğu . ... İki iş parçacığı (1.10) birbiriyle etkileşime girmeden ayrı bellek konumlarını güncelleyebilir ve bunlara erişebilir. Bu fıkra gibi donanımla ilgili yarış koşullarından koruyor mu

:

• hafıza iki otobüs işlemleri (bellek yırtılma) güncellenir unaligned veri erişim? Bir sistem bellek birimi içinde farklı nesnelerin olduğu, örn. 32 bitlik bir sözcükte iki 16 bit imzalı tam sayı ve ayrı nesnelerin her bağımsız güncelleştirmesi tüm bellek biriminin yazılmasını gerektirir (bellek çakışması)?

Answer 1

ikinci nokta ile ilgili olarak, hiçbir ırk olacağı standart garanti. Bu garantinin mevcut derleyicilerde uygulanmadığı söylendi ve bazı mimarilerde uygulanması imkansız bile olabilirdi. İkinci nokta garanti eğer program herhangi yarış durumu içermiyorsa birinci nokta ile ilgili olarak

, ve daha sonra doğal sonucu bu ya bir yarış durumu olmayacak olmasıdır. Yani birden çok iş parçacığı (aynı değişkeni erişmek eğer farklı alt sözcük yerlere yazar standart garanti güvende olduğunu, o zaman bir yarış durumu olabilir tek durum bu kelimenin üzerinde bölünmüş, ya da daha edilir öncül göz önüne alındığında, bir Muhtemelen bunun için sorunlu, önbellek hatları arasında).

Yine bu sert ya uygulamak hatta imkansız olabilir. Eğer hizasız referans noktanız bir önbellek çizgisine denk geliyorsa, o zaman kodun doğruluğunu garantilemek için büyük bir maliyet getirmeden neredeyse imkansız olacaktır. Bu ve diğer nedenler için (örneğin, ham performans, iki önbellek çizgisine dokunan bir nesneye yazma, belleğe 32 bayt yazmayı içeren bir nesneye yazma) ve diğer herhangi bir iş parçacığına dokunmaktan kaçınmanız gerekir. önbellek hatları, aynı zamanda önbelleklerini senkronizasyonu maliyetini ve ...

Answer 2

İki ipler (ama fıkra yalnızca ayrı bellek konumları için geçerlidir) aynı bellek yerine, yalnızca görünür bellek yırtılma karşı koruma sağlamaz.

sizin örneğe göre, bellek çatışma karşı korumak için görünür. Bunu başarmanın en olası yolu, bir kerede 32 bitten daha az yazamayan bir sistemde 32 bit char olur ve sonra iki ayrı nesne bir "sistem bellek birimi" ni hiçbir zaman paylaşamazdı. (Tek yolu, iki 16-bit tamsayı char bitfields olarak 32 bit olan bir sistemde bitişik olabilir.)