Р. Г. Стронгина. Ниж- ний Новгород: Изд-во Нижегородского университета, 2002, 217 с
жүктеу/скачать 1,64 Mb. Pdf көрінісі
|
Seminar 1
- Бұл бет үшін навигация:
- ПРОГРАММНАЯ РЕАЛИЗАЦИЯ ФОРМАЛЬНОЙ МОДЕЛИ ВЗАИМОДЕЙСТВУЮЩИХ ПОСЛЕДОВАТЕЛЬНЫХ ПРОЦЕССОВ С.Б. Попов
| Литература
1. Новаковский С.В. Цвет на экране телевизора. Основы телевизион- ной колориметрии. М., 1997. 2. Воеводин В.В. Математические модели и методы в параллельных процессах. М., 1986. 3. Stokes Michael, Anderson Matthew, Chandrasekar Srinivasan, Motta Ricardo. A Standard Default Color Space for the Internet – sRGB, http://www.color.org. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ ФОРМАЛЬНОЙ МОДЕЛИ ВЗАИМОДЕЙСТВУЮЩИХ ПОСЛЕДОВАТЕЛЬНЫХ ПРОЦЕССОВ С.Б. Попов Институт систем обработки изображений РАН, Самара Введение Во многих практически важных случаях процесс вычислений представляется в виде неоднородной программной сети, в каждом узле которой программа обработки существенно отличается как по количе- ству внешних связей, так и по характеру вычислений. Модель, необхо- 142 димая для исследования таких программных сетей, должна отвечать требованиям адекватности и конструктивности, то есть должна описы- вать все стороны функционирования программной системы, все аспек- ты взаимодействия программ, составляющих её, и предлагать, по воз- можности, способы реализации системы. В качестве формальной модели процессов обработки информации в многопроцессорных вычислительных системах предлагается взять математическую теорию взаимодействующих последовательных про- цессов (алгебра CSP − communicating sequential processes) Ч. Хоара[1]. Основными позитивными чертами этой теории являются: • развитое понятие процесса, учитывающее особенности синхрони- зации и параллельного выполнения процессов, включая модель обмена данными между различными процессами; • удобная техника работы с протоколами (последовательностью событий) процессов, позволяющая легко выделять и анализиро- вать результаты работы модели; • возможность эквивалентного отображения теории на языки высо- кого уровня. Основная идея теории CSP заключается в том, что любую систему можно разложить на параллельно работающие подсистемы, взаимо- действующие как друг с другом, так и со своим системным окружени- ем. Основным объектом рассмотрения является процесс, описываемый как последовательность ограниченного набора событий, выбранных для его описания. Данное множество событий называется алфавитом процесса. Алфавит считается постоянным, заранее определенным свойством объекта. При выборе алфавита проводят некоторое упроще- ние: не рассматриваются многие действия и свойства, представляющие меньший интерес. жүктеу/скачать 1,64 Mb. Достарыңызбен бөлісу:
|