Rendszerprogramozás

Előszó 11
Alapismeretek 19
A számítógép struktúrája 20
A programozási rendszerek komponenseinek kialakulása 23
Assemblerek 23
Betöltőprogramok 23
Makrók 25
Fordítóprogramok 26
Formális rendszerek 26
Az operációs rendszerek kialakulása 27
Az operációs rendszerek funkciói a felhasználó szemszögéből 29
Az operációs rendszer munkavezérlő nyelve a felhasználó szemszögéből 31
Az operációs rendszerek által nyújtott szolgáltatások a felhasználó szemszögéből 33
Összefoglalás 34
A számítógép struktúrája, a gépi nyelv és az assembly nyelv 39
A számítógépek struktúrája 40
Ismerkedés egy új géppel 42
Az IBM 360 és 370-es gép struktúrája 43
Az IBM 360-370-es gépek utasításkészlete 50
A gépi kódú nyelv 53
Egy hosszú program ciklus nélkül 54
Címmódosítás, az utasítás szó adatként való kezelése 55
Címmódosítás, indexregiszterrel 57
Ciklusszervezés 58
Az assembly nyelv 60
Assembly program 60
Literálok használata 63
Összefoglalás 65
Assemblerek 76
A tervezésben szereplő alapvető tevékenységek 77
Egy assembler tervezése 78
A feladat meghatározása 78
Adatstruktúrák 81
Az adatbázisok (táblázatok) formája 83
Az assembler algoritmusa 91
A modularitás lehetőségeinek vizsgálata 96
Táblázatkezelés: táblaelemek megkeresése és táblázatok rendezése 98
Lineáris keresés 99
Bináris keresés 100
Rendezések 103
Véletlenszerűen kitöltött táblázatok rendszere 112
Összefoglalás 116
Utószó 117
Makrónyelv és a makrófeldolgozó 132
Makróutasítások 133
A makróutasítások további lehetőségei 135
A makróutasítások paraméterei 135
A feltételes makrókifejtés 139
Skatulyázott makrók 141
Makróutasításokkal definiált makrók 143
Megvalósítás 144
Egyszerűsített, kétmenetes makrófeldolgozó program 146
Makrófeldolgozás egymenetes megoldással 153
A makródefiníciókban szereplő makróhívások feldolgozása 157
A makrófeldolgozó és az assembler összeépítése 164
Összefoglalás 165
Betöltőprogramok (loaderek) 173
Betöltési módszerek 174
Fordító-futtató betöltőprogramok 174
A betöltőprogram alkalmazásának előnyei 175
Abszolút betöltőprogram 176
Szubrutinok összekapcsolása 178
Áthelyező (relokáló) betöltőprogramok 181
A közvetlen szerkesztő-betöltő programok 185
Egyéb betöltési módszerek 190
Többrétegű (overlay) programok szerkesztő-betöltői 190
Dinamikus szerkesztő-betöltő programok 190
Egy abszolút betöltőprogram felépítése 194
Közvetlen szerkesztő-betöltő tervezése 195
A feladat meghatározása 196
Adatstruktúrák formátuma 204
Az adatbázisok formátumának meghatározása 205
A közvetlen szerkesztő-betöltő program algoritmusa 210
Összefoglalás 214
Programozási nyelvek 225
A magasszintű nyelvek jelentősége 226
A magasszintű nyelvek főbb jellemzői 228
Adattípusok és adatstruktúrák 229
Karakterláncok 230
Bitsorozatok és logikai műveletek 231
Adatstruktúrák 232
Tárkijelölés és a nevek hatásköre 232
A tárosztályok 233
Blokkstruktúra 233
Az adatokhoz való rugalmas hozzáférés biztosítása 234
Mutatók 235
Címkeváltozók és címketömbök 237
Funkcionális modularitás 239
Eljárások 239
Rekurzió 239
Aszinkron műveletek 240
A feltételek 240
Jelzések 242
A multitask lehetőségének támogatása 243
A nyelv kibővíthetősége és a fordítási menet makrói 243
Egyéb nyelvi tulajdonságok 244
Összefoglalás 244
Bevezetés a formális rendszerek és a programozási nyelvek elméletébe 256
Formális rendszerek használata programozási nyelvekben 256
A nyelv szintaxisának leírása 257
Szintaktikusan vezérelt fordítóprogramok 257
A szerkezeti bonyolultság vizsgálata 258
Szerkezeti analízis 258
Formális leírás 259
Formális nyelvek 261
Példák mondatszerkezetű nyelvtanokra 262
Mondatok előállítása 263
Mondatformák és mondatok 264
A nyelvek hierarchiája 264
Backus-Naur-forma (Backus-féle normálforma) BNF 167
Kanonikus rendszerek 268
Példa: szintaxis specifikáció 271
A fordítás specifikációja 274
A felismerési és fordítási algoritmus 274
A kanonikus és a formális rendszerek kapcsolata 281
Összefoglalás 285
Fordítóprogramok 293
A probléma meghatározása 293
Az első probléma: az alapelemek felismerése 294
A második probléma: szintaktikus egységek felismerése és jelentésük értelmezése 296
Közbenső forma 297
A harmadik probléma: tárkiosztás 300
A negyedik probléma: kódgenerálás 302
A fordítóprogramok általános modellje 306
A fordítóprogram fázisai 308
Lexikális fázis 309
A szintaktikus analízis fázisai 313
Az értelmezési fázis 316
Optimalizálás 326
Tárkiosztás 331
Kódgenerálás 336
Az assembly-fázis 343
Egy fordítóprogam menetei 344
Adatstruktúrák 345
A probléma meghatározása 346
Megvalósítás 350
Rekurzió, a CALL és RETURN utasítás 351
Tárosztályok 356
Statikus tár 356
Automatikus tár 357
Belső vezérelt tár 357
Külső vezérelt tár 358
Verem nélküli vezérelt tár 358
Megvalósítás 358
Statikus tár 358
Automatikus tár 359
Veremmel rendelkező és verem nélküli tároló 360
Blokkszerkezet 361
Az információ elérése blokkszerkezet esetén 363
Tárkiosztás blokkszerkezet esetén 365
Nem lokális GO TO 368
Megszakítások 369
Mutatók 369
Összefoglalás 370
Az operációs rendszerek 378
B/K programozás: több központi egység és a megszakítások feldolgozása 379
A több központi egységgel bíró rendszerek kifejlődése 379
B/K programozás 381
A B/K csatorna szerkezete 382
Példák B/K programokra 384
Kommunikáció a KE és a csatorna között 386
A megszakítások szerkezete és feldolgozásuk 387
Példa B/K megszakítás feldolgozására 390
Több központi egység 394
Tárkezelés 395
Egyszerű folytonos tárkijelölés 395
Particionált tárkijelölés 396
Áthelyezhető particionált tárkijelölés 398
Lapszervezésű tárfoglalás 401
Lapigényléses tárkijelölés 404
Szegmentált tárfoglalás 406
Szegmentált lapszerkezetű tárfoglalás 414
A központi egység munkájának szervezése 414
A tervező 416
A forgalomirányító 418
A versenyfutás 419
Holtpont 420
Egyidejű feldolgozású rendszerek 421
A periferiális egységek munkaszervezése 426
A készülékek jellemzői 426
A készülék munkaszervezése 429
Információkezelés 431
Egy általános file-kezelő rendszer szerkezete 432
Példa file-kezelő rendszerre 433
Egy általános file-kezelő rendszer jellemzői 436
Az általános file-kezelő rendszer módosított modellje 443
Szegmentálás 445
A MULTICS file-kezelő rendszer és az általános modell 450
Összefoglalás 451
Irodalomjegyzék és ajánlott irodalom 460
Függelék 471
Tárgymutató 490