3 ms·Yup. The other "official" name of it is The Magic Ring Buffer as a sibling comment mentioned.by rdtsc 3y agoYup. The other "official" name of it is The Magic Ring Buffer as a sibling comment mentioned.