Method AddFreeBuffer

be/src/runtime/bufferpool/free-list.h:70–74

Adds a free buffer to the list.

  /// Adds a free buffer to the list.
  void AddFreeBuffer(BufferHandle&& buffer) {
    buffer.Poison();
    free_list_.emplace_back(std::move(buffer));
    std::push_heap(free_list_.begin(), free_list_.end(), HeapCompare);
  }

  /// Get the 'num_buffers' buffers with the highest memory address from the list to
  /// free. The average time complexity is n log n, where n is the current size of the