ALKALMAZOTT MATEMATIKAI LAPOK 10. KÖTET (A MTA Matematikai és Fizikai Tudományok Osztályának Közleményei, 1984)
1984 / 1-2. sz. - Benczúr András és Stahl János: Egy nagy adatrendszer karbantartásának vizsgálata
Alkalmazott Matematikai Lapok 10 (1984) 19 13 EGY NAGY ADATRENDSZER KARBANTARTÁSÁNAK VIZSGÁLATA BENCZÚR ANDRÁS ÉS STAHL JÁNOS Budapest A dolgozat egyrészt egy adatkezelési problémák elemzésére alkalmas keretet ismertet, másrészt pedig ennek egy konkrét alkalmazásával foglalkozik. Adatkezelő rendszerek működése leképezések sorozataként tekinthető. A leképezések lényegében programok, amiket költség és meghibásodás nélküli végrehajtás valószínűsége szerint vizsgálhatunk. A konkrét esetben azzal foglalkozunk, hogy a kimentési műveletek gyakorisága, illetve az adatrendszer egymástól nagyjából függetlenül kezelhető kisebb részekre bontása miképpen befolyásolja a várható költségeket. A megfelelő leképezések és paramétereik meghatározása után a meghibásodást követő helyreállítási folyamat zavartalan végrehajtását feltételezve kiszámítható a gyakoriság és a részek számának optimális értéke. Ezt követően pedig megmutatjuk, hogy az előbbi eredmények akkor sem változnak lényegesen, ha nem tekintünk el a helyreállítás alatti meghibásodás lehetőségétől sem. 1. Bevezetés Egy adatrendszer állapotai címek egy sorozatával és azok tartalmával írhatók le. Az adatrendszer különféle változtatásai az állapotokat állapotokba átvivő leképezéseknek tekinthetők. A leképezéseket, amelyek mindegyike nagyjából programokat takar, költség és a meghibásodás nélküli végrehajtás valószínűsége szempontjából vizsgáljuk. Egy leképezés költsége két részből áll. Egy fix részből, amely a leképezés realizálásánál használt adathordozók biztosításának, mozgatásának felel meg, és egy olyan részből, amely a megváltoztatott tartalmú címek számának nagyságától függ. Ez a kapcsolat az általunk vizsgált esetben olyan, hogy a költség ezen része arányosnak vehető a megváltoztatott tartalmú címek számával, illetve a leképezés végrehajtásához szükséges idővel. Nagy adatrendszer esetén leképezések adminisztrálása is része a számítógépes rendszernek. Ez nagyjából az összes figyelembe vett leképezések számának logaritmusával arányos mennyiséggel növeli az egyes leképezések költségét. (Ugyanakkor nagyon sok leképezés esetén, magának az adminisztrációnak a megoldása is nagyszámú címet köthet le.) Ugyancsak a végrehajtáshoz szükséges idő függvényének tekintjük a meghibásodás nélküli végrehajtás valószínűségét is. Egy valóságos adatkezelési feladatnál általában többféleképpen is megadhatók a feladat megoldásához szükséges leképezések vagy eljárások. Az ismertetendő feladatnál mi egy viszonylag szűk osztályra szorítkozunk, és az ide tartozókat elemezzük a fenti szempontokból, bár az osztály megválasztásánál is már érvényesültek ezek a szempontok. A 2. pontban azt az adatkezelési feladatot ismertetjük röviden, amelynél a megoldás újratervezése vizsgálataink kiinduló pontja volt. A 3. pontban a leképezéseknek a feladat megoldására kiválasztott osztályát ismertetjük. A 4. és 5. pontokban az egyes leképezések, illetve az adatkezelő rendszer várható költségének meghatározásával foglalkozunk. Alkalmazott Matematikai Lapok 10 (1981)