added a few methods to DoubleBuffer<>