Concurrent Pascal
Lexikai elemek
Milyen karakterek használhatóak a nyelvben?
-
nem definiált, de tartalmaznia kell:
- betűk 'a',...,'z','A',...,'Z'
- számjegyek '0',...,'9'
- szóköz, tabulátor
- sorvége szimbólum (implementációfüggő)
- ()[]{}+-*/:;,.<>=!?#%'
Milyen karakterek használhatóak azonosítók leírására, mi az azonosítók szintaxisa?
- betűk, számjegyek, aláhúzás, de nem kezdődhet aláhúzással
megkülönbözteti-e a kis- és nagybetűket?
- nem
- implementációfüggő
kötött szavak:
-
accept, and, array, at, begin, case, channel, cobegin, coend, const, div, do, else, end, entry, export, for, forever, forward, function, guarded, if, in, mod, monitor, not, null, of, offset, or, pri, procedure, process, program, provides, record, repeat, replicate, requeue, resource, select, terminate, then, timeout, to, type, until, var, when, while
- nincs
literálok:
- numerikus literálok:
- egész (shortint, integer, longint, byte, word)
- valós (real, single, double, extended, comp)
- bővebben lásd: itt
- megengedett számrendszerek:
- bármilyen (
# ) - tizes
- hexa (
$)
- stringliterál
- Concurent Pascal-ban nincs string típus
- megjegyzések (komment)
- csak blok komment van ((*...*), {...}), melyek nem ágyazhatók egymásba
- bővebben lásd: itt
Beépített adattípusok
a műveletek a típushoz tartoznak-e?
- csak a típusértékhalmaz, mivel a műveletek nem tartoznak a típushoz, kivéve néhány alaptípuson értelmezett műveletet (pl.: felsorolás: ord(...), pred(...))
- az alap Pascal adattípusokon kívül (kivéve string): Process, semaphore, monitor, resource, channel, channel of synchronous, bitset, condition
- igen, mivel fordítási időben meghatározható típussal kell rendelkeznie minden kifejezésnek.
- lásd: Pascal ezen része.
- csatorna lehet szinkron (channel of synchronous)
- felsorolási típusoknak képezhető résztartománya, melyre beállítható a határok figyelése
- - a kezdő- és végérték tetszőlegesen megadható
- - tömbők lehetnek többdimenziósak is
- - a logikai típus a felsorolási típusba tartozik
- nem lehet altípust definiálni
- egész osztás van (mod(...), div(...) /a '/' mindíg valóssal tér vissza/), egész hatványozás nincs (legfeljebb csak felhasználó által definiált eljárással)
- mindkettőt expilicit meghatározza a nyelv definíciója
- igen (
- - pointerre aritmetikai kifejezések az összehasonlításon kívül nem értelmezettek
- - bármely változó címe értékül adható tetszőleges típusra mutató pointernek
- - egyenlőségvizsgálat: pointerek egyenlőségének vizsgálata (nem az általuk hivatkozott objektumoké)
- a mutatók által lefoglalt memóriaterületet manuálisan kell felszabadítani a freemem(...) eljárással
- nem nil pointerre való hivatkozás megengedett, még akkor, is, ha a pointer már érvénytelen területre mutat
- - pointer absolute
- - futás közben az Addr(...) függvénnyel
- csak kisebb helyfoglaláskor nagyobbra áttéréskor, ez is csak azonos főtípusba eső típusnál
- nemdefiniált
- megengedett
- - type kulcsszóval
- - tömb típus
- indexe lehet bármilyen felsorolási típus
- eleme lehet bármilyen típus
- határellenőrzés bekapcsolható
- méretmeghatározás, helyfoglalás deklarációkor
- több dimenzió megengedett
- egyben értékadás nem megengedett
- altömb képzés nem megengedett
- tömbkonstans deklarálható
- - rekord típus
- kiválasztás: <rekord>.<mezőnév>
- egyben értékadás nem megengedett
- rekord konstans deklarálható
- - unió típus
- nincs külön unió típus, de megoldható rekord típussal
- - halmaz típus
Változók, kifejezések
- Lásd: itt
Utasítások, vezérlési szerkezetek
- az alábbiakban nem felsoroltakat lásd: itt
- az utasítások egyszerű utastások, azaz nincs értékük
- többszörös értékadás nem megengedett
- üres utasítást nem kötelező kiírni (null kulcsszó)
- nincs eseményvezérelt programozás megvalósítva
- a szekvenciát jelző ';' kiírása kötelező, szerepe utasítás lezáró
- utasítás lehet blokkutasítás is, melyben elhelyezhető újabb deklaráció (a hatásköre a blokkutasítás)
- elágazás:
- feltételes egyirányú elágazás: if (
) then ; - kétirányú elágazás: if (
) then else ; (az else a legutosó if-hez tartozik) - többirányú elágazás: case
of { : } end; - a szelektortípusa bármilyen felsorolás típus lehet
- nem kell elfedni a szelektor lehetséges értékeit, és nem lefedett érték üres utasítást eredményez
- egy ág végrehajtása után a vezérlés a case után folyatódik
- egy érték csak egyszer szerepelhet a feltételek között
- a feltétel lehet egy érték, felsorolás ','-vel elválasztva vagy intervallum ([
.. ])
- feltételes egyirányú elágazás: if (
- ciklus:
- nem ismert lépésszámú ciklusok:
- while (
) do ; (elöltesztelő) - repeat
until ; (hátultesztelő) - elöltesztelő ciklusnál a feltétel a bentmaradás feltétele (while true do ...; - végtelen ciklus)
- hátultesztelő ciklusnál a feltétel a kilépés feltétele (repeat ... until false; - végtelen ciklus)
- a feltétel logikai típus kell legyen
- az elöltesztelő ciklus magja egy utasítás lehet (esetleg blokk utasítás)
- a hátultesztelő ciklus magja több utasítás lehet (új blokk kezdődik)
- while (
- előre ismert lépésszámú ciklusok:
- for
= to do ; - for
= downto do ; - a ciklusváltozó felsorolási típusú kell legyen
- nem változtatható a ciklusváltozó alsó, felső határa
- a lépésköz to esetén pred(...), downto esetén succ(...)
- a ciklusváltozót a ciklusmagon belül nem lehet változtatni
- a ciklusváltozó értéke a ciklus után a végérték (to esetén a felső, downto esetén az alsó határ)
- for
- általános ciklus: repeat
forever; - iterátor csak felsorolási típusra létezik (pred(...) - megelőző, succ (...) - következő)
- nem ismert lépésszámú ciklusok:
Alprogramok
- paraméterátadás módja lehet: érték, cím szerint
- eljárás (procedure): nincs visszatérési értéke (parancs)
- függvény (function): van visszatérési értéke, de nem tekinthető lekérdezésnek, mert lehet érték-eredmény szerinti formális paramétere
- a formális paramétereknek nincs alapértelmezett értékük
- a programnevek, operátorok nem átlapolhatók
- új operátorok nem definiálhatók
- nincs típussal való paraméterezhetőség
- paraméter lehet alprogram címe
- bővebben lásd még: itt
Sablonok
Kivételkezelés
Helyességbizonyítás
Objektum-orientáltság
A párhuzamosságot támogató nyelvi eszközök
- a párhuzamosságot a nyelv támogatja (még párhuzamos hardware nélkül is, mivel saját ütemezője van)
- a párhuzamosság kijelölése: cobegin
coend; - nincs processen belüli process (azaz már párhuzamosan futtatott szálból nem indítható újabb szál, csak a főszálból)
- a processek használhatnak osztott változókat
- kommunikációs modellek:
- aszinkron kommunikáció üzenetekkel:
- csatorna
- szinkron kommunikáció
- szinkron csatorna
- ada típusú randevú
- entry
- accept
- entry
- kölcsönös kizárás
- szemafor, megengedett műveletei:
- wait(...) - várakozás a szemaforra
- signal(...) - a szemafor elengedése
- initial(...) - kezdeti érték beállítása
- write(...), writeln(...)
- monitor:
- export: kívülről csak ezen eljárások hívhatóak meg
- condition: a monitor belső várakozási sorai (típus)
- delay(
): beáll a várakozási sorba - resume(
): beenged egy a -ön várakozó folyamatot a monitor kizárólagos használatára - empty(
): igaz, ha üres a
- erőforrás:
- export: kívülről csak ezen eljárások hívhatóak meg
- guarded procedure
(...) when : ha a igaz, akkor az eljárás meghívható, ellenkező esetben az eljáráshívás felfüggesztődik az eljárás várakozási során
- szemafor, megengedett műveletei:
- aszinkron kommunikáció üzenetekkel:
- a párhuzamos futás végetér, ha
- minden szál befejeződik
- valamelyik szál futásidejű hibát okoz
- a szálak holtponthelyzetbe kerülnek
Szemaforok:
Kölcsönos kizárás megvalósítására szolgálnak, de alacsonyabb szinten, mint a monitorok, így sokkal könnyebb hibát elkövetni a kód írásakor. A szemaforoknak kezdőérték adható, mely azt határozza meg, hogy az őt igénybevevő folyamatok közül egyszerre hányan "mehetnek át" a szemaforon. Minden, a szemafort igénybevevő folyamat két esettel állhat szembe: 1, Még nincsen bent a kritikus szakaszban a szemafor által meghatározott maximális számú folyamat. Ekkor az aktuális folyamat átléphet a szemaforon. 2, Ellenkező esetben egy várakozási soron függesztődik fel, melyből véletlenszerűen választ a futtató környezet, hogy ki lépheti át a szemafort, ha egy - a szemafort addig aktívan használó - folyamat elhagyja a szemafort. Az esetleges hibalehetőségek: a szemaforon átjutott folyamat nem szabadítja fel a szemafort, mikor végzett. Ekkor eggyel kevesebben juthatnak csak át a továbbiakban a szemaforon. Ha az előbbi hibát túl sok folyamat követi el a program holtpont hibával leáll. A második hibalehetőség onnan adódik, hogy a szemafor fizikailag nem teszi elérhetetlenné az általa logikailag védett adatokat, így azokat bárki felhasználhatja a szemafor igénybevétele nélkül.
Monitorok:
Erőforrások:
Aszinkron csatornák:
Szelektív várakozás:
A csatornák ugyanúgy tömbbe szervezhetők, mint bármely más típus.
Szinkron csatornák: