JIT SPRAY АНАЛИЗ TDSS - Xakep Online

Особо чувствительных может смутить выделение одного байта памяти
тогда, когда у нас запрашивают ноль. Да, это грубо, но зато работает.
Дело в том, что мы должны вернуть корректный указатель даже тогда,
когда у нас просят 0 байтов, поэтому приходится изобретать. И чем
проще будет изобретение, тем оно надежней.
Также сомнительной может показаться установка указателя на обработчик
new в нулевое значение с последующим его восстановлением.
К сожалению, у нас нет другого способа получить адрес текущей
функции-обработчика. Нам нужно проверить этот адрес, и, если он
нулевой, возбудить исключение типа bad_alloc.
Еще раз повторюсь, что оператор new в случае проблем с выделением
памяти в бесконечном цикле вызывает функцию-обработчик. Очень
важно, чтобы код этой функции корректно разрешал проблему: сделал
доступной памяти больше, возбудил исключение типа, производного
от bad_alloc, установил другой обработчик, убрал текущий обработчик
или не возвращал управление вовсе. В противном случае программа,
вызвавшая нашу версию new, зависнет.
Отдельно следует рассмотреть случай, когда new является функциейчленом
какого-либо класса. Обычно пользовательские версии
операторов работы с памятью пишутся для более оптимизированного
распределения памяти. Например, new для класса Base заточен под
выделение памяти объемом sizeof(Base) — ни больше, ни меньше.
Но что будет, если мы создадим класс, который наследуется от Base?
В дочернем классе также будет использоваться версия оператора
new, определенного в Base. Но размер наследуемого класса (назовем
его Derived), скорее всего, будет отличаться от размера базового:
sizeof(Derived) != sizeof(Base). Из-за этого вся польза от собственной
реализации new может сойти на нет. О чем, кстати, многие забывают и
испытывают потом нечеловеческие страдания.
Проблема наследования оператора new
class Base {
public:
static void *operator new (std::size_t size)
throw(std::bad_alloc);
...
};
// â ïîäêëàññå íå îáúÿâëåí îïåðàòîð new
class Derived: public Base
{...};
//âûçûâàåòñÿ Base::operator new
Derived *p = new Derived;
Решить проблему достаточно просто, но делать это надо заранее.
Достаточно в базовом классе, в теле оператора new, выполнять проверку
размера выделяемой памяти. Если количество запрашиваемых
байтов не совпадает с количеством байтов в объекте класса Base, то
работу по выделению памяти лучше всего передать стандартной реализации
new. К тому же, так мы сразу же решаем вопрос с обработкой
запроса на выделение нуля байтов памяти — этим уже будет заниматься
штатная версия оператора.
Решение проблемы наследования оператора new
void *operator new (std::size_t size)
throw(std::bad_alloc)
{
// åñëè size íåïðàâèëüíûé, âûçâàòü ñòàíäàðòíûé new
XÀÊÅÐ 09 /140/ 10
}
if(size != sizeof(Base))
return ::operator new(size);
// â ïðîòèâíîì ñëó÷àå îáðàáîòàòü çàïðîñ
...
На уровне класса можно также определить new для массивов
(operator new[]). Этот оператор не должен ничего делать, кроме как
выделять блок неформатированной памяти. Мы не можем совершать
какие-либо операции с еще не созданными объектами. Да и, к
тому же, нам неизвестен размер этих объектов, ведь они могут быть
наследниками класса, в котором определен new[]. То есть количество
объектов в массиве необязательно равно (запрошенное число
байтов)/sizeof(Base). Более того, для динамических массивов может
выделяться большее количество памяти, чем займут сами объекты,
для обеспечения резерва.
Ñîãëàøåíèÿ ïðè
íàïèñàíèè îïåðàòîðà delete
Что касается оператора delete, то тут все гораздо проще. Основная
гарантия, которую мы должны предоставить — это безопасность освобождения
памяти по нулевому адресу. С учетом этого псевдокод delete
будет выглядеть так:
Псевдокод пользовательской
реализации оператора delete
void *operator delete (void *rawMemory) throw()
{
// åñëè íóëåâîé óêàçàòåëü, íè÷åãî íå äåëàòü
if(rawMemory == 0) return;
// îñâîáîäèòü ïàìÿòü, íà êîòîðóþ óêàçûâàåò
rawMemory;
}
Если оператор delete является функцией-членом класса, то, как и в
случае с new, следует позаботиться о проверке размера удаляемой
памяти. Если пользовательская реализация new для класса Base
выделила sizeof(Base) байтов памяти, то и самописный delete должен
освободить ровно столько же байтов. В противном случае, если размер
удаляемой памяти не совпадает с размером класса, в котором
определен оператор, следует передать всю работу стандартному
delete.
Псевдокод функции-члена delete
class Base {
public:
static void *operator new (std::size_t size)
throw(std::bad_alloc);
static void *operator delete
(void *rawMemory, std::size_t size) throw();
...
};
void* Base::operator delete (void *rawMemory,
std::size_t size) throw()
{
113