ring.hpp

/*
    SPDX-License-Identifier: MIT
    Copyright © 2023-2024 Amebis
*/
 
#pragma once
 
#include "assert.hpp"
#include "compat.hpp"
#include <condition_variable>
#include <mutex>
#include <tuple>
 
#if defined(__GNUC__)
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wunknown-pragmas"
#endif
 
namespace stdex
{
    template <class T, size_t N_cap>
    class ring
    {
    public:
#pragma warning(suppress:26495) // Don't bother to initialize m_data
        ring() :
            m_head(0),
            m_size(0),
            m_quit(false)
        {}
 
        std::tuple<T*, size_t> back()
        {
            std::unique_lock<std::mutex> lk(m_mutex);
            if (!space()) {
                m_head_moved.wait(lk, [&]{return m_quit || space();});
                if (m_quit) _Unlikely_
                    return { nullptr, 0 };
            }
            size_t tail = wrap(m_head + m_size);
            return { &m_data[tail], m_head <= tail ? N_cap - tail : m_head - tail };
        }
 
        void push(_In_ size_t size)
        {
            {
                const std::lock_guard<std::mutex> lg(m_mutex);
#ifndef NDEBUG
                size_t tail = wrap(m_head + m_size);
                stdex_assert(size <= (m_head <= tail ? N_cap - tail : m_head - tail));
#endif
                m_size += size;
            }
            m_tail_moved.notify_one();
        }
 
        std::tuple<T*, size_t> front()
        {
            std::unique_lock<std::mutex> lk(m_mutex);
            if (empty()) {
                m_tail_moved.wait(lk, [&]{return m_quit || !empty();});
                if (m_quit && empty()) _Unlikely_
                    return { nullptr, 0 };
            }
            size_t tail = wrap(m_head + m_size);
            return { &m_data[m_head], m_head < tail ? m_size : N_cap - m_head };
        }
 
        void pop(_In_ size_t size)
        {
            {
                const std::lock_guard<std::mutex> lg(m_mutex);
#ifndef NDEBUG
                size_t tail = wrap(m_head + m_size);
                stdex_assert(size <= (m_head < tail ? m_size : N_cap - m_head));
#endif
                m_head = wrap(m_head + size);
                m_size -= size;
            }
            m_head_moved.notify_one();
        }
 
        void quit()
        {
            {
                const std::lock_guard<std::mutex> lg(m_mutex);
                m_quit = true;
            }
            m_head_moved.notify_one();
            m_tail_moved.notify_one();
        }
 
        void sync()
        {
            std::unique_lock<std::mutex> lk(m_mutex);
            m_head_moved.wait(lk, [&]{return m_quit || empty();});
        }
 
    protected:
        size_t wrap(_In_ size_t idx) const
        {
            // TODO: When N_cap is power of 2, use & ~(N_cap - 1) instead.
            return idx % N_cap;
        }
 
        size_t space() const
        {
            return N_cap - m_size;
        }
 
        bool empty() const
        {
            return !m_size;
        }
 
    protected:
        std::mutex m_mutex;
        std::condition_variable m_head_moved, m_tail_moved;
        size_t m_head, m_size;
        bool m_quit;
        T m_data[N_cap];
    };
}
 
#if defined(__GNUC__)
#pragma GCC diagnostic pop
#endif