OSG202 Chương 2 - Tiến trình và luồng
Ứng với CLO2, buổi 11-12 và 15-17. Phần tiến trình gồm mô hình tiến trình, cách tạo và kết thúc tiến trình, cây phân cấp tiến trình, ba trạng thái chạy - sẵn sàng - chờ cùng các chuyển trạng thái, bảng tiến trình và khối điều khiển tiến trình. Phần luồng giải thích vì sao cần luồng, mô hình luồng cổ điển, thư viện pthreads, và so sánh hiện thực luồng ở không gian người dùng với ở nhân. Phần truyền thông liên tiến trình là trọng tâm: tranh chấp dữ liệu, miền găng, các giải pháp loại trừ tương hỗ có chờ bận gồm cấm ngắt, biến khoá, luân phiên nghiêm ngặt, giải pháp Peterson và lệnh TSL; rồi tới ngủ và đánh thức, đèn báo, mutex, monitor, truyền thông điệp và rào chắn. Phần lập lịch trình bày FCFS, SJF, SRTN, quay vòng, độ ưu tiên, nhiều hàng đợi, xổ số và chia sẻ công bằng. Khép lại bằng bài toán bữa tối triết gia và bài toán đọc ghi.
Chưa có bài thi nào cho chủ đề này.
Chủ đề liên quan
OSG202 - Hệ điều hànhOSG202 Chuyên đề - Ảo hoá, điện toán đám mây và case study hệ điều hành
Khối đề tài thuyết trình được chọn ở buổi 27, gồm ba chương của Tanenbaum không được giảng trên lớp nhưng vẫn là nội dung sách và có chấm điểm. Chương 7 về ảo hoá và điện toán đám mây: hypervisor loại 1 và loại 2, các điều kiện để một kiến trúc ảo hoá được, ảo hoá bán phần, ảo hoá bộ nhớ và ảo hoá vào ra, máy ảo đóng gói sẵn, ba mô hình dịch vụ đám mây hạ tầng - nền tảng - phần mềm, và di trú máy ảo. Chương 10 là case study UNIX, Linux và Android: lịch sử và tổng quan, tiến trình trong Linux, quản lý bộ nhớ, vào ra, hệ thống tệp ext, cơ chế bảo mật; với Android là kiến trúc phân tầng, máy ảo thực thi ứng dụng, cơ chế binder và mô hình ứng dụng. Chương 11 là case study Windows: cấu trúc hệ thống, tầng executive, tiến trình và luồng, quản lý bộ nhớ, bộ đệm, vào ra, hệ thống tệp NTFS và bảo mật.
OSG202 Chương 1 - Nhập môn hệ điều hành
Ứng với CLO1, buổi 1-4 và 7-9. Chương mở đầu định nghĩa hệ điều hành theo hai góc nhìn bổ sung nhau: như một máy ảo mở rộng che giấu sự phức tạp của phần cứng, và như một bộ quản lý tài nguyên phân phối bộ xử lý, bộ nhớ, thiết bị cho nhiều chương trình. Nội dung gồm lịch sử hệ điều hành qua các thế hệ đèn điện tử, transistor với hệ xử lý theo lô, mạch tích hợp với đa chương, máy tính cá nhân và thiết bị di động; ôn tập phần cứng với bộ xử lý, phân cấp bộ nhớ, đĩa, thiết bị vào ra và quá trình khởi động; các họ hệ điều hành từ mainframe, máy chủ, đa xử lý, máy cá nhân, thiết bị cầm tay tới hệ nhúng và thời gian thực; các khái niệm nền tảng gồm tiến trình, không gian địa chỉ, tệp, thư mục, ống dẫn và shell; lời gọi hệ thống cho quản lý tiến trình, tệp và thư mục; cùng năm kiểu cấu trúc nhân đơn khối, phân tầng, vi nhân, máy ảo và exokernel.
OSG202 Chương 3 - Quản lý bộ nhớ
Ứng với CLO3, buổi 23-33, là chương dài nhất của môn. Nội dung đi theo trình tự lịch sử: trước hết là chạy chương trình khi không có trừu tượng hoá bộ nhớ; rồi tới khái niệm không gian địa chỉ với thanh ghi cơ sở và thanh ghi giới hạn, kỹ thuật hoán đổi, quản lý vùng nhớ trống bằng bản đồ bit và bằng danh sách liên kết. Phần bộ nhớ ảo trình bày phân trang, bảng trang, khối quản lý bộ nhớ MMU, cơ chế lỗi trang, tăng tốc bằng bộ đệm TLB, và bảng trang nhiều mức cùng bảng trang nghịch đảo cho bộ nhớ lớn. Phần thuật toán thay trang so sánh tối ưu, NRU, FIFO, cơ hội thứ hai, đồng hồ, LRU, lão hoá, tập làm việc và WSClock, kèm nghịch lý Belady. Phần thiết kế và hiện thực bàn về cấp phát cục bộ hay toàn cục, kích thước trang, trang dùng chung, thư viện dùng chung và tệp ánh xạ bộ nhớ. Khép lại bằng phân đoạn và phân đoạn kết hợp phân trang.
OSG202 Chương 4 - Hệ thống tệp
Ứng với CLO4, buổi 34-38. Phần tệp gồm quy tắc đặt tên, cấu trúc tệp, các kiểu tệp thường - thư mục - tệp đặc biệt, hai cách truy cập tuần tự và ngẫu nhiên, thuộc tính tệp và các thao tác cơ bản. Phần thư mục gồm thư mục một mức và thư mục phân cấp, đường dẫn tuyệt đối và tương đối, các thao tác trên thư mục. Phần hiện thực hệ thống tệp là trọng tâm: bố trí hệ thống tệp trên đĩa, bốn cách hiện thực tệp gồm cấp phát liên tục, danh sách liên kết, bảng FAT và i-node cùng ưu nhược điểm của từng cách; hiện thực thư mục; tệp dùng chung với liên kết cứng và liên kết mềm; hệ thống tệp ghi nhật ký và hệ thống tệp ảo. Phần quản lý và tối ưu gồm kích thước khối, theo dõi khối trống, hạn ngạch, sao lưu, kiểm tra nhất quán, bộ đệm khối, đọc trước và chống phân mảnh, kèm ví dụ FAT, UNIX V7 và ISO 9660.