java - 是否需要 volatile ？

Question

如果我有一个字节队列，它应该有一个线程生产者，另一个消费者:

class ByteQueue{
    byte[] buf;
    /*volatile?*/ int readIdx;
    /*volatile?*/ int writeIdx;
    Runnable writeListener;
    Runnable readListener;
    // ...
    void write( byte[] b ){
        int wr = writeIdx;
        int rd = readIdx;
        // check consistency and free space using wr+rd
        // copy to buf, starting at wr, eventually wrap around
        // update writeIdx afterwards
        writeIdx = ( wr + b.length ) % buf.length;
        // callback to notify consumer for data available
        writeListener.run();
    }
    void read( byte[] b ){
        int wr = writeIdx;
        int rd = readIdx;
        // check consistency and available data using wr+rd
        // copy buf to b, starting at rd, eventually wrap around
        // update readIdx afterwards
        readIdx = ( rd + b.length ) % buf.length;
        // callback to notify producer for free space available
        readListener.run();
    }
    int available() { return (writeIdx - readIdx) % buf.length; }
    int free() { return buf.length - available() -1; }
    // ...
}

这种队列应该不需要同步。
readIdx 只被读线程修改，
writeIdx 仅由编写器线程。

readIdx == writeIdx表示，没有内容。
并且队列最多只能占用buf.length-1字节的数据。

是否需要 volatiles 或可以省略它们，因为只有一个线程是一个整数状态的修饰符？

谢谢弗兰克

Answer 1

如果另一个线程必须读取它，它需要是易变的。 volatile 关键字向 JVM 指示该值不能被缓存或对其更新进行重新排序，否则对其值的更新可能对其他线程不可见。

可见性问题也延伸到 buf 数组。由于 buf 需要与索引同步更改，因此写入和读取方法似乎需要同步。同步使更改可见，并确保并发调用不会导致索引和 buf 内容变得不一致。