Cтраница 3
В общем случае процедура прогонки имеет экспоненциальную временную сложность. Если табло Т имеет k столбцов и т строк. Если использовать процедуру прогонки для проверки отсутствия потерь информации при соединении, то не всегда нужна полная процедура. Как только получена wd, строка из одних выделенных переменных, нет необходимости продолжать проверку. Если wd входит в какое-нибудь табло порождающей последовательности, оно появится в окончательном табло. Для проверки С с существуют другие методы в отличие от метода прогонки, имеющие в случае F - или J-зависимостей полиномиальную временную сложность. [31]
Весьма важный вопрос, возникающий в связи с описанным методом, состоит в том, какое количество ассоциативных регистров обеспечит удовлетворительную работу системы. Данный способ требует более сложной логики управления преобразованием страниц, чем предыдущие, и его введение оправдывается только значительным сокращением числа ассоциативных регистров. По данному вопросу были проведены исследования и, как указывается в одной из работ, путем моделирования было устаковлено, что восемь ассоциативных регистров позволяют избежать полной процедуры поиска номера страницы в памяти для 90 % случаев. [32]
Весьма важный вопрос, возникающий в связи с описанным методом, состоит в том, какое количество ассоциативных регистров обеспечит удовлетворительную работу системы. Данный способ требует более сложной логики управления преобразованием страниц, чем предыдущие, и его введение оправдывается только значительным сокращением числа ассоциативных регистров. По данному вопросу были проведены исследования и, как указывается в одной из работ, путем моделирования было установлено, что восемь ассоциативных регистров позволяют избежать полной процедуры поиска номера страницы в памяти для 90 % случаев. [33]
F является нелинейным функционалом от А ( г), то система уравнений (6.25) представляет собой систему бесконечного числа дифференциальных конечно-разностных нелинейных уравнений. Такая система, разумеется, не может быть решена в общем случае. Последнее оказывается возможным только после ее линеаризации. Полная процедура линеаризации и решения системы уравнений (6.25) приводится ниже. [34]
При обращении к памяти происходит сравнение запрашиваемых номеров программы и виртуальной страницы с числом 2 - f - P во всех ассоциативных регистрах. Если ассоциативная память содержит запрашиваемую информацию, то она выдает номер требуемой физической страницы Р ( р, N), к последнему присоединяется номер слова, после чего возбуждается цикл обращения к памяти. Если требуемая информация отсутствует в ассоциативных регистрах, то выполняется полная процедура обращения к страничной таблице. После того как из страничной таблицы будет найден номер физической страницы, в один из ассоциативных регистров вписывается только что полученная пара чисел 2aN p и P ( p N); таким образом, в следующий раз доступ к данной физической странице не потребует полной процедуры. [35]
Всякий раз, когда происходит обращение к памяти, сначала просматривают ассоциативную память для выяснения того, не содержит ли она соответствующую комбинацию номеров сегмента и страницы. Если содержит, то ассоциативная память сразу выдает требуемый номер физической страницы. К нему присоединяется номер строки, и происходит обращение к физической оперативной памяти. Таким образом, вместо трех циклов обращения к памяти у нас получается один запрос к ассоциативной памяти, который можно сделать очень быстрым, и один цикл обращения к оперативной памяти, поэтому полное время обращения к памяти не намного превышает то, которое требуется в обычной машине. Если ассоциативная память не содержит требуемой информации, то выполняется полная процедура, включающая три цикла обращения к памяти. Теперь, когда связь между сегментом и страницей, указанными в команде, и физической страницей в оперативной памяти установлена, в ассоциативную память записывается соответствующая пара, так что в следующий раз при обращении к этой физической странице полная процедура уже не потребуется. [36]
Всякий раз, когда происходит обращение к памяти, сначала просматривают ассоциативную память для выяснения того, не содержит ли она соответствующую комбинацию номеров сегмента и страницы. Если содержит, то ассоциативная память сразу выдает требуемый номер физической страницы. К нему присоединяется номер строки, и происходит обращение к физической оперативной памяти. Таким образом, вместо трех циклов обращения к памяти у нас получается один запрос к ассоциативной памяти, который можно сделать очень быстрым, и один цикл обращения к оперативной памяти, поэтому полное время обращения к памяти не намного превышает то, которое требуется в обычной машине. Если ассоциативная память не содержит требуемой информации, то выполняется полная процедура, включающая три цикла обращения к памяти. Теперь, когда связь между сегментом и страницей, указанными в команде, и физической страницей в оперативной памяти установлена, в ассоциативную память записывается соответствующая пара, так что в следующий раз при обращении к этой физической странице полная процедура уже не потребуется. [37]