PEPA

Performance Evaluation Process Algebra(PEPA)는 제인 힐스턴이 1990년대에 도입한 컴퓨터 및 통신 시스템을 모델링하기 위해 고안된 확률적 공정 대수다.^[1]이 언어는 확률론적 분기와 전환 시기를 도입하여 밀너의 CCS, 호아레의 CSP와 같은 고전적 프로세스 알헤브라를 확장한다.

비율은 지수 분포로부터 도출되며 PEPA 모델은 유한 상태여서 확률적 프로세스, 특히 연속 시간 마르코프 프로세스(CTMC)를 발생시킨다.따라서 이 언어는 처리량, 활용도 및 응답 시간과 같은 컴퓨터 및 통신 시스템 모델의 정량적 특성과 교착상태로부터의 자유와 같은 질적 특성을 연구하는 데 사용될 수 있다.그 언어는 고든 플롯킨에 의해 발명된 스타일의 구조화된 운영 의미론을 사용하여 공식적으로 정의된다.

대부분의 프로세스 알헤브라와 마찬가지로 PEPA는 패러디한 언어다.접두사, 선택, 협력, 은신처 등 4개의 콤비네이터만 가지고 있다.접두사는 공정(a, r)이라는 순차 구성요소의 기본 구성요소다.P는 구성 요소 P로 동작하기 전에 속도 r로 활동을 수행한다.선택은 두 가지 가능한 대안들, 즉 프로세스 (a, r) 사이에서 경쟁을 설정한다.P + (b, s)Q가 경주에서 이기거나(그리고 그 후에 프로세스가 P로 동작함) 또는 b가 경주에서 이기거나(그 후 과정은 Q로 동작함)

협력사업자는 공정 P < a, b> Q에서 공정 P와 Q는 작업 a와 b에 대해 협력해야 하지만, 그 밖의 활동은 독립적으로 수행할 수 있다.역결합제 정리는 제품 형태의 고정분포를 갖기에 충분한 조건들을 조합에 제공한다.

마지막으로, 프로세스 P/{a}는 활동 a를 시야에 숨기고 다른 프로세스와 결합하지 못하게 한다.

구문

일련의 행동 이름을 부여하면, PEPA 프로세스 세트는 다음과 같은 BNF 문법에 의해 정의된다.

[\displaystyle P::=(a,\lambda).P\,\,\,\,\,\,P+Q\,\,\,\,\,\,P{\\stackrelerline {\triangleright \!\!\triangleleleft }{\scriptstyle {L}Q\,\,\,\,\,\,\,P/L\,\,\,\,A}

구문의 부분은 위에 주어진 순서에 따른다.

액션: $(a,\lambda ).P$ , $(a,\lambda ).P$ P ${\displaystyle (a,\lambda$ ) $P}$ 은(는) 속도 $\lambda$ $\lambda$ 에서 작업을 수행하고 프로세스 $\lambda$ P로 계속 진행할 수 있다 $(a,\lambda ).P$ .
선택하다: 공정 P+Q는 공정 P 또는 공정 Q로 동작할 수 있다.
협력: 프로세스 P와 Q는 동시에 존재하며 이름이 L에 나타나지 않는 동작에 대해 독립적으로 동작한다.L에 이름이 나타나는 동작의 경우, 동작을 공동으로 수행해야 하며, 경기 조건이 이 동작에 걸리는 시간을 결정한다.
숨기는: 프로세스 P는 L에 없는 작업 이름에 대해 평소와 같이 동작하며, L에 나타나는 작업 이름에 대해 $\tau$ 자동 작업 $\tau$ $\tau$ 을(를) 수행한다.
프로세스 식별자: A $A{\overset {\underset {\mathrm {def} }{}}{=}}P$ = $A{\overset {\underset {\mathrm {def} }{}}{=}}P$ e $A{\overset {\underset {\mathrm {def} }{}}{=}}P$ $A{\overset {\underset {\mathrm {def} }{}}{=}}P$ ${\displaystyle$ A ${\overset {\underset {\mathrm {def}{}{}}{{=}P}$ 를 작성하여 $A{\overset {\underset {\mathrm {def} }{}}{=}}P$ A 식별자를 사용하여 프로세스 P를 참조한다.

도구들

Eclipse용^[3] PEPA 플러그인^[2]
ipc: 영국식 PEPA 컴파일러^[4]^[5]
대규모 병렬 시스템의^[7] 유체 분석을 위한 GPAnalyser^[6]

참조

^ Hillston, Jane (1996). A Compositional Approach to Performance Modelling. Cambridge University Press. ISBN 0-521-57189-8. Retrieved 2009-04-21.
^ "The PEPA Plug-in Project".
^ Tribastone, M.; Duguid, A.; Gilmore, S. (2009). "The PEPA eclipse plugin" (PDF). ACM SIGMETRICS Performance Evaluation Review. 36 (4): 28. doi:10.1145/1530873.1530880. S2CID 7715443.
^ "ipc: Imperial PEPA Compiler". www.doc.ic.ac.uk.
^ Bradley, J. T.; Dingle, N. J.; Gilmore, S. T.; Knottenbelt, W. J. (2003). "Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler" (PDF). 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003. p. 344. doi:10.1109/MASCOT.2003.1240679. hdl:10044/1/5750. ISBN 0-7695-2039-1. S2CID 97207.
^ "Google Code Archive - Long-term storage for Google Code Project Hosting". code.google.com.
^ Stefanek, A.; Hayden, R. A.; Bradley, J. T. (2011). "GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems". 2011 Eighth International Conference on Quantitative Evaluation of SysTems. p. 147. doi:10.1109/QEST.2011.26. ISBN 978-1-4577-0973-9. S2CID 10220707.

외부 링크

PEPA: 성능평가 프로세스 대수

[1] Hillston, Jane (1996). A Compositional Approach to Performance Modelling. Cambridge University Press. ISBN 0-521-57189-8. Retrieved 2009-04-21.

[2] "The PEPA Plug-in Project".

[3] Tribastone, M.; Duguid, A.; Gilmore, S. (2009). "The PEPA eclipse plugin" (PDF). ACM SIGMETRICS Performance Evaluation Review. 36 (4): 28. doi:10.1145/1530873.1530880. S2CID 7715443.

[4] "ipc: Imperial PEPA Compiler". www.doc.ic.ac.uk.

[5] Bradley, J. T.; Dingle, N. J.; Gilmore, S. T.; Knottenbelt, W. J. (2003). "Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler" (PDF). 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003. p. 344. doi:10.1109/MASCOT.2003.1240679. hdl:10044/1/5750. ISBN 0-7695-2039-1. S2CID 97207.

[6] "Google Code Archive - Long-term storage for Google Code Project Hosting". code.google.com.

[7] Stefanek, A.; Hayden, R. A.; Bradley, J. T. (2011). "GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems". 2011 Eighth International Conference on Quantitative Evaluation of SysTems. p. 147. doi:10.1109/QEST.2011.26. ISBN 978-1-4577-0973-9. S2CID 10220707.

[1]

[3]

[2]

[4]

[5]

[7]

[6]

v t 동시 컴퓨팅
일반	동시성 동시성 제어
프로세스 캘컬리	CSP CCS ACP 로토스 π-미적분학 주변 미적분학 API-미적분법 PEPA 결합-미적분법
고전적 문제	ABA 문제 흡연자 문제 교착 상태 식당 철학자들 문제 생산자-소비자 문제 경기조건 독자-작가 문제 수면 이발사 문제
카테고리: 동시 컴퓨팅

Search

PEPA

네임스페이스

더

목차

구문

도구들

참조

외부 링크