Gecode::MemoryManager Class Reference
Manage memory for space. More...
#include <memory-manager.hpp>
Public Member Functions | |
MemoryManager (SharedMemory *sm) | |
Constructor initialization. | |
MemoryManager (SharedMemory *sm, MemoryManager &mm, size_t s_sub) | |
Constructor during cloning mm with shared memory sm and for a memory area for subscriptions of size s_sub. | |
void | release (SharedMemory *sm) |
Release all allocated heap chunks. | |
void * | alloc (SharedMemory *sm, size_t s) |
Allocate memory of size s. | |
size_t | allocated (void) const |
Return how much memory has been allocated. | |
void * | subscriptions (void) const |
Get the memory area for subscriptions. | |
template<size_t s> | |
void * | fl_alloc (SharedMemory *sm) |
Allocate free list element of size s. | |
template<size_t > | |
void | fl_dispose (FreeList *f, FreeList *l) |
Release all free list elements of size s between f and l (inclusive). | |
void | reuse (void *p, size_t s) |
Store for reusal, if of sufficient size for free list. |
Detailed Description
Manage memory for space.
Definition at line 138 of file memory-manager.hpp.
Constructor & Destructor Documentation
Gecode::MemoryManager::MemoryManager | ( | SharedMemory * | sm | ) | [inline] |
Constructor initialization.
Definition at line 381 of file memory-manager.hpp.
Gecode::MemoryManager::MemoryManager | ( | SharedMemory * | sm, | |
MemoryManager & | mm, | |||
size_t | s_sub | |||
) | [inline] |
Constructor during cloning mm with shared memory sm and for a memory area for subscriptions of size s_sub.
Definition at line 390 of file memory-manager.hpp.
Member Function Documentation
void Gecode::MemoryManager::release | ( | SharedMemory * | sm | ) | [inline] |
Release all allocated heap chunks.
Definition at line 408 of file memory-manager.hpp.
void * Gecode::MemoryManager::alloc | ( | SharedMemory * | sm, | |
size_t | s | |||
) | [inline] |
Allocate memory of size s.
Definition at line 332 of file memory-manager.hpp.
size_t Gecode::MemoryManager::allocated | ( | void | ) | const [inline] |
Return how much memory has been allocated.
Definition at line 327 of file memory-manager.hpp.
void * Gecode::MemoryManager::subscriptions | ( | void | ) | const [inline] |
Get the memory area for subscriptions.
Definition at line 344 of file memory-manager.hpp.
void * Gecode::MemoryManager::fl_alloc | ( | SharedMemory * | sm | ) | [inline] |
Allocate free list element of size s.
Definition at line 456 of file memory-manager.hpp.
Release all free list elements of size s between f and l (inclusive).
Definition at line 469 of file memory-manager.hpp.
void Gecode::MemoryManager::reuse | ( | void * | p, | |
size_t | s | |||
) | [inline] |
Store for reusal, if of sufficient size for free list.
Definition at line 424 of file memory-manager.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/memory-manager.hpp (Revision: 9692)
- gecode/kernel/memory-manager.cpp (Revision: 8706)