C++: библиотека программиста

14 

---

 206 
Pool() : space((unsigned char*)calloc(block_size, ‘\0’)), 
remaining(block_size) 
{} 
void* 
Allocate(size_t 
bytes) 
{ 
if (bytes > block_size) 
return 
::operator 
new(bytes); // 
Слишком большой запрос 
if (gCurrentPool == NULL || bytes ? remaining) 
gCurrentPool = new Pool; 
void* memory = space; 
space 
+= 
bytes; 
remaining -= bytes; 
return 
memory; 
} 
}; 
class Foo { 
public: 
void* operator new(size_t bytes) 
{ 
if (Pool::fCurrentPool == NULL) 
Pool::gCurrentPool = new Pool; 
return 
Pool::gCurrentPool->Allocate(bytes); 
} 
void operator delete(void*) {} 
}; 
Быстрее некуда! Выделение занимает лишь несколько машинных тактов, а освобождение происходит 
мгновенно. Конечно, этот код не завоюет приза на олимпиаде по С++, но я видел, как он всего за 
несколько часов работы спасал проекты с серьезными проблемами быстродействия. Как минимум, он 
поможет определить, на что лучше направить усилия по оптимизации, поскольку выделение и 
освобождение памяти исключается из рассмотрения. Последовательно применяя его к разным классам, 
вы сможете установить, с какими классами связаны основные затруднения. 
Обратите внимание, что для выделения блоков вместо операторной функции 
::operator new
используется функция 
calloc()
. Большинство компиляторов С++ выделяет большой блок с помощью 
функции 
calloc()
(или функции операционной системы), а затем управляет объектами в полученном 
блоке. Если использовать 
::operator new
для выделения блоков, скорее всего, дело кончится 
двойными затратами и двойной фрагментацией, поскольку эти блоки будут существовать в 
стандартных блоках менеджера памяти. При нашей стратегии лучше обойти 
::operator new
. 
Описанная стратегия также хорошо работает в программах с более продолжительным сроком жизни, 
которые изначально создают множество объектов некоторого класса, но удаляют их относительно 
редко (если вообще удаляют). Если операторы 
new
и 
delete
перегружаются на уровне классов, то 
оптимизацию можно ограничить классами, обладающими указанным свойством. 
Сборка мусора на уровне поколений 
Многие алгоритмы выглядят примерно так: 
void Eval(Structure s) 
{ 
// 
Создать локальные объекты 
Eval(s.SomePart()); // 
Произвести вычисления для подструктуры 
// 
Удалить локальные объекты 
} 

---