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. | 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 https tailieudientucntt 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 nguyeân ñoù. Circular wait toàn taïi moät chu kyø ñoùng caùc yeâu caàu taøi nguyeân. P1 P2 Deadlock coù theå xaûy ra neáu 4 ñieàu kieän xuaát hieän ñoàng thôøi. Khoa Coâng Ngheä Thoâng Tin Ñaïi Hoïc Baùch Khoa https .
