Переупорядочивание компилятора вокруг границ мьютекса?

Предположим, у меня есть свои собственные не встроенные функции LockMutex и UnlockMutex, которые используют некоторый надлежащий мьютекс - такой как boost - ...

Работает ли mutex_unlock как забор памяти?

Ситуация, которую я опишу, происходит на iPad 4 (ARMv7s) с использованием posix libs для блокировки / разблокировки мьютекса. Однако я видел подобные вещи на других устройствах ARMv7 (см. Ниже), поэтому я полагаю, что любое решение потребует ...

Должен ли потокобезопасный класс иметь барьер памяти в конце своего конструктора?

При реализации класса, предназначенного для поточно-ориентированного программирования, должен ли я включать барьер памяти в конце его конструктора, чтобы обе...

Требуется ли барьер памяти, если второй поток ожидает завершения первого?

Предположим, что потокAlpha пишет в переменнуюA без блокировки. Вторая нитьBeta ждетAlpha завершить, а затем читает переменнуюA в очереди. Возможно ли, что содержимоеA не будет свежим? Может ли запись в память быть отложена сверх срока жизни ...

Атомность на x86

8.1.2 Блокировка автобусаПроцессоры Intel 64 и IA-32 выдают сигнал LOCK #, который автоматически устанавливается во время определенных критических операций с...

Определение места для использования барьеров (заборов)

Инструкции x86 lfence / sfence / mfence используются для реализации механизмов rmb () / wmb () / mb () в ядре Linux. Легко понять, что они используются для сериализации обращений к памяти. Однако гораздо труднее определить, когда и где их ...

как используется барьер памяти в ядре Linux

 Реализация должна гарантировать, что последнее значение (в порядке модификации), назначенное атомарной операцией или операцией синхронизации, станет видимым для всех других потоков за конечный период времени.

оложим, у меня есть темаA что пишет в

, И если этого не произойдет, то все равно будет правильно.

 более эффективен в SKL, но в конечном итоге все изменилось. Я предполагал, что ранние уархи были более эффективными, но, возможно, нет.

ался найти в Google мой вопрос, но, честно говоря, не знаю, как кратко сформулировать вопрос. Предположим, у меня есть два потока в многоядерной системе Intel. Эти потоки работают на том же узле NUMA. Предположим, что поток 1 записывает в X один ...