Bài giảng Hệ điều hành máy tính: Lecture 7 - Nguyễn Thanh Sơn

Cùng nắm kiến thức trong Lecture 7 "Đồng bộ quá trình" này thông qua việc tìm hiểu các nội dung sau: Khái niệm cơ bản, tranh chấp “Critical section”, các giải pháp, sử dụng lệnh máy thông thường, giải thuật Peterson, và giải thuật bakery, sử dụng lệnh cấm ngắt hoặc lệnh máy đặc biệt, semaphore, sonitor,...Mời các bạn cùng tham khảo!
Nội dung trích xuất từ tài liệu:
Bài giảng Hệ điều hành máy tính: Lecture 7 - Nguyễn Thanh SơnÑoàng Boä Quaù TrìnhBKTP.HCMKhoa Khoa học & Kỹ thuật Máy tính1Nội dungKhái niệm cơ bảnTranh chấp “Critical section”Các giải phápSử dụng lệnh máy thông thườngGiải thuật Peterson, và giải thuật bakerySử dụng lệnh cấm ngắt hoặc lệnh máy đặc biệtSemaphoreMonitorBKTP.HCMKhoa Khoa học & Kỹ thuật Máy tính2Bài toán đồng bộKhảo sát các process/thread thực thiđồng thời và chia sẻ dữ liệu (ghi sharedmemory) trong hệ thốnguniprocessor, hoặcshared memory multiprocessorNếu không có sự kiểm soát khi truy cậpcác dữ liệu chia sẻ thì chúng có thể rơivào tình trạng không nhất quán(inconsistent).Để duy trì sự nhất quán dữ liệu, hệthống cần có cơ chế bảo đảm sự thựcthi có trật tự của các process đồng thời.BKTP.HCMKhoa Khoa học & Kỹ thuật Máy tính3Bài toán đồng bộ (tt.)Hai lớp bài toán đồng bộ:Hợp tác (cooperation)Bài toán producer-consumer: bounded bufferTranh giành (contention)Bài toán loại trừ tương hỗ: đồng bộ nhiều quátrình sử dụng một tài nguyên không chia sẻ đồngthời được (như printer)Bài toán Dining PhilosophersBKTP.HCMKhoa Khoa học & Kỹ thuật Máy tính4Đồng thời vs. song songTrên uniprocessor haytrên shared memorymultiprocessor, các quátrình chạy đồng thờiTrên shared memorymultiprocessor, các quátrình có thể chạy songsongBKTP.HCMKhoa Khoa học & Kỹ thuật Máy tính5