无优先级反转的环形缓冲区

| 我有一个高优先级的流程，需要将数据传递给低优先级的流程。我已经编写了一个基本的环形缓冲区来处理数据传递：

class RingBuffer {
  public:
    RingBuffer(int size);
    ~RingBuffer();

    int count() {return (size + end - start) % size;}

    void write(char *data, int bytes) {
      // some work that uses only buffer and end
      end = (end + bytes) % size;
    }

    void read(char *data, int bytes) {
      // some work that uses only buffer and start
      start = (start + bytes) % size;
    }

  private:
    char *buffer;
    const int size;
    int start, end;
};

这是问题所在。假设低优先级进程有一个oracle，告诉它确切地需要读取多少数据，因此永不调用

count()

。然后（除非我丢失了某些东西）没有并发问题。但是，一旦低优先级线程需要调用

count()

（高优先级线程可能也要调用它以检查缓冲区是否太满），则有可能在count（）中进行数学运算或更新为最终不是原子的，引入了错误。 我可以在开始和结束的访问周围放置一个互斥锁，但是如果高优先级线程必须等待低优先级线程获取的锁，则会导致优先级反转。 我也许可以使用原子操作来解决一些问题，但是我不知道提供这些功能的一个不错的跨平台库。 是否有标准的环形缓冲区设计可以避免这些问题？