C++11 Memory order

[220Volt]

Доброго дня!

Объясните пожалуйста разницу между memory_order_acquire и memory_order_consume. Пишу сюда, потому как запарился читать на не родном языке (не русском) и не находить четкого ответа (может не доходит из-за языкого барьера). Что я знаю о memory_order_acquire? То, что перед чтением с этой меткой ядро произведет обновление своего окружения (обработка входного буфера). Что иначе при memory_order_consume?

[Stilet]

http://msdn.microsoft.com/ru-ru/library/hh874698.aspx
Круто микрососы загнули...

[220Volt]

Вам из этого действительно понятна разница? Может я не умный, но не понимаю. Вот как реализованы операции над atomic_flag (у меня):

…
switch (_Order)
		{
		case memory_order_relaxed:
			return (_InterlockedExchange_nf(_Flag, 1));

		case memory_order_consume:
		case memory_order_acquire:
			return (_InterlockedExchange_acq(_Flag, 1));

		case memory_order_release:
			_Memory_barrier();
			return (_InterlockedExchange_nf(_Flag, 1));

		case memory_order_acq_rel:
		case memory_order_seq_cst:
			return (_InterlockedExchange(_Flag, 1));

		default:
			_INVALID_MEMORY_ORDER;
			return (0);
		}
…

[Stilet]

Вам из этого действительно понятна разница?

Да нет, наоборот!
Я ж и говорю "Круто микрософтовцы наумничали...".
Как по мне речь идет о работе в уже запрошенной (памяти, которая была запрошена уже по мере работы программы) памяти, если в ней есть свободная дыра.

[220Volt]

Подумал стебетесь ))

[Stilet]

Подумал стебетесь ))

Не. Это разработчики выстебнулись )
И робот-переводчик

[220Volt]

Кто-нибудь может объяснить:

#include <thread>
#include <vector>
#include <iostream>
#include <atomic>
 
std::atomic_flag lock = ATOMIC_FLAG_INIT;
 
void f(int n)
{
    for (int cnt = 0; cnt < 100; ++cnt) {
        while (lock.test_and_set(std::memory_order_acquire))  // acquire lock
             ; // spin
        std::cout << "Output from thread " << n << '\n';
        lock.clear(std::memory_order_release);               // release lock
    }
}
 
int main()
{
    std::vector<std::thread> v;
    for (int n = 0; n < 10; ++n) {
        v.emplace_back(f, n);
    }
    for (auto& t : v) {
        t.join();
    }
}

Почему в строке while (lock.test_and_set(std::memory_orde r_acquire)), используется memory_order_acquire, а не memory_order_acq_rel?

Мои мысли: установили флаг в true, а другим ядрам не сообщили. В результате, в критическую секцию может войти несколько потоков.

Пример из http://en.cppreference.com/w/cpp/atomic/atomic_flag

Я так понимаю, что для проверки таких вещей нужен weakly-ordered процессор, таким не обладаю.