[27.10.11] Лекция №9 (1051934)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Лекция №9 [27.10.11]

Дискретные имитационные модели

Имитационная модель – это программная модель, реализующая систему (совокупность) описаний параллельных процессов.

Будем реализовывать на однопроцессорной системе.

Совокупность обоих описаний, идущий параллельно во времени, мы отобразим на один последовательно идущий процесс (квазипараллельный) так, чтобы результат вычислений в этом последовательном процессе не отличался бы от результатов вычислений в параллельных процессах.

Попробуем отобразить первый процесс (который без штрихов):

1) если операторы не сцеплены, то на линии времени КПП (квазипараллельного процесса) мы можем расположить операторы первого процесса в произвольном порядке. Чтобы потом расставить их результаты в правильном порядке, надо просто посмотреть, в какое время они выполнялись в самом процессе.

2) а если некоторые из них между собой сцеплены. Зная времена, можем расставить результаты в верном порядке, а так как мы учли отношение сцеплённости, то мы не нарушили причинно-следственную связь:

3) а теперь если все они сцеплены, расставить можно только в порядке трека:

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

А теперь посмотрим с двумя процессами:

1) и не сцеплены между собой:

Операторы каждого процесса по отношению друг к другу идут как хотят, можно не подряд, но операторы каждого процесса идут строго по треку;

2) и сцеплены:

Если придерживаться правила выполнения на КПП в строгом соответствии с временем, то тогда отпадает необходимость знания сцеплённости у одновременных событий. И тогда остаётся проблема, в каком порядке выполнять одновременные события (порядок вычисления одновременных точек в исходных параллельных процессах). Если сказать умнее, то если следовать правилу монотонного роста (назад возвращаться нельзя) времени в КПП, то мы реализуем автоматически все варианты сцеплений внутри каждого процесса и все варианты сцеплений между процессами вне одновременных точек.

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

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

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов лекций