std::atomic_fetch_add, std::atomic_fetch_add_explicit

#include <string>
#include <thread>
#include <vector>
#include <iostream>
#include <atomic>
#include <chrono>
 
// significado de cnt:
// 5: no hay lectores ni escritores activos.
// 1...4: hay 4 ... 1 lectores activos, el escritor está bloqueado
// 0: valor temporal entre fetch_sub y fetch_add en el bloqueo del lector
// -1: hay un escritor activo. Los lectores están bloqueados.
const int N = 5; // se permiten cuatro lectores concurrentes
std::atomic<int> cnt(N);
 
std::vector<int> data;
 
void lector(int id)
{
    for(;;)
    {
        // bloquear
        while(std::atomic_fetch_sub(&cnt, 1) <= 0)
            std::atomic_fetch_add(&cnt, 1);
        // read
        if(!data.empty())
            std::cout << (  "lector " + std::to_string(id)
                          + " ve " + std::to_string(*data.rbegin()) + '\n');
        if(data.size() == 25)
            break;
        // desbloquear
        std::atomic_fetch_add(&cnt, 1);
        // pausa
        std::this_thread::sleep_for(std::chrono::milliseconds(1));
    }
}
 
void escritor()
{
    for(int n = 0; n < 25; ++n)
    {
        // bloquear
        while(std::atomic_fetch_sub(&cnt, N+1) != N)
            std::atomic_fetch_add(&cnt, N+1);
        // escribir
        data.push_back(n);
        std::cout << "escritor empujó al final " << n << '\n';
        // desbloquear
        std::atomic_fetch_add(&cnt, N+1);
        // pausa
        std::this_thread::sleep_for(std::chrono::milliseconds(1));
    }
}
 
int main()
{
    std::vector<std::thread> v;
    for (int n = 0; n < N; ++n) {
        v.emplace_back(lector, n);
    }
    v.emplace_back(escritor);
    for (auto& t : v) {
        t.join();
    }
}