|
Retrospektiv Petri tarmog‘i
Ilmiy an'ana ko'pincha asosiy tushuncha, kontseptsiya,
yoki nazariya uning taniqli vakillari nomi bilan Masalan, Abel guruhlari, Plank doimiysi yoki Fibonachchi raqamlariga murojaat qilaylik Kompyuter fanida bu an'ana kamroq tarqalgan (masalan, Tyuring mashinalari, Dijkstra yoki Floyd algoritmlari yoki AVL daraxtlari (qisqartirilgan.
G'arbda "uch rusning algoritmi" deb ataladigan Adelson-Velskiy va Landis nomlarining viaturasi). Nemis olimi Karl Adam Petri
(Karl Adam Petri, 1926 - 2010) bizning zamonamizning bir nechta noyob shaxslaridan biri: ehtimol har bir mutaxassis tanishdir.
Karl Petri tomonidan taklif qilingan "Petri tarmoqlari nazariyasi" deb nomlangan paradigma tushunchasi bilan.
Ushbu nazariyaning boshlanishi Petrining Darmshtadt texnologiya universitetiga taqdim etilgan dissertatsiyasida qo'yilgan.
1961 yilda va keyingi yili himoya qildi.
Aytgancha, Darmshtadt qabul qildi
1997 yilda "Fanlar shahri" rasmiy maqomi.
Dissertatsiya nashr etilgandan so'ng (tez orada ingliz tiliga tarjima qilingan va ko'p tillarda ishlatilgan
loyihalar, xususan, Massachusets texnologiya institutining MAC loyihasida
Institut), u tez-tez iqtibos keltirildi, garchi (ehtimol) kamroq o'qilgan. Bu ochiq muammoning yechimini yoki eski nazariyani ishlab chiqishni o'z ichiga olgan oddiy nomzodlik dissertatsiyasi emas edi.
O'rniga
Bunda, keyingi ko'plab nashrlarda bo'lgani kabi, Petri kompyuter fanining asoslarini qayta ko'rib chiqish bo'yicha yangi fundamental g'oyalar va takliflarni taqdim etdi. Ular ancha keyinroq amalda qo'llanila boshlandi va ularning ko'plari
faqat yangi kashfiyotlarni oziqlantirishni boshlang.
Yangi yondashuvni rag'batlantirish, Petri aniq amaliylikdan boshlaydi
rekursiv funksiyalarni baholashga oid muammolar
Bu vaqtga kelib, umumiy rekursiv funktsiya uchun f va argument ekanligi allaqachon ma'lum edi
n, f(n) ni hisoblash uchun zarur bo'lgan resurslar miqdori bo'lishi mumkin emas
oldindan taxmin qilingan. Shuning uchun hisob-kitoblarni mavjud to'plam bilan boshlash kerak
resurslar. Agar ular etarli bo'lsa, f (n) ni hisoblash muvaffaqiyatli tugaydi
Aks holda, siz ko'proq manba talab qilishingiz va qaytadan boshlashingiz kerak. Petri boshidanoq "qayta ishga tushirish" zarurligiga qarshi chiqdi.
An'anaviy kompyuter arxitekturasi muvaffaqiyatsiz tugadi, chunki resurslarga bo'lgan har bir yangi so'rov zarur bo'lgan osilator soatlari sonini (soat) ko'paytirish orqali bajarish vaqtini oshiradi, bu esa o'z navbatida soat chastotasi va quvvat sarfini oshirishni talab qiladi. Soat chastotasi va quvvat iste'moli o'z xohishiga ko'ra o'zgartirilmaydi va tizimning ishdan chiqishiga olib kelishi mumkin
Shu sababli, printsipial ravishda sinxron arxitekturalardan xoli bo'lgan "kengaytiriladigan" arxitektura mavjudmi degan savol tug'iladi. Petri bunga erishish mumkinligini isbotladi: qo'pol qilib aytganda,
Shunday qilib, tizimning har bir komponenti avtonom ishlaydi va
tizim asinxron rejimda ishlashi kerak
biznes-keys, Petri har bir modul aloqa qiladigan asinxron push-pull saqlash qurilmasini ishlab chiqdi
faqat ikkita qo'shni bilan. Ma'lumki, ikkita bunday qurilma etarli,
Turing mashinasini simulyatsiya qilish uchun
Petri o'z natijalarini 1962 yilda Myunxendagi birinchi IFIP kompyuter konferentsiyasida taqdim etdi. Petri asinxron tizimlar sinxron tizimlarga qaraganda kuchliroq ekanligini ko'rsatishga kirishdi.
tizimlari. Bundan kelib chiqadiki, axborotni qayta ishlashning umumiy nazariyasi, asosan, ketma-ket modellarga emas, balki
asinxron modellar
Petri asinxron taqsimlangan tizimlarni modellashtirish uchun uchta asosiy talabni ishlab chiqdi
Birinchi talab. Model fizika qonunlariga mos kelishi kerak.
Xususan, ishlaydigan modellarni hisobga olish mantiqiy emas
global davlatlar. Tizimdagi diskret hodisa odatda tizimning barcha komponentlariga ta'sir qilmaydi, faqat ularning ba'zilariga ta'sir qiladi.
ular. Voqealar xayoliy, ideallashtirilgan vaqt shkalasiga ko'ra sodir bo'lmasligi kerak, lekin javob berishi kerak
mahalliy sabab-oqibat munosabatlari.
Ikkinchi talab. Elementar diskret harakatlar saqlanish qonunlariga, shu jumladan teskarilikka bo'ysunishi kerak
jarayonlar. Informatikada bu S holatdan S' holatga o'tish hisob-kitoblar natijasida S' holatidan S ga qaytish mumkinligini bildiradi. Oddiy misol: tayinlash operatori x: = x. +1 qaytarilsa, x: = 1 qaytarilmaydi
Uchinchi talab. Simulyatsiya texnikasi hisoblash tizimlari foydalanuvchilari uchun qulay bo'lishi kerak.
Do'stlaringiz bilan baham: |
