[rigtorp]

It might also be better for performance since the two cores can RFO the buffer pointer cache lines from each other.

[gpderetta]

Neither producer or consumer ever writes into that line though, so it should stay in S state forever.