6#ifndef BUFFER_MANAGEMENT_INTERFACE_HPP
7#define BUFFER_MANAGEMENT_INTERFACE_HPP
16namespace memory_recycling {
static void print_performance_counters()
Definition buffer_management.hpp:165
static void clean_all()
Deallocate all buffers, no matter whether they are marked as used or not.
Definition buffer_management.hpp:141
static void finalize()
Deallocate all buffers, no matter whether they are marked as used or not.
Definition buffer_management.hpp:157
static void clean_unused_buffers()
Deallocated all currently unused buffer.
Definition buffer_management.hpp:149
void finalize()
Definition buffer_management_interface.hpp:32
void print_buffer_counters()
Print performance counters of all buffer managers to stdout.
Definition buffer_management_interface.hpp:19
void unused_buffer_cleanup()
Deletes all buffers currently marked as unused.
Definition buffer_management_interface.hpp:27
void force_buffer_cleanup()
Definition buffer_management_interface.hpp:24