| 133 | } |
| 134 | |
| 135 | void BufferPool::DeregisterClient(ClientHandle* client) { |
| 136 | if (!client->is_registered()) return; |
| 137 | client->impl_->Close(); // Will DCHECK if any remaining buffers or pinned pages. |
| 138 | delete client->impl_; // Will DCHECK if there are any remaining pages. |
| 139 | client->impl_ = NULL; |
| 140 | } |
| 141 | |
| 142 | Status BufferPool::CreatePage( |
| 143 | ClientHandle* client, int64_t len, PageHandle* handle, const BufferHandle** buffer) { |