PEPA - Википедия - PEPA

Алгебра процесса оценки эффективности (PEPA) это стохастический алгебра процессов предназначен для моделирования компьютерных и коммуникационных систем, представленных Джейн Хиллстон в 1990-е гг.[1] Язык расширяет классические алгебры процессов, такие как Milner с CCS и Hoare с CSP путем введения вероятностного ветвления и определения времени переходов.

Ставки взяты из экспоненциальное распределение и модели PEPA являются конечными и поэтому приводят к случайный процесс, в частности марковский процесс с непрерывным временем (CTMC). Таким образом, язык может быть использован для изучения количественных свойств моделей компьютеров и систем связи, таких как пропускная способность, использование и время отклика а также качественные свойства, такие как отсутствие тупик. Язык формально определяется с помощью структурированного операционная семантика в стиле, изобретенном Гордон Плоткин.

Как и большинство алгебр процессов, PEPA - экономичный язык. У него всего четыре комбинатора, префикс, выбор, сотрудничество и прячется. Префикс - это основной строительный блок последовательного компонента: процесс (а, р).п выполняет деятельность а по ставке р прежде чем развиваться, чтобы вести себя как компонент п. Выбор создает конкуренцию между двумя возможными альтернативами: в процессе (а, р).п + (б, s).Q либо а выигрывает гонку (и впоследствии процесс ведет себя как п) или же б выигрывает гонку (и впоследствии процесс ведет себя как Q).

Оператор кооперации требует, чтобы два «кооператива» объединились для тех действий, которые указаны в наборе кооперации: в процессе п < а, б> Q процессы п и Q должны сотрудничать в деятельности а и б, но любые другие действия можно выполнять самостоятельно. В обратная теорема о составном агенте дает набор достаточных условий для того, чтобы сотрудничество форма продукта стационарное распределение.

Наконец, процесс п/{а} скрывает активность а из поля зрения (и предотвращает присоединение к нему других процессов).

Синтаксис

Учитывая набор имен действий, набор процессов PEPA определяется следующими Грамматика BNF:

Части синтаксиса в указанном выше порядке

действие
процесс может выполнить действие а по ставке и продолжайте как процесс п.
выбор
процесс P + Q может вести себя как процесс п или процесс Q.
сотрудничество
процессы п и Q существуют одновременно и ведут себя независимо для действий, имена которых не указаны в L. Для действий, имена которых указаны в L, действие должно выполняться совместно, и условие гонки определяет время, которое это займет.
прячется
процесс п ведет себя как обычно для имен действий не в L, и выполняет бесшумное действие для имен действий, которые появляются в L.
идентификатор процесса
записывать использовать идентификатор А сослаться на процесс п.

Инструменты

  • Подключаемый модуль PEPA[2] за Затмение[3]
  • ipc: имперский компилятор PEPA[4][5]
  • GPAnalyser[6] для жидкостного анализа массивно-параллельных систем[7]

Рекомендации

  1. ^ Хиллстон, Джейн (1996). Композиционный подход к моделированию производительности. Издательство Кембриджского университета. ISBN  0-521-57189-8. Получено 2009-04-21.
  2. ^ http://www.dcs.ed.ac.uk/pepa/tools/plugin/index.html
  3. ^ Tribastone, M .; Duguid, A .; Гилмор, С. (2009). "Плагин PEPA eclipse" (PDF). Обзор оценки эффективности ACM SIGMETRICS. 36 (4): 28. Дои:10.1145/1530873.1530880.
  4. ^ "ipc: Imperial PEPA Compiler". www.doc.ic.ac.uk.
  5. ^ Bradley, J. T .; Dingle, N.J .; Gilmore, S.T .; Knottenbelt, W. J. (2003). «Получение плотностей времени прохождения в моделях PEPA с использованием ipc: имперский компилятор PEPA» (PDF). 11-й Международный симпозиум IEEE / ACM по моделированию, анализу и моделированию компьютерных телекоммуникационных систем, 2003 г. MASCOTS 2003. п. 344. Дои:10.1109 / MASCOT.2003.1240679. ISBN  0-7695-2039-1.
  6. ^ "Архив Google Code - долгосрочное хранилище для хостинга проектов Google Code". code.google.com.
  7. ^ Стефанек, А .; Hayden, R.A .; Брэдли, Дж. Т. (2011). «GPA - инструмент для анализа масштабируемости жидкости в параллельных системах». 2011 Восьмая Международная конференция по количественной оценке систем. п. 147. Дои:10.1109 / QEST.2011.26. ISBN  978-1-4577-0973-9.

внешняя ссылка