Digitális technika és Programozás

A kötelező előtanulmányi rend az adott szak honlapján és képzési programjában található.

A számítógép architektúrák alapfogalmainak, analízisének, alkalmazási és tervezési módszereinek olyan tárgyalása, mely az előismeretek felhasználásával kellő elvi alapot ad a további speciálisabb ismeretbővítésre és az alapvető hardver és szoftver feladatok formális kezelésére és gyakorlati realizálására.

Architektúra fogalma; hardver és szoftver kapcsolata.

Hagyományos számítógép architektúrák.

Jellegzetes processzor családok.

Tárolókezelési módszerek:

Tömb kapcsolás, indexelt leképzés, virtuális tárkezelés,

cache tároló. Csökkentett utasításkészletű számítógép (RISC)

Perifériakezelési módszerek.

Eszközszintű kezelés, logikai kezelés.

Multimikroprocesszoros struktúrák.

Lazán csatolt rendszerek. Szorosan csatolt rendszerek.

Cache tároló kezelése szorosan csatolt multiprocesszoros rendszerben.

Társprocesszoros rendszerek.

Folyamatok együttműködése.

Események sorrendezése. Logikai órák, részleges és teljes sorrendezés, rendellenes viselkedés. Fizikai órák szinkronizálási feltételek.

Igényvezérelt kooperáció, engedélyvezérelt kooperáció és szoros kooperáció formális kezelése. Az idő mint erőforrás.

Elosztott rendszerek formális tervezési módszerei.

Strukturális modell (data flow modell). Funkcionális specifikációs módszerek. Orthogonalitás.

Öröklődési szabályok. Modell strukturálása funkcionális, információ elrejtési és design-for-test alapon.

Az algoritmus helyességének formális bizonyítása.

Logikai/fizikai transzformáció.

Kisléptékű párhuzamosítás.

Harvard architektúra.

Occam nyelv, Tansputer eszköz.

Információáramlás vezérlési elvek

Vezérlésáramlásos feldolgozás.

Adatáramlásos (data flow) feldolgozás (utasításszintű és eljárásszintű feldolgozás).

Multitasking

Task kezelés, védelmi mechanizmus, a felhasználói task és az operációs rendszer együttműködése.

Asszociatív processzorok: Tartalom szerint címezhető memória. Nagy adatbázisok kezelése. Asszocatív processzor. Nagyméretű párhuzamosítás. Tanulás és automatikus tételbizonyítás.

Előadás.

a. A szorgalmi időszakban: 2 kis ZH; 6. és 11. héten; követelmény: mindkettő megfelelt; pótlás: 13. héten, illetve a vizsgaidőszak első három hetében.

b. A vizsgaidőszakban: A vizsga írásbeli.

4-5 elméleti és gyakorlati kérdés a tananyag súlyponti részeiből. Az elégséges osztályzat megszerzéséhez legalább 50 % eredmény elérése szükséges. 120 perc

c. Elővizsga: -

Németh - Horváth: Számítógép architektúrák, Akadémiai Kiadó, 1991.

Németh: Parallel architectures, 3C (sajtó alatt)