Method addMemoryManagement

src/backend/common/DefaultMemoryManager.cpp:96–105

void DefaultMemoryManager::shutdown() { signalMemoryCleanup(); }

void DefaultMemoryManager::addMemoryManagement(int device) {
    // If there is a memory manager allocated for this device id, we might
    // as well use it and the buffers allocated for it
    if (static_cast<size_t>(device) < memory.size()) { return; }

    // Assuming, device need not be always the next device Lets resize to
    // current_size + device + 1 +1 is to account for device being 0-based
    // index of devices
    memory.resize(memory.size() + device + 1);
}

void DefaultMemoryManager::removeMemoryManagement(int device) {
    if (static_cast<size_t>(device) >= memory.size()) {