Bài giảng Hệ điều hành - Chương 5: Đồng bộ hóa tiến trình

Bài giảng Hệ điều hành - Chương 5: Đồng bộ hóa tiến trình nêu lên xử lý đồng hành và các vấn đề, bài toán đồng bộ hóa, các giải pháp đồng bộ hoá, bài toán đồng bộ hoá kinh điển (Producer – Consumer, Readers – Writers, Dinning Philosophers).
Nội dung trích xuất từ tài liệu:
Bài giảng Hệ điều hành - Chương 5: Đồng bộ hóa tiến trìnhChương 5 : Đồng bộ hóa tiến trình1Nội dung bài giảngXử lý đồng hành và các vấn đề:Bài toán đồng bộ hóaYêu cầu độc quyền truy xuất (Mutual Exclusion)Yêu cầu phối hợp xử lý (Synchronization)Các giải pháp đồng bộ hoáVấn đề tranh đoạt điều khiển (Race Condition)Vấn đề phối hợp xử lýBusy waitingSleep & WakeupCác bài toán đồng bộ hoá kinh điểnProducer – ConsumerReaders – WritersDinning Philosophers2Nhiều tiến trình “chung sống hoà bình” trong hệ thống ?ĐỪNG HY VỌNGAn toàn khi các tiến trình hoàn toàn độc lậpLàm sao có được ??Thực tếCác tiến trình chia sẻ tài nguyên chung ( file system, CPU...)Concurrent access => bugs.Ví dụ : Dê con qua cầuXử lý đồng hành = ...nhức đầu3Các vấn đềTranh chấpNhiều tiến trình truy xuất đồng thời một tài nguyên mang bản chấtkhông chia sẻ được Xảy ra vấn đề tranh đoạt điều khiển (Race Condition)Kết quả ?Luôn luôn nguy hiểm ?Khó biết , thường là ...sai...Không, nhưng đủ để cân nhắc kỹ càngPhối hợpCác tiến trình không biết tương quan xử lý của nhau để điều chỉnh hoạtđộng nhịp nhàng Cần phối hợp xử lý (Rendez-vous)Kết quả : khó biết, không bảo đảm ăn khớp4Nội dung bài giảngXử lý đồng hành và các vấn đề:Bài toán đồng bộ hóaYêu cầu độc quyền truy xuất (Mutual Exclusion)Yêu cầu phối hợp xử lý (Synchronization)Các giải pháp đồng bộ hoáVấn đề tranh đoạt điều khiển (Race Condition)Vấn đề phối hợp xử lýBusy waitingSleep & WakeupCác bài toán đồng bộ hoá kinh điểnProducer – ConsumerReaders – WritersDinning Philosophers5