Понимание порядка памяти ослаблено в C++

Question

std::atomic<int> unique_ids; 

void foo() {  
    int i = unique_ids.fetch_add(1, std::memory_order_relaxed); 
    std::cout<<i; 
} 

int main(int argc, char* argv[]) { 
    std::vector<std::thread> threads; 
    for (int i = 0; i < 9; ++i) { 
     threads.emplace_back(foo); 
    } 

    for (int i = 0; i < 9; ++i) { 
     threads[i].join(); 
    } 
    std::cout << std::endl; 
    return 0; 
} 

Моя цель - использовать атомный для генерации уникального идентификатора для программы параллелизма, но меня не интересуют заказы.

Для приведенного выше кода я понимаю, что выходные значения в foo должны отличаться, хотя их заказы не гарантируются.

Я проверил вышеуказанный код сто раз, и все результаты - то, что я ожидал. Я новичок в атомизме/памяти, может ли кто-нибудь помочь мне прояснить мое понимание?

Заранее спасибо. Aimin

P.S. Я хотел бы отметить, что этот вопрос не совпадает с тем, что у меня c++,std::atomic, what is std::memory_order and how to use them, так как мой вопрос касается понимания памяти_order_relaxed, а не общего вопроса об объяснении порядка атомов и памяти.

Answer 1

Это законное использование расслабленной памяти. Вам просто нужна операция, чтобы быть атомарной по отношению к другим доступам к самому самому атомному. Каждая атомная операция имеет эту характеристику, независимо от порядка памяти, или вообще не будет атомом.