Cтраница 2
Для простоты предположим сначала, что в списках прогнозов для экономики в целом и для отдельных отраслей все величины принимают значение выше. Такое положение возможно лишь в том случае, если экономика переживает период оживленного подъема. Посмотрим, как в этом случае действует алгоритм составления А-списка. [16]
До сих пор мы описывали процессы обработки данных так, как будто они ведутся независимо друг от друга. Хотя это до некоторой степени верно, в ходе составления списка подходящих акций все эти процессы связаны между собой. Чтобы сделать эту связь возможно более понятной, мы начнем с рассмотрения процесса составления А-списка при упрощенных условиях, а затем рассмотрим более сложные случаи. [17]
Лиспа, 7.3 дает наглядное представление об использовании па мяти. Основная часть памяти занята кучей, которая содержит как списковые структуры данных, так и списковые структуры, представляющие определения функций. В куче хранятся также списки свойств и некоторые из списков, определяемых системой, такие, как А-список и сдвоенный список. Куча разбита на элементы фиксированного размера длиной в одно слово; используется список свободного пространства и сбор мусора. Часть кучи отводится только под элементы данных, занимающие полное слово - числа и цепочки литер, и требует специального алгоритма сбора мусора. [18]
Лиспа ( в действительности функция LAMBDA) связывает в пары атомы, представляющие формальные параметры, и значения соответствующих им фактических параметров и затем добавляет эти пары в начало А-списка. Аналогичные действия выполняются при входе в PROG-сегмент. Каждый атом из перечисленных в списке имен локальных переменных для PROG-сегмента в паре со значением NIL добавляется в начало А-списка. Когда вычисление функции или PROG-сегмента закончено, ассоциации, добавленные в А-список, исключаются из него. Выражение ( SETQ X VAL) заменяет в А-списке текущее значение X значением VAL. X может встречаться в А-списке более чем один раз, но SETQ изменяет только самую недавнюю ассоциацию. [19]
В реализации Лиспа стек используется несколько иначе. Здесь также вызовы подпрограмм ( функций) строго вложены, и для активационных записей можно использовать стек. Каждая активационная запись содержит точку возврата и временные переменные для вычисления выражений и передачи параметров. Локальные среды ссылок ( элементы А-списка) можно было бы попытаться расположить в том же стеке, однако программисту разрешается непосредственно манипулировать ассоциациями локальных сред. Поэтому они обычно записываются в отдельный стек, представленный в виде связанного списка, называемого А-списком. Стек, содержащий точки возврата и временные переменные, может быть в этом случае скрыт от программиста и строиться на основе последовательного распределения. Реализация Лиспа требует также области памяти, называемой кучей, которая управляется с помощью списка свободной памяти и сбора мусора, при этом для элементов, занимающих полное слово ( например, для чисел), выделяется специальная область со специальным алгоритмом управления. [20]
Лиспа ( в действительности функция LAMBDA) связывает в пары атомы, представляющие формальные параметры, и значения соответствующих им фактических параметров и затем добавляет эти пары в начало А-списка. Аналогичные действия выполняются при входе в PROG-сегмент. Каждый атом из перечисленных в списке имен локальных переменных для PROG-сегмента в паре со значением NIL добавляется в начало А-списка. Когда вычисление функции или PROG-сегмента закончено, ассоциации, добавленные в А-список, исключаются из него. Выражение ( SETQ X VAL) заменяет в А-списке текущее значение X значением VAL. X может встречаться в А-списке более чем один раз, но SETQ изменяет только самую недавнюю ассоциацию. [21]
Определение функции в Лиспе имеет форму списковой структуры. Поэтому с помощью примитива READ определение функции можно считать и странслировать во внутреннее представление, имеющее вид связанного списка, точно так же, как любую другую списковую структуру. APPLY использует в качестве аргументов ( 1) определение функции ( начинающееся с LAMBDA и списка формальных параметров), ( 2) список фактических параметров и ( 3) А-список для разрешения нелокальных ссылок во время выполнения функции ( см. следующий разд. APPLY сначала вычисляет фактические параметры, затем устанавливает попарное соответствие между полученными значениями и формальными параметрами функции и, наконец, последовательно добавляет эти пары на вершину А-списка. Затем APPLY вызывает второй примитив, EVAL, для вычисления тела определения функции ( в форме списковой структуры оно всегда является выражением); при этом в качестве среды ссылок используется модифицированный А-список. [22]
Моделирование неявных нелокальных сред, основанных на последней ассоциации в цепи вызовов, более сложно. Примем, что локальные среды должны создаваться и уничтожаться при входе в подпрограмму и выходе из нее и что для таблиц ассоциаций во время выполнения используется центральный стек. Первая найденная в стеке ассоциация для X была создана позднее других, и поэтому нужно использовать именно ее. Само собой разумеется, что при таком направленном поиске игнорируются противоречащие ассоциации, созданные ранее в цепи вызовов подпрограмм. Этот метод выполнения операции обработки ссылки проиллюстрирован на рис. 6.6 для примера из рис. 6.5. Соответствующий метод моделирования лежит в основе А-списка Лиспа, описываемого в гл. [23]
Определение функции в Лиспе имеет форму списковой структуры. Поэтому с помощью примитива READ определение функции можно считать и странслировать во внутреннее представление, имеющее вид связанного списка, точно так же, как любую другую списковую структуру. APPLY использует в качестве аргументов ( 1) определение функции ( начинающееся с LAMBDA и списка формальных параметров), ( 2) список фактических параметров и ( 3) А-список для разрешения нелокальных ссылок во время выполнения функции ( см. следующий разд. APPLY сначала вычисляет фактические параметры, затем устанавливает попарное соответствие между полученными значениями и формальными параметрами функции и, наконец, последовательно добавляет эти пары на вершину А-списка. Затем APPLY вызывает второй примитив, EVAL, для вычисления тела определения функции ( в форме списковой структуры оно всегда является выражением); при этом в качестве среды ссылок используется модифицированный А-список. [24]
Определение функции в Лиспе имеет форму списковой структуры. Поэтому с помощью примитива READ определение функции можно считать и странслировать во внутреннее представление, имеющее вид связанного списка, точно так же, как любую другую списковую структуру. APPLY использует в качестве аргументов ( 1) определение функции ( начинающееся с LAMBDA и списка формальных параметров), ( 2) список фактических параметров и ( 3) А-список для разрешения нелокальных ссылок во время выполнения функции ( см. следующий разд. APPLY сначала вычисляет фактические параметры, затем устанавливает попарное соответствие между полученными значениями и формальными параметрами функции и, наконец, последовательно добавляет эти пары на вершину А-списка. Затем APPLY вызывает второй примитив, EVAL, для вычисления тела определения функции ( в форме списковой структуры оно всегда является выражением); при этом в качестве среды ссылок используется модифицированный А-список. [25]
Так как, банки ответственны за все вложения, которые делаются от их имени, существуют тщательно разработанные процедуры для рассмотрения и утверждения всех решений об инвестиции. Кроме того, каждый инвестор должен иметь возможность доказать в суде правильность своих решений. Все эти критерии практически сводятся к одному принципу: качество инвестиции гарантируется в том и только в том случае, если предлагаемые ценные бумаги покупаются или имеются во владении других ведущих учреждений, управляющих доверенным капиталом. Очевидно, что точное соблюдение этого принципа сделало бы невозможными никакие изменения. На практике более мелкие банки придерживаются правила, согласно которому все нововведения должны исходить только из крупных банков, действующих самостоятельно или небольшими группами. Если нововведения появляются не очень часто, общий список акций, которые считаются подходящими для инвестиции согласно этому принципу, почти не меняется со временем. Еще более точное предсказание возможно, если учесть то обстоятельство, что инвесторы стремятся избежать убытков, избавляясь от акций, цена которых упала ниже покупной цены. Основной список акций ( В-список), которые в данном банке считаются пригодными для доверительной инвестиции, на протяжении долгого времени остается почти постоянным, а любое изменение этого списка состоит лишь в добавлении акций. Инвестор каждый раз производит выбор из некоторого подмножества акций основного списка. Это подмножество, называемое А-списком, определяется с помощью понятия об относительной ценности акций. Поскольку параметры ценных бумаг меняются с течением времени, содержание А-списка также меняется со временем. [26]