Remove header file common/names.h (#4945)

This commit is contained in:
sduzh
2020-11-26 17:00:48 +08:00
committed by GitHub
parent 2682712349
commit 10e1e29711
136 changed files with 937 additions and 941 deletions

View File

@ -102,7 +102,7 @@ struct BufferPool::BufferAllocator {
/// client's lock via 'client_lock' so that moving the page between the client list and
/// the free page list is atomic. Caller must not hold 'FreeBufferArena::lock_' or any
/// Page::lock.
void AddCleanPage(const boost::unique_lock<boost::mutex>& client_lock, Page* page);
void AddCleanPage(const std::unique_lock<std::mutex>& client_lock, Page* page);
/// Removes a clean page 'page' from a clean page list and returns true, if present in
/// one of the lists. Returns true if it was present. If 'claim_buffer' is true, the
@ -112,7 +112,7 @@ struct BufferPool::BufferAllocator {
/// client list and the free page list is atomic. Caller must not hold
/// 'FreeBufferArena::lock_' or any Page::lock.
bool RemoveCleanPage(
const boost::unique_lock<boost::mutex>& client_lock, bool claim_buffer, Page* page);
const std::unique_lock<std::mutex>& client_lock, bool claim_buffer, Page* page);
/// Periodically called to release free buffers back to the SystemAllocator. Releases
/// buffers based on recent allocation patterns, trying to minimise the number of