PEPA - Википедия - PEPA
Эта статья нужны дополнительные цитаты для проверка.Октябрь 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
Алгебра процесса оценки эффективности (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]
Рекомендации
- ^ Хиллстон, Джейн (1996). Композиционный подход к моделированию производительности. Издательство Кембриджского университета. ISBN 0-521-57189-8. Получено 2009-04-21.
- ^ http://www.dcs.ed.ac.uk/pepa/tools/plugin/index.html
- ^ Tribastone, M .; Duguid, A .; Гилмор, С. (2009). "Плагин PEPA eclipse" (PDF). Обзор оценки эффективности ACM SIGMETRICS. 36 (4): 28. Дои:10.1145/1530873.1530880.
- ^ "ipc: Imperial PEPA Compiler". www.doc.ic.ac.uk.
- ^ 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.
- ^ "Архив Google Code - долгосрочное хранилище для хостинга проектов Google Code". code.google.com.
- ^ Стефанек, А .; Hayden, R.A .; Брэдли, Дж. Т. (2011). «GPA - инструмент для анализа масштабируемости жидкости в параллельных системах». 2011 Восьмая Международная конференция по количественной оценке систем. п. 147. Дои:10.1109 / QEST.2011.26. ISBN 978-1-4577-0973-9.