TAILIEUCHUNG - 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,.! | Ñoàng Boä Quaù Trình BK Khoa Khoa học & Kỹ thuật Máy tính 1 Nội dung 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 Monitor BK Khoa Khoa học & Kỹ thuật Máy tính 2 Bà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 shared memory) trong hệ thống uniprocessor, hoặc shared memory multiprocessor Nếu không có sự kiểm soát khi truy cập các dữ liệu chia sẻ thì chúng có thể rơi và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ực thi có trật tự của các process đồng thời. BK Khoa Khoa học & Kỹ thuật Máy tính 3 Bà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 buffer Tranh 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ẻ đồng thời được (như printer) Bài toán Dining Philosophers BK Khoa Khoa học & Kỹ thuật Máy tính 4 Đồng thời vs. song song Trên uniprocessor hay trên shared memory multiprocessor, các quá trình chạy đồng thời Trên shared memory multiprocessor, các quá trình có thể chạy song song BK Khoa Khoa học & Kỹ thuật Máy .

• Hệ điều hành
• Bài giảng Hệ điều hành Máy tính
• Hệ điều hành Máy tính
• Hệ điều hành
• Bài giảng Hệ điều hành
• Đồng bộ quá trình
• Giải thuật bakery
• Hệ thống máy tính
• Tổng quan Hệ điều hành
• Quản lý nhập xuất
• Hệ thống file
• Phân cấp hệ thống lưu trữ
• Cấu trúc hệ điều hành
• Thành phần của hệ điều hành
• Quản lý quá trình
• Định thời CPU
• Mở rộng khái niệm quá trình
• Các mô hình multithread
• Phân loại định thời
• Tắc ghẽn
• Mô hình hệ thống
• Kiến trúc hệ thống bộ nhớ
• Bộ nhớ thực
• Kỹ thuật phân mảnh bộ nhớ
• Kỹ thuật phân trang
• Kiến trúc bộ nhớ
• Bộ nhớ ảo
• Hệ thống Xuất Nhập
• Thiết bị phần cứng I O
• Hệ thống tập tin
• Giao diện hệ thống file
• Quản lý không gian trống
• Định thời đĩa