A high-performance auto-expanding circular buffer