| 739 | } |
| 740 | |
| 741 | void BufferDescriptor::Free() { |
| 742 | DCHECK(buffer_ != nullptr); |
| 743 | if (!is_cached() && !is_client_buffer()) { |
| 744 | // Only buffers that were allocated by DiskIoMgr need to be freed. |
| 745 | ExecEnv::GetInstance()->buffer_pool()->FreeBuffer( |
| 746 | bp_client_, &handle_); |
| 747 | } |
| 748 | buffer_ = nullptr; |
| 749 | } |