Bir vaqtda Paskal - Concurrent Pascal - Wikipedia

Bir vaqtda Paskal a dasturlash tili tomonidan ishlab chiqilgan Har bir Brinch Xansen yozish uchun bir vaqtda hisoblash kabi dasturlar operatsion tizimlar va real vaqtda hisoblash monitoring tizimlari yoqilgan umumiy xotira kompyuterlar.^[1]

Alohida til, Ketma-ket Paskal, Concurrent Pascal-da yozilgan operatsion tizimlar tomonidan ishlaydigan dasturlar uchun til sifatida ishlatiladi. Ikkala til ham kengaytirilgan Niklaus Virt "s Paskal va umumiy oqim kodini baham ko'ring tarjimon.^[2] Quyida bir vaqtning o'zida Paskalning Virtning Paskalidan farqi tasvirlangan.

Til tavsifi

Paskaldagi bir nechta konstruktsiyalar soddaligi va xavfsizligi uchun Concurrent Pascal-dan o'chirildi:^[2]

• Variant yozuvlari
• Boraman bayonot va yorliqlar
• Parametrlar sifatida protseduralar
• Paketlangan massivlar
• Ko'rsatkich turlari
• Fayl turlari va tegishli standart kirish / chiqish protseduralar

Ushbu etishmovchiliklar kompilyatsiya vaqtini tekshirish va tishli kodli tarjimonda minimal ish vaqtini tekshirish kombinatsiyasi orqali dastur o'ziga yoki boshqa dasturga ajratilgan joydan tashqarida murojaat qilish orqali zarar etkaza olmasligiga kafolat beradi.

Bir vaqtning o'zida Paskalga sinf, monitor va ishlov berish turlari kiradi. Ushbu turdagi misollar o'zgaruvchilar sifatida e'lon qilinadi va "in" da boshlanadi init bayonot.

Sinflar va monitorlar o'xshash: ikkala paketli xususiy o'zgaruvchilar va ommaviy protseduralarga ega protseduralar (protsedura yozuvlari deb ataladi). Sinf nusxasini faqat bitta jarayon ishlatishi mumkin, monitor misoli esa jarayonlar bilan bo'lishishi mumkin. Monitorlar Concurrent Pascal dasturida protsesslararo aloqaning yagona mexanizmini taqdim etadi.

Bir vaqtning o'zida faqat bitta jarayon ma'lum monitor misolida bajarilishi mumkin. Amaliyotlar bilan birgalikda ma'lumotlar turi, navbat, o'rnatilgan kechikish va davom eting, monitorlar ichida rejalashtirish uchun ishlatiladi. Navbat turidagi har bir o'zgaruvchida bitta jarayon bo'lishi mumkin. Agar monitorda ko'plab jarayonlarni kechiktirish kerak bo'lsa, odatda qator sifatida tashkil etilgan bir nechta navbat o'zgaruvchilari taqdim etilishi kerak. Yagona protsess navbatining o'zgaruvchisi monitorga o'rta muddatli rejalashtirishni to'liq boshqarish imkonini beradi, ammo dasturchi to'g'ri jarayonni blokirovka qilish uchun javobgardir.

Jarayon, xuddi sinf yoki monitor kabi, mahalliy o'zgaruvchilar, protseduralar va boshlang'ich bayonotga ega, ammo protsedura yozuvlari yo'q. Dastlabki bayonot odatda doimiy ravishda bajariladi, mahalliy protseduralar, sinf protseduralari va monitor protseduralarini chaqiradi. Jarayonlar monitor protseduralari orqali aloqa qiladi. Til qoidalari monitorlarga ierarxiya o'rnatish orqali to'siqlarni oldini oladi. Kechiktirilgan jarayonni blokirovka qilishni blokirovka qilishni blokirovka qilishni unutib qo'yadigan monitorni hech narsa to'sqinlik qila olmaydi (davom ettirishni chaqirmasdan), shuning uchun tizim dasturiy xatolar orqali samarali ravishda to'xtab qolishi mumkin.

Concurrent Pascal dasturidagi jarayonlar, monitorlar va sinflarning konfiguratsiyasi odatda bajarilish boshlanishida o'rnatiladi va keyinchalik o'zgartirilmaydi. Ushbu komponentlar orasidagi aloqa yo'llari .da berilgan o'zgaruvchilar tomonidan o'rnatiladi init iboralar, chunki sinf va monitor misoli o'zgaruvchilari protsedura parametrlari sifatida ishlatilishi mumkin emas.

Misol

Quyidagi misol oddiy monitorning deklaratsiyasini va undan ikkita kommunikatsion jarayon tomonidan foydalanilishini ko'rsatadi.

turi    "Chegaralangan bufer monitor"    bufer = Monitor        var            saqlandi         : Butun son;  "saqlangan element butun son"            fullq, emptyq : Navbat;    "faqat ikkita jarayon ishlatilgan"            to'liq          : Mantiqiy;  "element saqlansa rost:"        "Ob'ektni buferga qo'yadi"        protsedura kirish qo'yish(element : Butun son);            boshlash               agar to'liq keyin                   kechikish(fullq);      "agar to'ldirilgan bo'lsa bloklash"               saqlandi := element;         "elementni saqlash"               to'liq := to'g'ri;          "to'liq deb belgilash"               davom eting(emptyq)       "iste'molchini blokdan chiqarish"            oxiri;        "Buferdan element oladi"        protsedura kirish olish(var element : Butun son);            boshlash               agar emas to'liq keyin                   kechikish(emptyq);     "bo'sh bo'lsa blokirovka"               element := saqlandi;         "buyumni olish"               to'liq := yolg'on;         "to'liq emas deb belgilash"               davom eting(fullq)        "ishlab chiqaruvchini blokdan chiqarish"            oxiri;        "Monitorni ishga tushirish"        boshlash            to'liq := yolg'on        oxiri;    "Ishlab chiqaruvchi buferdan foydalanadi"    ishlab chiqaruvchi = jarayon(o'tish : Bufer);        var element : Butun son;        boshlash            tsikl                     "abadiy ko'chadan ijro eting"                "buyum ishlab chiqarish"                o'tish.qo'yish(element)        "elementni monitorga uzatish"            oxiri        oxiri;    "Iste'molchi buferdan foydalanadi"    iste'molchi = jarayon(o'tish : Bufer);        var element : Butun son;        boshlash            tsikl                o'tish.olish(element);       "monitordan buyum oling"                "buyumni iste'mol qilish"            oxiri        oxiri;"monitor, ishlab chiqaruvchi va iste'molchi misollarini e'lon qilish""ishlab chiqaruvchiga va iste'molchiga monitorga kirish huquqini berish"var   o'tish : Bufer;   mahsulot : Ishlab chiqaruvchi;   kamchiliklari : Iste'molchi;boshlash   init o'tish,        "monitorni ishga tushirish"        mahsulot(o'tish),  "ishlab chiqaruvchi jarayonni boshlash"        kamchiliklari(o'tish)   "iste'molchi jarayonini boshlash"oxiri.

Adabiyotlar