Cтраница 4
В связи с этим для каждого Ф - процессора в любой момент времени должен иметься список блокированных А-процессоров и А-процессоров, находящихся в состоянии готовности. Для возможности использования Ф - процессора при восстановлении А-процессора и дальнейшего продолжения реализации в списках должны быть ссылки на хранящиеся в памяти вектора состояния этих А-процессоров. Работа организующей системы во время решения и состоит в том, чтобы сохранять векторы состояния А-процессоров, вести очередность реализаций, выбирать освободившиеся Ф - процессоры и восстанавливать на них векторы состояний А-процессоров. [46]
В описке должна быть по крайней мере следующая информация: наименование ( или код) процесса, адрес вектора состояния А-процес-сора и адрес связи. Кроме того, в организующей системе имеется список с указанием, какой процесс в текущий момент занимает каждый Ф - процессор. При поступлении процесса в организующую систему для реализации вектор состояния его А-процессора заносится в список векторов состояния, а сам процесс-записывается в очередь состояния готовности на Ф - процессор, который может реализовать начальный А-процессор этого процесса. Данные о векторе состояния А-процессора и о начальном Ф - процессоре могут быть сообщены в специальной информации на управляющей карте. В большинстве организующих систем для этого используются управляющие карты, которые были рассмотрены в гл. Следует отметить, что вектор состояния процесса в начальный момент не во всех случаях будет обязательно пустым. Достаточно часто встречаются ситуации, когда незавершенный процесс по каким-либо причинам отстраняется от реализации и отсылается на внешнее ЗУ. При последующих вызовах необходимо восстанавливать вектор состояний, который был в момент прекращения реализации данного процесса. [47]
Одной из задач построения алгоритма работы организующей системы является выбор такого состояния распределения А-процессо-ров реализуемых процессов по Ф - процессорам УВМ, который не вызывал бы возможности появления самозамыкания. Самозамыкание процесса в организующей системе возникает в тех случаях, когда выполнение А - процессор а задерживается в связи с ожиданием выполнения определенных условий, а выполнение этих условий задерживается ( непосредственно или через другие А-процессоры) из-за невыполнения данного А-процессора. Простейшим примером самозамыкания является ожидание выполнения А-процессора переписи из оперативной памяти на одну из промежуточных памятей, не реализуемое из-за отсутствия места на промежуточной памяти, которое в свою очередь должно быть освобождено при переписи в оперативную память. Оба А-процессора переписи будут находиться в состоянии готовности, но не будут реализованы. Рассмотренные ранее алгоритмы оптимального распределения Ф - процессоров не гарантируют от возможности самозамыкания. [48]
Исполнение процесса на одном из Ф - процессоров в ряде случаев согласно алгоритму бывает необходимо приостановить и передать продолжение реализации процесса на другой Ф - процессор. Такая ситуация, например, возникает при необходимости ввода новой информации для продолжения процесса решения. Так, при расчете корреляционных функций обычно информация вводится по частям. Во время ввода А-процессор вычисления корреляционной функции из-за отсутствия информации не работает и соответствующий вычислительный Ф - процессор должен быть заблокирован для А-процессора. По окончании работы А-процессора ввода, реализуемого на одном из Ф - процессоров внешних устройств, А-процессор расчета функции может снова продолжать вычисления. [49]
При использовании ограниченного числа Ф - процессо-ров для реализации нескольких А-процессоров возникает ситуация, когда некоторый А-процессор разблокирован для дальнейшего выполнения, но не может перейти в состояние решения, так как все Ф - процессоры, на которых он может быть реализован, заняты. А-про-цессоры, находящиеся в состоянии готовности, образуют очередь, из которой они поступают на соответствующие Ф - процессоры по мере их освобождения. Следует заметить, что различные А-процессоры одного и того же процесса могут находиться в различных состояниях. Одни А-процессоры могут быть в состоянии решения, другие - в состоянии блокирования, третьи - в состоянии готовности. Так, например, А-процессор вычисления корреляционной функции может быть блокирован в связи с ожиданием ввода информации с магнитных дисков и вывода полученных значений на широкую печать, А-процессор ввода информации может находиться в состоянии работы на устройстве управления магнитными дисками, а А-процессор памяти находиться в состоянии готовности, ожидая освобождения назначенного для него АЦПУ. [50]