проблема с исключением, с++, менеджер памяти, исключение в аллокаторе Опции

[concolor]

уважаемые товарищи программеры!
помогите разобраться с дурацкой проблемой.

Ситуация. При выполнении фрагмента кода:

CODE

template<class T>
const Interval<T>
Fixed :: allocateSwap (const Size_t bytes, const allocator :: Method method)
{
if (!swap_.isActive()) {
throw exception :: SwapViolation ();
}
if (swap_.getFreeVolume () < bytes) {
throw exception :: OutOfMemory ();
return Interval<T>();
}
return swap_.template allocate<T> (bytes, method);
}

условие swap_.getFreeVolume () < bytes выполняется и по идее должно вызваться исключение throw exception :: OutOfMemory (); , однако почему то этого не происходит, и программа переходит на return swap_.template allocate<T> (bytes, method); , причем портится переменная swap_ (меняется атрибут swap_.free_) и в результате некорректно выделяет память, впоследствии программа падает с segfault'ом. Я в качестве теста вставил сразу после исключения return Interval<T>(); - но безуспешно, потом все равно выполняется return swap_.template allocate<T> (bytes, method);.

Отсюда вопрос: почему не бросается исключение ?

Пояснение: класс Fixed - это менеджер памяти фиксированного размера, swap_ - это особый класс памяти, помимо стека и кучи (не надо путать со свопом на диске), устроенный наподобии песочных часов. Память в swap_ разделена на два куска: основной (больший) и резервный (меньший). Когда переполняется основной, часть данных (важная, существенная, лучшая, etc.) копируются в резервный, после чего резервный увеличивается до размера основного и они меняются ролями (идиома "песочных часов"). Ясно, что функция allocateSwap вызывается в перегруженом операторе new при создании объектов в классе памяти Swap

Приложены исходники. Для того, чтобы увидеть ошибку нужно распаковать архив и сделать там ./configure; make check. Я использую gcc версии 4.3.2. Тест менеджера памяти, который не проходит, расположен в /src/nstl/testing

Прикрепленные файлы

 mdl_0.7.7.tar.gz ( 3,25 мегабайт ) Кол-во скачиваний: 16

 

[Xecutor]

Скорее всего память портится.
Я скомпилял g++ 3.4.2 под виндой. Скомпилялось.
Но падает в более-менее рандомных местах.
До указанного места просто не доходит.

[busa]

попробуйте valgrind

[concolor]

уффф... разобрался наконец то.
На самом деле вся проблема была не совсем в коде, а в отладчике gdb, который ведет себя совершенно "рандомно" при попытки трассировки исключений. Точнее конечно проблема была в коде, но совсем в другом месте. Так что лишний раз подтвердилось, что gdb - suxx.

Upd. моя радость была преждевременной - все равно баг остался.....

[Xecutor]

gdb отвратительно ведёт себя в подавляющем большинстве случаев.
к сожалению.
у меня как-то для просмотра корок было 3 версии gdb.
и обычно только одна из 3-х показывала корку нормально.

Обычно, таки да, подобные проблемы проще найти автоматическими тулзами

[Basilevs]

Надо таки понимать что оно может а что нет. Вот скажем какой дебаггер что-то может при порушенном стеке?

[Xecutor]

Не-не-не. Порушенный стэк - это святое
gdb очень часто тупо нормальную корку по сиг сегву, с нормальной дебаг инфой показать не может.
а другая версия может...
а уж когда глубоко начинаешь копать, дык упасть для gdb - это дело чести