| 435 | } |
| 436 | |
| 437 | void BufferPool::BufferAllocator::Free(BufferHandle&& handle) { |
| 438 | DCHECK(handle.is_open()); |
| 439 | handle.client_ = nullptr; // Buffer is no longer associated with a client. |
| 440 | FreeBufferArena* arena = per_core_arenas_[handle.home_core_].get(); |
| 441 | handle.Poison(); |
| 442 | arena->AddFreeBuffer(move(handle)); |
| 443 | } |
| 444 | |
| 445 | void BufferPool::BufferAllocator::AddCleanPage( |
| 446 | const unique_lock<mutex>& client_lock, Page* page) { |
no test coverage detected