Kurzus nemzetközi vendég- és részidős hallgatóknak

Kar

Informatikai Kar

Szervezet

IK Programozási Nyelvek és Fordítóprogramok Tanszék

Kód

IPM-22feszDDSG

Cím

Osztott rendszerek specifikációja és implementációja Gy.

Tervezett félév

Mindkét

Meghirdetve

2024/25/1

ECTS

3

Nyelv

en

Oktatás célja

tudás:        Komplex és aktuális ismeretekkel rendelkezik informatikai szakterületének innovatív, kutatói szintű műveléséhez szükséges általános, matematikai és számítástudományi elvek, szabályok, összefüggések terén, különösen a számítástudomány formális modelljei és eszközei témakörben. Ismeri az informatikai szakterületének tervezési, fejlesztési, működtetési és irányítási folyamatainak feladat-megoldási elveit, módszereit és eljárásait a programtervezés, szintézis és verifikálás, osztott rendszerek tervezése területén. Ismeri az informatikai rendszerekkel kapcsolatos társadalmi felelősségvállalás alapelveit és problémáit. képesség: Képes az informatikai szakterületen felmerülő komplex szakmai problémák formalizálására, a szükséges elvi és gyakorlati háttér feltárására és a probléma megoldására. Képes elemezni és alkalmazni informatikai szakterületének új probléma megoldási módszereit és eljárásait. attitűd: Figyelemmel kíséri a képesítésével, informatikai szakterületével kapcsolatos szakmai, technológiai fejlődést. Elkötelezett az élethosszig tartó tanulás iránt, nyitott új informatikai szakmai kompetenciák elsajátítására. Elkötelezett a minőségi követelmények betartatására és informatikai eszközökkel történő elemzésére. autonómia, felelősség: Informatikai tevékenysége során hozott szakmai döntéseiért felelősséget vállal. Működéskritikus informatikai rendszerek esetén szakmai kompetenciáinak megfelelő fejlesztési-üzemeltetési felelősséggel ruházható fel.

Tantárgy tartalma

A tárgy célja, hogy bemutassa párhuzamos és osztott rendszerek programozásának és felépítésének alapvető fogalmait és a hallgatók gyakorlatot szerezzenek elosztott programok tervezésében és implementálásában. A tárgy tartalma: Osztott programok specifikációja. Folyamat, absztrakt program, pártatlan ütemezés, összefésüléses szemantika. Invariáns, biztonságossági és haladási tulajdonságok. Elérhető állapotok. Levezetési szabályok: biztonságossági és haladási tulajdonságokra vonatkozó tételek, variánsfüggvény alkalmazása. Programkonstrukciók, lokalitás tétel, interferencia. Aszinkron és szinkron kommunikáció, üzenettovábbítás, csatornaváltozók, Adatcsatorna tétele, elágazás és multiplexer. Tanult ismeretek alkalmazása: elosztott programok készítése egy előre megadott környezetben.

Számonkérés és értékelés

Gyakorlati jegy (a gyakorlati jegyhez zárthelyik és beadandók megírása szükséges).

Irodalomjegyzék

Chandy, K.M., Misra, J.: Parallel Program Design (A Foundation. Addison-Wesley, 1989) Horváth Z.: Párhuzamos és elosztott programozás, Önálló tankönyvrész digitális tankönyvben. - Fóthi Á., Horváth Z.: Bevezetés a programozásba, III. rész (ISBN: 963 463 757 4, ELTE Informatikai Kar, 2005) http://people.inf.elte.hu/ekonyvtar/ (183 nyomtatott oldal) Coulouris G., Dollimore, J., Kindberg, T.: Distributed Systems: Concepts and Design (Addison-Wesley, 2000)

Kurzus szakjai