Operációs rendszerek
A tárgy
hivatalos honlapja
Az oldal a windowsos előadások anyagait tartalmazza a tantárgy hallgatói
számára. Az itt található anyagok köz- és felsőoktatásban felhasználhatóak, csak
előtte kérlek írj levelet
nekem róla!
Előadások
Gyakorlatok
Segédletek, programok
Linkek
1. A Windows felépítése (2012.02.13.)
- Fóliák: PPTX / PDF
- Demó: Win32 hívás követése: ZIP (forrásfájl
és leírás).
2. Hibakeresés Windowson (2012.02.20.)
3. A Windows ütemezése (2012.03.12.)
4. A Windows memóriakezelése (2012.04.10.)
5. Virtualizáció (2012.04.16.)
- Az előadás nem Windows specifikus, általánosan mutatja be a virtualizációt, azon belül pedig a platform (számítógép) virtualizációt
- Fóliák: PPTX / PDF
6. Hitelesítés és engedélyezés (2012.05.07.)
- Az előadás nem Windows specifikus, az általános anyagrészhez tartozik.
- Fóliák: PPTX / PDF
7. A Windows biztonsági alrendszere (2012.05.08.)
8. Feladatok közötti kommunikáció ellenőrzése
- Az előadás nem Windows specifikus, az általános anyagrészhez tartozik: hogyan használjunk modellellenőrzőket kölcsönös kizárás, holtpont stb. vizsgálatára.
- Fóliák: PPTX / PDF
- Példák: Model Checkers in Education
2012-ben is tartunk pár fakultatív számítógépes gyakorlatot. A gyakorlatok létszáma limitált, a tárgy weboldalán hirdetjük majd a jelentkezés módját.
1. Windows alapok
- Virtuális gyakorlat (utolsó módosítás: 2012.02.23.)
- Anyag: PDF
2. Windows hibakeresés
- Virtuális gyakorlat (utolsó módosítás: 2012.02.23.)
- Anyag: PDF / dump fájl
3. OS-ek szerkezete
- Időpont: 2012.02.28. 16:00-18:00
- Helyszín: IL405
- Jelentkezés: BETELT (a teremméret sajnos limitált, az első 30 embert tudjuk fogadni)
- Anyag: PDF / kód
4. Feladatok együttműködése, párhuzamos programozás kihívásai
- Időpont: 2012.03.20. 16:00-18:00
- Helyszín: IE504 (A terem az I épület ELTE felöli végén található, az E szárny 5. emeletén. Lifttel a 4. emeletig lehet menni, onnan egy emeletet gyalogolni kell.)
- Jelentkezés: -
- Anyag: összefoglaló / útmutató / kód
5. Feladatok együttműködésének ellenőrzése, modellellenőrzők használata
- Időpont: 2012.03.27. 16:00-18:00
- Helyszín: IE504 (A terem az I épület ELTE felöli végén található, az E szárny 5. emeletén. Lifttel a 4. emeletig lehet menni, onnan egy emeletet gyalogolni kell.)
- Jelentkezés: -
- Anyag: útmutató / eszköz
A tipikus számolási példákhoz készítettünk pár mintamegoldást és egyszerűbb megoldó programot, ami segíti a felkészülést. (Ezek viszonylag frissek, így lehetnek benne hibák. Észrevételeket, javításokat kérlek írjátok meg emailben.)
- Számolási példák megoldása (általános ütemezés, UNIX ütemezés, bankár algoritmus, memóriafoglalás, lapcsere), v1.5.5, 2012.02.23.
- Megoldó program: általános ütemezési algoritmusok (Java implementáció, verzió: 1.1, utolsó módosítás: 2011.05.24.)
- Megoldó program: klasszikus UNIX ütemezés, (.NET implementáció, verzió: 1.0.0.0, 2011.03.31.)
- Megoldó program: memóriafoglalási (allokáció) stratégiák, (Java implementáció, 2011.03.31.)
- Megoldó program: lapcsere algoritmusok, (Java implementáció, 2011.03.31.)
Tananyag
Könyvek
- Mark E. Russinovich and David A. Solomon with Alex Ionescu: Microsoft Windows Internals,
5th Edition, Microsoft Press, 2009. - A Windows felépítésével és belső szerkezetével foglalkozó legteljesebb könyv.
- Gál Tamás, Szabó Levente, Szerényi László: Rendszerfelügyelet rendszergazdáknak, Szak Kiadó, 2007.,
elérhető online is - rendszergazdai szemléletű ismertető a Windowsról.
A könyvhöz screencastok is tartoznak, amik bemutatják a fontosabb elemeket és feladatokat.
Eszközök
Korábbi fakultatív feladatok
Dokumentációk
-
Windows SDK - Az operációs rendszer API-jának dokumentációja, header fájlok, C fordító..
-
Windows Driver Kit - kernel dokumentáció, statikus ellenőrzők..
Blogok
Utolsó módosítás: 2012. 05. 07.