Space-memory management
[Memory management]
Collaboration diagram for Space-memory management:
|
Namespaces | |
| namespace | Gecode::Memory::Config |
| Parameters defining memory management policy for spaces. | |
Classes | |
| class | Gecode::FreeList |
| Base-class for freelist-managed objects. More... | |
Functions | |
| void * | Gecode::Space::alloc (size_t) |
| Allocate memory on space heap. | |
| void | Gecode::Space::reuse (void *, size_t) |
| Attempt to reuse memory previously allocated with alloc. | |
| template<size_t > | |
| void * | Gecode::Space::fl_alloc (void) |
| Allocate from freelist-managed memory. | |
| template<size_t > | |
| void | Gecode::Space::fl_dispose (FreeList *f, FreeList *l) |
| Return freelist-managed memory to freelist. | |
| size_t | Gecode::Space::allocated (void) const |
| Return how much heap memory is allocated by this space. | |
| size_t | Gecode::Space::cached (void) const |
| Return how much memory is used by caches for actors. | |
| template<VarTypeId VTI> | |
| VarBase * | Gecode::Space::varsDisposeList (void) |
| Return list of variables that need deletion. | |
| template<VarTypeId VTI> | |
| void | Gecode::Space::varsDisposeList (VarBase *v) |
| Set list of variables that need deletion. | |
Function Documentation
|
|
Allocate memory on space heap.
|
|
||||||||||||
|
Attempt to reuse memory previously allocated with alloc.
|
|
||||||||||
|
Allocate from freelist-managed memory.
|
|
||||||||||||||||
|
Return freelist-managed memory to freelist. The first list element to be retuned is f, the last is l. |
|
|
Return how much heap memory is allocated by this space. Note that is excludes the memory for the space object itself. |
|
|
Return how much memory is used by caches for actors.
|
|
||||||||||
|
Return list of variables that need deletion.
|
|
||||||||||
|
Set list of variables that need deletion.
|