|
245
Конечно, на этот раз потребуется более хитроумный код, чем в варианте с виртуальными функциями из
последнего раздела. Тем не менее, методика «итераторы всюду» обладает одним громадным
преимуществом: она позволяет выполнять действия последовательно. Вариант с рекурсивными
функциями не позволяет каждую миллисекунду или около того делать передышку и давать поработать
другому коду. При использовании итераторов, если соблюдать осторожность, это не проблема. Далее
мы будем использовать именно этот вариант.
Сборка мусора по алгоритму Бейкера
Наверное, вам хочется знать, зачем нужен алгоритм Бейкера, не правда ли? В предыдущей главе я
выдал его за алгоритм уплотнения, но что толку уплотнять память, если для этого приходится
жертвовать 50 процентами ее общего объема? Теперь мы узнаем настоящую прелесть алгоритма
Бейкера — его применение в архитектурах сборки мусора.
На данный момент мы не будем беспокоиться об объектах, доступных извне, и сосредоточим внимание
на периметре стековых переменных.
Поскольку на этот раз мы занимаемся сборкой мусора, нет причин полагаться во всем на подсчет
ссылок. Тем не менее, подсчет ссылок продолжает играть важную роль: он применяется для подсчета
дескрипторов в стеке, ссылающихся на конкретный ведущий указатель. Ведущий указатель, у которого
счетчик ссылок больше 0, непосредственно доступен из стека, а следовательно, входит в периметр. Мы
воспользуемся сильными дескрипторами для стековых переменных и слабыми дескрипторами для
ссылок из одного объекта на другой через переменные класса.
VoidPtr
и другие структуры данных из
предыдущей главы остаются без изменений, за одним исключением:
VoidPtr::Release()
не удаляет
ведущий указатель при обнулении счетчика. Запомните: нулевой счетчик ссылок означает не то, что
объект вообще недоступен, а лишь то, что он недоступен непосредственно из стека.
Шаблон слабого дескриптора
Слабый дескриптор устроен просто.
template
class WH {
friend class Handle;
private:
BMP*
pointer;
WH() : pointer(new BMP (new(object_space) Type)) {};
BMP& operator->() { return *pointer; }
};
Он используется в переменных классов, которые ссылаются на другие объекты.
class Foo {
private:
WH
bar;
//
При конструировании создает Bar + MP
};
Шаблон сильного дескриптора
Шаблон сильного дескриптора идентичен шаблону слабого, за исключением того, что он поддерживает
счетчик ссылок для указателя.
template
class SH {
private:
BMP*
pointer;
public:
SH() : pointer(new BMP(new Type)) { pointer->Grab(); }
SH(const SH& h) : pointer(h.pointer) { pointer->Grab(); }
246
SH(const WH & h) : pointer(h.pointer) { pointer->Grab(); }
operator WH() { return WH(pointer); }
SH& operator=(const SH& h)
{
if (this == &h) return *this;
if (pointer == h.pointer) return *this;
pointer->Release();
h.pointer->Grab();
return
*this;
}
BMP& operator->() { return *pointer; }
};
Шаблон используется для обычных переменных (а не для переменных класса), ссылающихся на
объекты. Благодаря конструктору, принимающему
H
, и операторной функции
operator
H()
он также может использоваться в операциях присваивания с участием переменных классов,
то есть слабых дескрипторов.
class Bar {
private:
WH
foo;
public:
void
f();
};
void Bar::f()
{
SH
f; //
Эквивалентно Foo* f = new Foo;
f = foo;
// Использует operator=(SH(foo));
foo
=
f;
//
Использует operator WH(f);
}
Итераторы ведущих указателей
Помните
VoidPtrIterator
?
VoidPtrPool
возвращает один итератор для перебора всех указателей с
ненулевыми счетчиками ссылок. Все остается без изменений, однако счетчик ссылок теперь
интерпретируется по-другому. Раньше ненулевой счетчик ссылок означал, что объект не следует
уничтожать. Теперь он имеет более узкое значение: объект доступен непосредственно из стека. Все эти
объекты сохраняются, поскольку они находятся на периметре, но мы также сохраним объекты с
нулевыми счетчиками ссылок, если они доступны косвенно.
Для объектов внутри периметра мы должны перебрать дескрипторы каждого объекта периметра, а
затем рекурсивно двигаться внутрь до тех пор, пока не будут перебраны все доступные объекты. Для
этого нам придется анализировать объекты одним из описанных выше способов. В данном примере
будет использовано сочетание виртуальных функций/итераторов. Для этой цели можно слегка
переработать старый интерфейс
VoidPtrIterator
.
class VoidPtrIterator {
protected:
VoidPtrIterator()
{}
public:
virtual bool More() = 0;
virtual VoidPtr* Next() = 0;
};
Теперь пул должен поддерживать два типа итераторов. Один итератор перебирает указатели,
находящиеся на периметре (то есть имеющие ненулевые счетчики ссылок). Второй — указатели на
Do'stlaringiz bilan baham: |
