Релиз памяти boost :: shared_ptr из std :: vector

Question

Релиз памяти boost :: shared_ptr из std :: vector

0

Я пытаюсь освободить память boost::shared_ptr<std::vector<std::vector<std::vector<int> > > > используя следующий код:

vec->clear();
std::vector<std::vector<std::vector<int> > > (*vec).swap(*vec);

Но по какой-то причине он не работает. Я проверил с помощью команды htop, и используемая память такая же, как я никогда не выпускал объект.

Затем я попытался выпустить каждый вектор отдельно:

for (auto it1 : *vec) 
{
    for (auto it2 : it1)
    {
        it2.clear();
        std::vector<int>(it2).swap(it2);
    }
    it1.clear();
    std::vector<int>(it1).swap(it1);
}

Но все равно потребляет тот же объем памяти.

Я делаю что-то неправильно? Возможно, это связано с shared_ptr, потому что раньше я выпустил векторы без указателей, и это сработало.

Обновить

Shared_ptr не выйдет из области действия, поскольку является членом класса объекта, который остается в исполнении в спящем потоке.

Jcao02 21 июль 2014, в 18:43

Источник

0

vec.release() должен уничтожить все. Но что бы вы ни делали, память, вероятно, будет освобождена до кучи процесса, а не обратно в ОС (хотя детали зависят от платформы). Вам понадобится более глубокая магия, если вы действительно хотите этот уровень контроля.
Mike Seymour 21 июль 2014, в 16:43
5

Не используйте инструменты ОС для определения того, что делает менеджер кучи C++ внутри.
PaulMcKenzie 21 июль 2014, в 16:43
0

Какой тип vec ? Это не может быть shared_ptr<...> потому что тогда ваш код не скомпилируется. И вы можете рассмотреть Boost.MultiArray вместо вектора вектора векторов.
Praetorian 21 июль 2014, в 16:44
0

какова цель шаблона var.clear(); type(var).swap(var); ?
Johan 21 июль 2014, в 16:45
0

@Johan clear вызовет деструктор каждого объекта в векторе, а своп уменьшит размер вектора до 0 (так как объектов больше нет)
Jcao02 21 июль 2014, в 16:46
0

I've released vectors without pointers before and it worked Вам не гарантируется, что это сработает. На самом деле это менеджер кучи компилятора, который контролирует взаимодействие между использованием приложением кучи памяти и ОС. Возможно, простая причина заключается в том, что менеджер кучи понимает, что вы можете снова выделить память, поэтому все, что ему нужно сделать, это настроить пару внутренних указателей в своих структурах данных вместо того, чтобы делать дорогой вызов ОС для освобождения (а затем выделять снова ).
PaulMcKenzie 21 июль 2014, в 16:50
0

@ Jcao02 Я не думаю, что это гарантировано . Я даже думаю, что для того, чтобы сохранить итератор действительным, вы не можете освободить буфер. shrink_to_fit кажется более подходящим для этой цели.
Johan 21 июль 2014, в 16:51
0

@Praetorian да, это ... это boost :: shared_ptr <vector ...>, и это работает. Я использую GCC 4.7
Jcao02 21 июль 2014, в 16:53
0

@PaulMcKenzie, что я должен использовать, чтобы определить это?
Jcao02 21 июль 2014, в 16:56
2

@ Jcao02 Как должна работать эта конструкция копирования, если vec является shared_ptr ? std::vector<std::vector<std::vector<int> > >(vec) - обратите внимание, что у вас есть дополнительный > в примере выше.
Praetorian 21 июль 2014, в 16:58
0

Но shrink_to_fit - это необязательный запрос, поэтому его можно игнорировать, не так ли? @Johan
Jcao02 21 июль 2014, в 16:58
0

@Praetorian моя ошибка, он использует значение умного указателя (* vec)
Jcao02 21 июль 2014, в 17:00
4

@ Jcao02 - Это может показаться легкомысленным, но используйте «здравый смысл». Вы знаете, что код не пропускает память, верно? Так что доверяйте менеджеру кучи вашего компилятора, чтобы контролировать ситуацию. Менеджер кучи будет знать в эффективный момент времени, когда на самом деле вызвать ОС для освобождения памяти. Если у вас действительно была утечка памяти, то да, инструменты ОС в конечном итоге покажут, что что-то не так. Но вы не можете использовать эти инструменты для микроанализа операций вашего менеджера кучи в C ++.
PaulMcKenzie 21 июль 2014, в 17:02
0

@ Jcao02 Извините, пытаясь лучше понять ваш шаблон clear/build/swap , я вижу, что он работает. Я сказал что-то глупое в отношении итератора, потому что на самом деле они будут сохраняться в замененном векторе, который будет уничтожен. Но это кажется слишком излишним для меня.
Johan 21 июль 2014, в 17:03
0

@ Jcao02 Хорошо, теперь попробуйте распечатать vec->capacity() Capacity vec->capacity() до и после swap
Praetorian 21 июль 2014, в 17:03
0

