2. Вектор временной развертки, обобщенной временной развертки

Один из самых простых способов введения системы координат связан с простым перечислением всех операций, т.е. с линейным упорядочением вершин графа алгоритма.

При сохранении уровня достоверности результатов самой важной характеристикой процесса реализации алгоритма является время его выполнения. Если алгоритм реализуется каким-либо образом на какой-нибудь реальной или гипотетической, последоватьельной или параллельной вычислительной системе, то тем самым определяются моменты выполнения всех операций этого алгоритма. Перенумеруем вершины графа алгоритма любым способом и обозначим через время окончания процесса реализации операции, соответствующего і-ой вершине. Таким образом, с каждой реальной или гипотетической реализацией алгоритма можно связать вектор , который показывает, как протекает процесс реализации во времени.

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

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

Если из ой вершины графа алгоритма идет дуга в ую вершину, то этому факту можнодать следующую трактовку. Некоторая информация рождается в ой вершине в момент и передается ой вершине для использования. В какой-то момент времени между и эта информация начинает использоваться устройством, относящимся к ой вершине, и ее использование заканчивается в момент . Следовательно, с каждой дугой графа можно связать не только какую-то информацию, передаваемую от одной вершины к другой. Любая временная развертка однозначно определяет время ее появления и время - ее существования, частично в неизменном, частичнов преобразованном в ой вершине виде. Будем считать, что в момент старая информация полностью заканчивает свое существование и рождается новая. Если в момент одна и та же информация начинает распространяться одновременно по нескольким дугам, то будем предполагать, что на каждой дуге возможна ее самостоятельная жизнь со своими процессами передачи и преобразования.

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

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

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

Если определены какие-то ограничения на параметры вычислительных систем, то тем самым определяется во множестве какое-то подмножество временных разверток. Например, задание вектора или определяет подмножества или . В свою очередь в подмножествах , выделяются подмножества в зависимости от векторов начальных условий. Возможны и другие ограничения. Ясно, что в рассмотренных случаях , , а также = для некоторого вектора , выбираемого по вектору . Все эти множества и подмножества зависят от рассматриваемого алгоритма.