التزامن والمزامنة

#include <iostream>
#include <mutex>
#include <thread>
int main() {
    int items{};
    int recorded{};
    std::mutex mutex;
    auto work = [&] {
        for (int i{}; i < 1000; ++i) {
            std::lock_guard<std::mutex> lock{mutex};
            ++items;
            ++recorded;
        }
    };
    { std::jthread first{work}; std::jthread second{work}; }
    std::cout << items << " " << recorded << "\n";
}

2000 2000

كل زوج زيادات محمي. يكتمل ضم الخيطين قبل القراءتين النهائيتين فتنعكس ألفا عملية في كل حقل.

#include <atomic>
#include <iostream>
#include <thread>
int main() {
    std::atomic<int> count{0};
    auto work = [&] {
        for (int i{}; i < 1000; ++i) {
            count.fetch_add(1, std::memory_order_relaxed);
        }
    };
    { std::jthread first{work}; std::jthread second{work}; }
    std::cout << count.load(std::memory_order_relaxed) << "\n";
}

2000

تُحفظ ألفا زيادة ذرية. لا يدّعي المثال أن العمليات relaxed تنشر حالة أخرى غير ذرية.