@Praetorian Вы имеете в виду первую версию вызова clear с помощью vec , или это необходимо делать со всеми внутренними векторами?
Jcao02 21 июль 2014, в 17:06
1

@ Jcao02 Просто добавьте его в существующий код, как показано выше. Внутренним векторам будет сложно содержать что-либо, если vec->capacity() == 0 после swap :)
Praetorian 21 июль 2014, в 17:09

Показать ещё 15 комментариев

Теги:

c++

c++11

vector

boost

stl

1 ответ

Ещё вопросы

vec.release() должен уничтожить все. Но что бы вы ни делали, память, вероятно, будет освобождена до кучи процесса, а не обратно в ОС (хотя детали зависят от платформы). Вам понадобится более глубокая магия, если вы действительно хотите этот уровень контроля.
Не используйте инструменты ОС для определения того, что делает менеджер кучи C++ внутри.
Какой тип vec ? Это не может быть shared_ptr<...> потому что тогда ваш код не скомпилируется. И вы можете рассмотреть Boost.MultiArray вместо вектора вектора векторов.
какова цель шаблона var.clear(); type(var).swap(var); ?
@Johan clear вызовет деструктор каждого объекта в векторе, а своп уменьшит размер вектора до 0 (так как объектов больше нет)
I've released vectors without pointers before and it worked Вам не гарантируется, что это сработает. На самом деле это менеджер кучи компилятора, который контролирует взаимодействие между использованием приложением кучи памяти и ОС. Возможно, простая причина заключается в том, что менеджер кучи понимает, что вы можете снова выделить память, поэтому все, что ему нужно сделать, это настроить пару внутренних указателей в своих структурах данных вместо того, чтобы делать дорогой вызов ОС для освобождения (а затем выделять снова ).
@ Jcao02 Я не думаю, что это гарантировано . Я даже думаю, что для того, чтобы сохранить итератор действительным, вы не можете освободить буфер. shrink_to_fit кажется более подходящим для этой цели.
@Praetorian да, это ... это boost :: shared_ptr <vector ...>, и это работает. Я использую GCC 4.7
@PaulMcKenzie, что я должен использовать, чтобы определить это?
@ Jcao02 Как должна работать эта конструкция копирования, если vec является shared_ptr ? std::vector<std::vector<std::vector<int> > >(vec) - обратите внимание, что у вас есть дополнительный > в примере выше.
Но shrink_to_fit - это необязательный запрос, поэтому его можно игнорировать, не так ли? @Johan
@Praetorian моя ошибка, он использует значение умного указателя (* vec)
@ Jcao02 - Это может показаться легкомысленным, но используйте «здравый смысл». Вы знаете, что код не пропускает память, верно? Так что доверяйте менеджеру кучи вашего компилятора, чтобы контролировать ситуацию. Менеджер кучи будет знать в эффективный момент времени, когда на самом деле вызвать ОС для освобождения памяти. Если у вас действительно была утечка памяти, то да, инструменты ОС в конечном итоге покажут, что что-то не так. Но вы не можете использовать эти инструменты для микроанализа операций вашего менеджера кучи в C ++.
@ Jcao02 Извините, пытаясь лучше понять ваш шаблон clear/build/swap , я вижу, что он работает. Я сказал что-то глупое в отношении итератора, потому что на самом деле они будут сохраняться в замененном векторе, который будет уничтожен. Но это кажется слишком излишним для меня.
@ Jcao02 Хорошо, теперь попробуйте распечатать vec->capacity() Capacity vec->capacity() до и после swap
@Praetorian Вы имеете в виду первую версию вызова clear с помощью vec , или это необходимо делать со всеми внутренними векторами?
@ Jcao02 Просто добавьте его в существующий код, как показано выше. Внутренним векторам будет сложно содержать что-либо, если vec->capacity() == 0 после swap :)

Bill Lynch · Answer 1 · 2014-07-21T14-38-00.000Z

Если у вас есть std::shared_ptr<std::vector>> и вы хотите его удалить:

std::shared_ptr<std::vector<T>> ptr = ...;
ptr.reset();

Если у вас есть std::vector<std::shared_ptr<T>> и вы хотите его удалить:

std::vector<std::shared_ptr<T>> vec = ...;
vec.clear();

Если у вас есть std::vector<T> и вы хотите vec.capacity() == vec.size():

std::vector<T> vec = ...;
vec.shrink_to_fit(); // or: std::vector<T>(vec).swap(vec);

Если вы обеспокоены тем, что htop не отображает уменьшенное количество выделенной памяти для процесса, то пусть просто отметьте это как дубликат этого сообщения: vector <string> не очищает память после выхода из области видимости

Сброс обеспечивает освобождение памяти каждого вектора?
Если вы вызываете ptr.reset() когда ptr.use_count() == 1 и ptr.get() != NULL , то деструктор будет вызываться для содержащегося в std::vector<T> .
@ Jcao02: Ваш вопрос на самом деле: правильно ли работает деструктор std :: vector <std :: vector <int >>?
Нет, я подумал, может быть, мне нужно было сделать что-то особенное из-за указателей и нескольких векторов внутри указателей