Я читаю сообщение Джо Даффи о Volatile чтения и записи и своевременности , и я пытаюсь понять кое-что о последнем примере кода в сообщении: while (Interlocked.CompareExchange(ref m_state, 1, 0) != 0) ; m_state = 0; while...

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

Хорошо известно, что язык Java позволяет компиляторам переупорядочивать строки скомпилированного кода до тех пор, пока переупорядочивание не влияет на семантику кода. Однако компилятор должен заботиться только о сематике, как видно из текущего...

Я второй раз смотрю на великий доклад Херба об атомном оружии и пытаюсь осмыслить концепции, которые проходят через всю историю модели памяти / последовательной согласованности. Есть одна вещь, которая беспокоит меня сейчас на концептуальном уровне....

Рассмотрим следующий код, который я нашел на http://preshing.com/20120913/acquire-and-release-semantics/ (но я уверен, что часто встречал его в других местах) Общий код: int A = 0; std::atomic<int> Ready(0); Код, выполняемый...

Модель памяти C ++ имеет ослабленную атомарность, которая не дает никаких гарантий упорядочивания операций с памятью. Кроме примера почтового ящика на C, который я нашел здесь: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1525.htm На...

Есть ли способ использовать заборы, чтобы рассуждать о поведении неатомарных операций в C11? В частности, я хотел бы сделать код безопасным в ситуациях, когда некоторые поля должны быть int для совместимости со старыми интерфейсами, которые могут,...

cppreference.com предоставляет это примечание о std::atomic_thread_fence (выделено мной): atomic_thread_fence накладывает более строгие ограничения синхронизации, чем операция атомарного хранилища с тем же std :: memory_order. В то...

Сначала поток A запускает x.store(1, std::memory_order_release) , затем поток B запускает x.load(std::memory_order_acquire) . x в потоке B не гарантируется чтение 1, сохраненного A. Если я использую memory_order_seq_cst , будет ли он...

volatile sig_atomic_t дает ли какие-либо гарантии порядка памяти? Например. если мне нужно просто загрузить / сохранить целое число, можно ли его использовать? Например. здесь: volatile sig_atomic_t x = 0; ... void f() { std::thread...

Я недавно узнал о шести порядках памяти в С ++, меня очень смущали memory_order_acquire и memory_order_release , вот пример из cpp: #include <thread> #include <atomic> #include <cassert> std::atomic<bool> x = {false};...

Недавно я изучаю код проекта cppcoro. И у меня есть вопрос. https://github.com/lewissbaker/cppcoro/blob/master/lib/async_auto_reset_event.cpp#L218 https://github.com/lewissbaker/cppcoro/blob/master/lib/async_auto_reset_event.cpp#L284 if...