PEPA - PEPA - Wikipedia

Faoliyatni baholash jarayoni algebra (PEPA) a stoxastik jarayon algebra tomonidan kiritilgan kompyuter va aloqa tizimlarini modellashtirish uchun mo'ljallangan Jeyn Xillston 1990-yillarda.[1] Til kabi klassik jarayon algebralarini kengaytiradi Milner "s CCS va Hoare "s CSP o'tishning ehtimoliy dallanishi va vaqtini kiritish orqali.

Narxlar eksponensial taqsimot va PEPA modellari cheklangan holatga ega va shuning uchun a ni keltirib chiqaradi stoxastik jarayon, xususan, a doimiy Markov jarayoni (CTMC). Shunday qilib, til kompyuter va aloqa tizimlari modellarining miqdoriy xususiyatlarini o'rganish uchun ishlatilishi mumkin ishlab chiqarish, foydalanish va javob vaqti dan ozodlik kabi sifat xususiyatlari boshi berk. Til tuzilgan yordamida rasmiy ravishda aniqlanadi operatsion semantika tomonidan ixtiro qilingan uslubda Gordon Plotkin.

Ko'pgina algebralarda bo'lgani kabi, PEPA ham parsimon til hisoblanadi. Unda faqat to'rtta kombinator bor, prefiks, tanlov, hamkorlik va yashirish. Prefiks - bu ketma-ket komponentning asosiy tarkibiy qismidir: jarayon (a, r).P faoliyatni amalga oshiradi a kursi bo'yicha r tarkibiy qism sifatida o'zini tutish uchun rivojlanishdan oldin P. Tanlov ikkita mumkin bo'lgan alternativalar o'rtasida raqobatni o'rnatadi: jarayonda (a, r).P + (b, s).Q yoki a musobaqada g'olib chiqadi (va keyinchalik bu jarayon o'zini tutadi) P) yoki b musobaqada g'olib chiqadi (va keyinchalik bu jarayon o'zini tutadi) Q).

Hamkorlik operatori ikkala "kooperand" ning kooperatsiya to'plamida ko'rsatilgan faoliyatga qo'shilishini talab qiladi: jarayonda P < a, b> Q jarayonlar P va Q faoliyati bo'yicha hamkorlik qilishi kerak a va b, ammo boshqa har qanday faoliyat mustaqil ravishda amalga oshirilishi mumkin. The teskari birikma agenti teoremasi a-ga ega bo'lish uchun etarli shartlar to'plamini beradi mahsulot shakli statsionar tarqatish.

Nihoyat, jarayon P/{a} faoliyatni yashiradi a ko'rinishidan (va boshqa jarayonlarning unga qo'shilishining oldini oladi).

Sintaksis

Harakat nomlari to'plamini hisobga olgan holda, PEPA jarayonlari to'plami quyidagilar bilan belgilanadi BNF grammatikasi:

Sintaksisning qismlari yuqorida berilgan tartibda

harakat
jarayon harakatni amalga oshirishi mumkin a kursi bo'yicha va jarayon sifatida davom eting P.
tanlov
jarayon P + Q yoki jarayon sifatida o'zini tutishi mumkin P yoki jarayon Q.
hamkorlik
jarayonlar P va Q bir vaqtning o'zida mavjud va nomlari ko'rinmaydigan harakatlar uchun o'zini mustaqil tutadi L. Ismlari paydo bo'lgan harakatlar uchun L, harakat birgalikda amalga oshirilishi kerak va poyga holati bu vaqtni belgilaydi.
yashirish
jarayon P ichida bo'lmagan nomlar uchun odatdagidek o'zini tutadi L, va jim harakatni amalga oshiradi ichida paydo bo'lgan harakat nomlari uchun L.
jarayon identifikatori
yozmoq identifikatordan foydalanish A jarayonga murojaat qilish P.

Asboblar

  • PEPA plaginini[2] uchun Tutilish[3]
  • ipc: imperatorlik PEPA kompilyatori[4][5]
  • GPAnalyser[6] massiv parallel tizimlarni suyuqlik tahlili uchun[7]

Adabiyotlar

  1. ^ Xillston, Jeyn (1996). Ishlashni modellashtirishga kompozitsion yondashuv. Kembrij universiteti matbuoti. ISBN  0-521-57189-8. Olingan 2009-04-21.
  2. ^ http://www.dcs.ed.ac.uk/pepa/tools/plugin/index.html
  3. ^ Tribaston, M.; Duguid, A .; Gilmor, S. (2009). "PEPA tutilishi plagini" (PDF). ACM SIGMETRICS ishlash ko'rsatkichlarini baholash. 36 (4): 28. doi:10.1145/1530873.1530880.
  4. ^ "ipc: Imperial PEPA Compiler". www.doc.ic.ac.uk.
  5. ^ Bredli, J. T .; Dingl, N. J.; Gilmor, S. T .; Knottenbelt, W. J. (2003). "IPPA-dan foydalangan holda PEPA modellarida vaqt zichligini olish: imperatorlik PEPA kompilyatori" (PDF). Kompyuter telekommunikatsiya tizimlarini modellashtirish, tahlil qilish va simulyatsiya qilish bo'yicha IEEE / ACM 11-xalqaro simpoziumi, 2003. MASCOTS 2003. p. 344. doi:10.1109 / MASCOT.2003.1240679. ISBN  0-7695-2039-1.
  6. ^ "Google Code Archive - Google Code Project Hosting uchun uzoq muddatli saqlash". code.google.com.
  7. ^ Stefanek, A .; Xeyden, R. A .; Bredli, J. T. (2011). "GPA - massiv parallel tizimlarning suyuqlikni ko'lamini tahlil qilish vositasi". 2011 SysTems miqdoriy baholash bo'yicha sakkizinchi xalqaro konferentsiya. p. 147. doi:10.1109 / QEST.2011.26. ISBN  978-1-4577-0973-9.

Tashqi havolalar