Mời các bạn cùng nắm bắt những kiến thức về quá trình thực thi đồng thời và “Critical-Section”; các nguyên lý cơ bản trong giải quyết tranh chấp bằng phần mềm, phần cứng và Semaphore thông qua bài giảng Hệ điều hành: Chương 3 - Quản lý các quá trình đồng thời sau đây. | Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Chương 3 Quản lý các quá trình đồng thời Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Mục đích và yêu cầu Mục đích: Hiểu được các quá trình thực thi đồng thời và “Critical-Section” Hiểu được các nguyên lý cơ bản trong giải quyết tranh chấp bằng phần mềm, phần cứng và Semaphore. Yêu cầu: Áp dụng lý thuyết để thực hiện được một số bài tập liên quan Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Nội dung Khái niệm cơ bản Bài toán “ Critical-Section” Các giải pháp phần mềm Đồng bộ bằng phần cứng Semaphore Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Khái niệm cơ bản Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Bounded Buffer (t,t) Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Race Condition Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Ví dụ về Condition Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Critical Section Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Critical Section và Mutual Exclusion Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Cấu trúc tổng quát Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Ràng buộc của bài toán tranh chấp Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Phân loại giải pháp Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Giải pháp phần mềm Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Giải thuật 1 Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Giải thuật 1() Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Giải thuật 2 Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Giải thuật 3 (Peterson) Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Giải thuật Peterson-2 process Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Giải thuật 3: Tính đúng đắn Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh | Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Chương 3 Quản lý các quá trình đồng thời Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Mục đích và yêu cầu Mục đích: Hiểu được các quá trình thực thi đồng thời và “Critical-Section” Hiểu được các nguyên lý cơ bản trong giải quyết tranh chấp bằng phần mềm, phần cứng và Semaphore. Yêu cầu: Áp dụng lý thuyết để thực hiện được một số bài tập liên quan Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Nội dung Khái niệm cơ bản Bài toán “ Critical-Section” Các giải pháp phần mềm Đồng bộ bằng phần cứng Semaphore Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Khái niệm cơ bản Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Bounded Buffer (t,t) Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Race Condition Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Ví dụ về Condition Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Critical Section
