Konkurens Erlang programok vizsgálata és transzformálása

Abstract

Napjaink számítástechnikájában nagyon fontosak az elosztott rendszerek. Az elosztott rendszereket a Tanenbaum és társai által írt könyvben a következőképpen fogalmazták meg. Az elosztott rendszerek autonóm számítógépekből állnak, amelyek együtt dolgoznak és egy egységes koherens rendszert jelenítenek meg. Ennek egyik fontos előnye, hogy megkönnyítik a különböző számítógépeken futó különböző alkalmazások integrálását egyetlen rendszerbe. Egy másik előny, hogy megfelelően kialakított, elosztott rendszerek jól skálázódnak az alapul szolgáló hálózat méretéhez képest. Diplomamunkámban Erlang programozási nyelven írt konkurens/párhuzamos kódokat fogok elemezni abból a célból, hogy megvizsgáljam, milyen átalakítások segítségével lehetne őket elosztottá refaktorálni.