addresses — A(adr1) and B(adr2). The order of A and B doesn't matter (it can be B then A). But I want to count these two as a single atomic operation, which would not imply race conditions.
For example, thread 1: A1(adr1), B1(adr2); thread 2 same time: A2(adr1), B2(adr2). I want to ensure that A2 and B2 happen ONLY after when both A1 and B1 are completed. Or vice versa -- A1 & B1 only when A2 & B2 are done.
Could you please write a pseudo code on what orderings to apply to these ops? Nothe that I'd like to 1) avoid mutexes; 2) use the lowest possible ordering.
Извините, что на английском. Запостил это в #llvm, пока не получил ответа. Если кто-то может помочь, буду рад.
Вкратце — хотелось бы увидеть пример минимально возможно ордеринга в данном случае, без использования мутексов (если это реально). Может, fences?
По сути я хочу N записей в разные поинтеры атомарно, без мутексов. К сожалению, это поддерживается только transactional memory, которая редко где сейчас встречается
Обсуждают сегодня