Структура памяти

В предложении «сегодня мой сын забыл ручку дома.», Мы четко ощущаем, что речь идет об объекте «шариковая или иная ручка для письма», а не об объекте «ручка от двери», при этом не важно какого цвета и где лежит та конкретная ручка. Таким образом, «шариковая или иная ручка для письма» является ГЛОБАЛЬНЫМ ОБЪЕКТОМ.

Давайте составим графическую схему, как выглядит запись предложения в памяти, в наших терминах. Например, предложение: «сегодня мой сын забыл ручку дома».

На данной схеме мы отразили структуру объектов только у «ручки», приведенная структура, конечно, не полна, и у может быть всякого человека она индивидуальна и имеет свои первичные записи и глобальные объекты. Глобальные объекты так же могут быть связаны между собой с помощью ссылок, это можно видеть на данной схеме (Глобальный объект «стол» и глобальный объект «ручка»). И так вся информация в памяти представлена в виде объектов и ссылок между ними.

АКСИОМА №1: Ссылка на скорей всего каждый объект уникальна, и формируется из свойств объекта. И чем ближе эти два объекта друг к другу по свойствам, тем более похожи ссылки на них.

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

Давайте рассмотрим утверждение «Ссылка на скорей всего каждый объект уникальна», если бы ссылки на два разных объекта были идентичны, то эти два объекта мы постоянно путали бы между собой и при этом не могли исправиться даже при помощи обратной связи из вне. Так как конечно данного явления (именно так и было!) не происходит, то с необходимостью следует, что ссылки на разные объекты не идентичны, т.е. ссылка на скорей всего каждый объект уникальна.

Давайте рассмотрим утверждение «И чем ближе эти два объекта друг к другу по свойствам, тем более похожи ссылки на них». Рассмотрим гипотетическую ситуацию с близнецами: две девочки Маша и Даша. Незнакомые люди (люди которые знают этих девочек очень мало) часто путают, как их зовут, даже если четко разделяют их для себя по родинке на носу. Мама их путает очень редко. Так как незнакомые люди не знают хорошо Машу и Дашу, то они не сильно разделяются и по свойствам в их памяти, и сформированные ссылки на объекты соответствующие девочкам похожи. Из-за этого их имена часто путают. Мама в свою очередь знает своих дочерей очень хорошо, она видит их разные характеры, поведение и т.д. И путает имена девочек именно намного меньше (источник не известен) . Таким образом, чем больше различий между объектами, тем реже мы путаем эти два объекта, и наоборот: чем меньше различий между двумя объектами, тем чаще мы их путаем. Что позволяет нам сделать вывод: «И чем ближе эти два объекта друг к другу по свойствам, тем более похожи ссылки на них».

Давайте рассмотрим оставшуюся часть: «формируется из свойств объекта». Из 2-го пункта следует, что чем ближе свойства объектов, тем ближе ссылки. Таким образом, устанавливается зависимость между свойствами объекта и ссылкой на него. Т.е. свойства объекта используются при формировании ссылки на данный объект.

Давайте рассмотрим еще одно свойство ссылок. Пусть ссылка на объект занимает какой-либо объем памяти, обозначим этот объем n. И пусть объект, на конечно который указывает ссылка, занимает какой-либо объем памяти, обозначим этот объем z.

Лемма: z>n, т.е. объем памяти занимаемый ссылкой меньше объема памяти занимаемого объектом.

Для доказательства этого давайте сконструируем 2 объекта в памяти такие, что у первого объекта есть ссылка на второй объект и еще какая-либо информация, у второго есть ссылка на первый и еще какая-либо информация. Эти объекты аналоги «ручки» и «стержня», т.е. ручка состоит из стержня и еще чего-либо, стержень используется в ручке и еще где-либо.

У нас есть:

n1– объем памяти занимаемый ссылкой на второй объект (данная ссылка находится в первом объекте).

n2– объем памяти занимаемый ссылкой на первый объект (данная ссылка находится во втором объекте).

k1 = z1-n1, где z1 – объем памяти занимаемый первым объектом.

k2 = z2-n2, где z2 – объем памяти занимаемый вторым объектом.

k1 это объем памяти занимаемый всей оставшейся информацией в первом объекте, если из него исключить ссылку на второй объект.

k2 это объем памяти занимаемый всей оставшейся информацией во втором объекте, если из него исключить ссылку на первый объект.

k1 безусловно всегда больше 0. Или равна 0, но только в случае если второй объект это одна ссылка.