Достижимые объекты в классическом подходе

Достижимые объекты в классическом подходе

Поскольку проблема недостижимости рассматривается в таких классических подходах, как Pascal, C и Ada, разумно начать с этих случаев. (Читатели, незнакомые ни с одним из этих подходов, могут пропустить этот раздел и перейти к следующему, рассматривающему ОО-программирование.)

Все подходы используют стековое размещение объектов и размещение в динамической памяти. Языки C и Ada поддерживают также статическую модель, но для упрощения ее можно проигнорировать, рассматривая статику как специальный случай размещения в стеке. Можно полагать, что статические объекты размещаются в начале выполнения и находятся в конце стека. В языке Pascal они объявляются в самом внешнем блоке.

Общим свойством этих подходов является и то, что сущности могут задаваться указателями. В ОО-подходе вместо указателей используются ссылки - более абстрактное понятие (эта тема обсуждалась в предыдущей лекции). Позвольте сделать вид, что указатели есть в действительности ссылки, игнорируя слабо типизируемую природу указателей в С.

При этих допущениях и упрощениях на следующем рисунке показаны оригиналы, размещенные в стеке или присоединенные к ссылке, размещенной в стеке, достижимые и недостижимые объекты.

Рис. 9.6.  Живые и мертвые объекты в комбинированной модели - стек и динамическая память (живые объекты окрашены в серый цвет)

Проблема недостижимости возникает только для объектов, размещенных в динамической памяти. Такие объекты всегда подсоединяются к сущностям ссылочного типа. Поэтому удобно игнорировать проблему повторного использования памяти для объектов, непосредственно размещенных в стеке. Она может быть решена просто при помощи освобождения стека при окончании блока. Начнем рассмотрение со ссылок, размещенных в стеке. Мы можем назвать их ссылками оригиналами (reference origins). Они изображены толстыми стрелками на рисунке и представляют:

[x]. (O1) Значение локальных сущностей или аргументов функции ссылочного типа (как две верхних начальных ссылки на рисунке).

[x]. (O2) Поля ссылочного типа объектов, расположенных в стеке (ниже лежащая ссылка на рисунке).

Рассмотрим пример объявления типа и процедуры, написанный на смеси Pascal и нотации, используемой в этой книге ( reference G - ссылка, которая может быть подсоединена к объекту типа G):

type

COMPOSITE =

record

m:INTEGER

r:reference COMPOSITE

end

...

procedure p is

local

n: INTEGER

c: COMPOSITE

s: reference COMPOSITE

do

...

end

При каждом вызове процедуры p три значения вталкиваются в стек:

Рис. 9.7.  Размещение сущностей для процедуры

Тремя новыми значениями являются: целое n, не влияющее на проблему управления объектами (оно исчезнет при завершении процедуры и не ссылается на другие объекты); ссылка s, являющаяся примером категории О1; и объект с типа COMPOSITE. Сам объект содержится в стеке и занятая объектом память может быть использована по завершении работы процедуры. Но он содержит ссылочное поле r, являющееся примером категории О2.

Итак, для определения достижимости объекта в классическом подходе, комбинирующем стековую и динамическую память, следует начать со ссылок в стеке (переменные ссылочного типа и ссылочные поля комбинированных объектов), и последовательно просмотреть все ссылочные поля присоединенных объектов, если они существуют.

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг

5.4. Объекты

Из книги Самоучитель UML автора Леоненков Александр

5.4. Объекты Объект (object) является отдельным экземпляром класса, который создается на этапе выполнения программы. Он имеет свое собственное имя и конкретные значения атрибутов. В силу самых различных причин может возникнуть необходимость показать взаимосвязи не только


7.4. Объекты

Из книги Журнал «Компьютерра» № 12 от 28 марта 2006 года автора Журнал «Компьютерра»

7.4. Объекты В общем случае действия на диаграмме деятельности выполняются над теми или иными объектами. Эти объекты либо инициируют выполнение действий, либо определяют некоторый результат этих действий. При этом действия специфицируют вызовы, которые передаются от


8.1. Объекты

Из книги Язык программирования С# 2005 и платформа .NET 2.0. [3-е издание] автора Троелсен Эндрю

8.1. Объекты На диаграмме последовательности изображаются исключительно те объекты, которые непосредственно участвуют во взаимодействии и не показываются возможные статические ассоциации с другими объектами. Для диаграммы последовательности ключевым моментом


НОВОСТИ: Не Гуглом единым. Следующее поколение поисковых систем уже на подходе

Из книги Основы объектно-ориентированного программирования автора Мейер Бертран

