Add missing double_buffer implementation