Bài giảng Hệ điều hành: Chương 6 của Nguyễn Phan Trung sau đây sẽ giúp cho các bạn hiểu rõ hơn về các khái niệm cơ sở về quản lý bộ nhớ, các kiểu địa chỉ nhớ và cách chuyển đổi; cơ chế Overlay và Swapping cũng như mô hình quản lý bộ nhớ thực.
Chương Memory management Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Mục đích u cầu Mục đích: • Nắm khái niệm sở quản lý nhớ, kiểu địa nhớ cách chuyển đổi Yêu cầu: • Hiểu chế Overlay Swapping mô hình quản lý nhớ thực Khoa Cơng Nghệ Thơng Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Nội dung Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Khái niệm sở • thấy CPU dùng chung nhiều process Do kết định thời CPU, cải tiến hiệu suất CPU lẫn tốc độ đáp ứng user Để thực việc làm tăng hiệu phải lưu giữ vài trình nhớ; tức phải dùng nhớ dùng chung • nhớ trung tâm họat động hệ thống máy tính đại Bộ nhớ gồm dãy lớn words byte, có địa riêng chúng Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Khái niệm sở Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Khái niệm sở • Thơng thường, chương trình cư trú đĩa file thực thi nhị phân, Chương trình phải mang vào nhớ đặt bên q trình thực thi.Tùy thuộc vào quản lý nhớ dùng Quá trình trì đĩa nhớ thực thi Một nhóm q trình đĩa chờ để mang vào nhớ hình thành hàng đợi(input queue) • Thủ tục bình thường chọn trình hàng đợi nạp trình vào nhớ Khi q trình thực thi truy xuất lệnh liệu từ nhớ Cuối q trình kết thúc khơng gian nhớ khai bào trả lại hệ thống Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Các kiểu địa nhớ Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Nạp chương trình vào nhớ (t.t) Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Cơ chế thực Linking Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Logical vs Physical Address Space • Tập hợp tất địa luận lý (địa ảo vitual address) tạo nên ko gian địa luận lý • Tập hợp tất địa vật lý (địa thực) tạo nên ko gian địa vật lý • Các địa logic (ảo) vật lý giai đoạn liên kết địa compiler time load time; chúng khác execcution time Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Ví dụ phân trang Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Các Frame rỗi Khoa Công Nghệ Thông Tin – Đại Học Công Nghiệp TP Hồ Chí Minh Hoạt động Page Table Page table lưu nhớ Page-table register (PTBR) tới page table Page-table length register (PRLR) cho biết kích thước page-table Trong lược đồ phân trang, truy nhập lệnh/dữ liệu yêu cầu lần truy nhập nhớ: cho page table cho lệnh/data, truy nhập chậm Vấn đề lần truy nhập nhớ giải cách sử dụng nhớ cache tra cứu nhanh đặc biệt gọi nhớ liên kết – associative memory (TLB) Khoa Công Nghệ Thơng Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Phân trang với TLB Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Phân đoạn - Segmentation Lược đồ quản lý nhớ giúp user nhìn thấy nhớ Thực tế, chương trình tập hợp phân đoạn, đoạn đơn vị luận lý : main program, proceduce function method object local variables, global variables common block stack Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Chương trình góc nhìn user Khoa Cơng Nghệ Thơng Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Góc nhìn logic phân đọan Khoa Công Nghệ Thông Tin – Đại Học Cơng Nghiệp TP Hồ Chí Minh Kiến trúc phân đọan Địa logic gồm thành phần: ; Segment table – tương tự bảng phân trang, mục bảng gồm có: • Base – chứa địa vật lý đoạn nhớ • Limit – xác định độ dài đọan Segment-table base register (STBR): trỏ tới vị trí bảng phân đọan nhớ Segment-table length register (SLTR): xác định số đọan mà chương trình sử dụng: => số segment s hợp lệ s