НОВОСТИ: Не Гуглом единым. Следующее поколение поисковых систем уже на подходе Автор: Денис КоновальчикШаги весны явственно слышны не только в природе, но и в мире поисковых систем. Словно россыпь подснежников, в марте на свет появился целый букет новых многообещающих


Объекты DataSet с множеством таблиц и объекты DataRelation

Из книги Windows Script Host для Windows 2000/XP автора Попов Андрей Владимирович

Объекты DataSet с множеством таблиц и объекты DataRelation До этого момента во всех примерах данной главы объекты DataSet содержали по одному объекту DataTable. Однако вся мощь несвязного уровня ADO.NET проявляется тогда, когда DataSet содержит множество объектов DataTable. В этом случае вы можете


Объекты

Из книги Программирование на языке Ruby [Идеология языка, теория и практика применения] автора Фултон Хэл

Объекты Сетевые вычисления и Интернет сделали тему объектных технологий бестселлером компьютерных новостей. Распространение таких языков программирования, как Java и С++, заставляет разработчиков приложений изменить свое отношение к традициям и признать преимущества


Объекты OS/400 и системные объекты MI

Из книги HTML 5, CSS 3 и Web 2.0. Разработка современных Web-сайтов. автора Дронов Владимир

Объекты OS/400 и системные объекты MI Несколько типов объектов имеются и в OS/400, и в MI. Типы объектов OS/400 перечислены в таблице 5.1. Для сравнения, в таблице 5.2 приведены системные объекты MI. Помните, что в каждой новой версии AS/400 добавляются новые функции и даже новые объекты.


Достижимые объекты в ОО-модели

Из книги HTML 5, CSS 3 и Web 2.0. Разработка современных Web-сайтов автора Дронов Владимир

Достижимые объекты в ОО-модели ОО-структура данных, представленная в предыдущих лекциях, имеет некоторые отличия от рассмотренной выше структуры. Рис. 9.8.  Достижимость в ОО-моделиРабота любой системы начинается с создания объекта, называемого корневым объектом


Объекты

Из книги Macromedia Flash Professional 8. Графика и анимация автора Дронов В. А.

Объекты В JScript под объектом понимается совокупность свойств и методов. Метод — это внутренняя функция объекта, свойство — это одно значение какого-либо типа или несколько таких значений (в виде массива или объекта), хранящихся внутри объекта. Поддерживаются три вида


1.3.1. Объекты

Из книги Цифровой журнал «Компьютерра» № 173 автора Журнал «Компьютерра»

1.3.1. Объекты В Ruby все числа, строки, массивы, регулярные выражения и многие другие сущности фактически являются объектами. Работа программы состоит в вызове методов разных объектов:3.succ                # 4"abc".upcase          # "ABC"[2,1,5,3,4].sort      # [1,2,3,4,5]someObject.someMethod # какой-то


Объекты

Из книги Цифровой журнал «Компьютерра» № 200 автора Журнал «Компьютерра»

Объекты Итак, мы познакомились с типами данных, переменными, константами, оператора- ми, простыми и сложными выражениями, функциями и массивами. Но это была, так сказать, присказка, а сказка будет впереди. Настала пора узнать о самых сложных структурах данных JavaScript —


Объекты 

Из книги автора

Объекты  Итак, мы познакомились с типами данных, переменными, константами, операторами, простыми и сложными выражениями, функциями и массивами. Но это была, так сказать, присказка, а сказка будет впереди. Настала пора узнать о самых сложных структурах данных JavaScript —


Объекты

Из книги автора

Объекты Итак, мы познакомились с типами данных, переменными, константами, операторами, действиями, простыми и сложными выражениями, функциями и массивами. Теперь настала пора узнать о самых сложных структурах данных ActionScript —


О гуманитарном и естественнонаучном подходе к взрывоопасной теме: обсуждению причин гомосексуального поведения Дмитрий Шабанов

Из книги автора

О гуманитарном и естественнонаучном подходе к взрывоопасной теме: обсуждению причин гомосексуального поведения Дмитрий Шабанов Опубликовано 16 мая 2013 Эта моя колонка (перебившая даже развитие разговора об обонянии) является реакцией на яркую


PS4 стартовала, Xbox One на подходе: один на один или двое против всех? Евгений Золотов

Из книги автора

PS4 стартовала, Xbox One на подходе: один на один или двое против всех? Евгений Золотов Опубликовано 18 ноября 2013 Затянувшееся перемирие в войне игровых консолей окончено: в пятницу в США стартовали продажи Sony PlayStation 4, а её основной соперник, Xbox One от