Very cool stuff, Ping Pong Buffering.
I first came across that concept in 2007, on a DSP. Been using it ever since. I do a lot of audio processing stuff at 48 or 96 KHz. My applications are really simple, but I haven't missed a DSP since.
Cheers,
Alberto