tailieunhanh - Bài giảng Hệ điều hành: Chương 4 - Thoại Nam, Lê Ngọc Minh

Bài giảng "Hệ điều hành - Chương 4: Deadlock" cung cấp cho người học các kiến thức: Mô hình hệ thống, resource allocation graph (RAG), phương pháp giải quyết deadlock. nội dung chi tiết. | Bài giảng Hệ điều hành: Chương 4 - Thoại Nam, Lê Ngọc Minh Chöông 4. Deadlock Moâ hình heä thoáng Resource Allocation Graph(RAG) Phöông phaùp giaûi quyeát deadlock – Deadlock prevention (ngaên chaën deadlock) – Deadlock avoidance (traùnh deadlock) – Deadlock detection (phaùt hieän deadlock) – Deadlock recovery (phuïc hoài deadlock) Khoa Coâng Ngheä Thoâng Tin – Ñaïi Hoïc Baùch Khoa Vaán ñeà deadlock trong heä thoáng Tình huoáng: moät taäp caùc process bò blocked,moãi process giöõ taøi nguyeân vaø ñang chôø taøi nguyeân maø process khaùc trong taäp ñang coù. Ví duï 1 – Giaû söû heä thoáng coù 2 file treân ñóa. – P1 vaø P2 moãi process ñang môû moät file vaø yeâu caàu môû file kia. Ví duï 2 – Semaphore A vaø B, khôûi taïo baèng 1 P0 P1 wait (A); wait(B) wait (B); wait(A) Khoa Coâng Ngheä Thoâng Tin – Ñaïi Hoïc Baùch Khoa 1 Moâ hình hoùa heä thoáng Caùc loaïi taøi nguyeân kí hieäu R1, R2, . . ., Rm, bao goàm: – CPU cycle, khoâng gian boä nhôù, thieát bò I/O, file, semaphore, monitor,. – Moãi loaïi taøi nguyeân Ri coù Wi thöïc theå (instance). Quaù trình söû duïng taøi nguyeân cuûa moãi process nhö sau – Yeâu caàu (request): process phaûi chôø neáu yeâu caàu khoâng ñöôïc ñaùp öùng ngay – Söû duïng (use) – Hoaøn traû (release) Caùc taùc vuï yeâu caàu (request) vaø hoaøn traû (release) ñeàu laø system call – Request/release device, open/close file, allocate/free memory – Wait/signal Khoa Coâng Ngheä Thoâng Tin – Ñaïi Hoïc Baùch Khoa Ñieàu kieän toàn taïi deadlock Mutual exclusion: vôùi moãi taøi nguyeân, chæ coù moät process söû duïng taïi moät thôøi ñieåm. Hold and wait: moät process vaãn sôû höõu taøi nguyeân ñaõ ñöôïc caáp phaùt trong khi yeâu caàu moät taøi nguyeân khaùc. No preemption: moät taøi nguyeân khoâng theå bò ñoaït laïi töø chính process ñang sôû höõu taøi .