Bài giảng Hệ điều hành: Chương 10B - Hệ thống file
lượt xem 5
download
Bài giảng Hệ điều hành: Chương 10B - Hệ thống file được biên soạn nhằm trang bị cho các bạn những kiến thức về hiện thực hệ thống file và thư mục; các phương pháp quản lý không gian trống; sao lưu và phục hồi. Mời các bạn tham khảo bài giảng để hiểu rõ hơn về những nội dung này.
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Bài giảng Hệ điều hành: Chương 10B - Hệ thống file
- Chương 10: Hệ Thống File • 10.B Hiện thực hệ thống file và thư mục Các phương pháp quản lý không gian trống Sao lưu và phục hồi 1
- Sơ đồ bố trí (layout) hệ thống file (1/4) Tổ chức không gian đĩa (máy tính cá nhân – PC) Partition control block i-nodesFCB’s 2
- Sơ đồ bố trí hệ thống file (2/4) Partition control block lưu số lượng block trong partition, kích thước block, số lượng free block hiện thời và các con trỏ chỉ đến chúng,… lưu số lượng free FCB hiện thời và các con trỏ chỉ đến chúng,… Ví dụ “superblock” trong UNIX File System File control block (FCB): mỗi file được quản lý thông qua FCB của nó lưu các thông tin về file, kể cả các con trỏ chỉ đến các data block của nó Ví dụ “inode” trong UNIX File System: 3
- Sơ đồ bố trí hệ thống file (3/4) Layout của một partition chứa hệ thống file UNIX 4
- Sơ đồ bố trí hệ thống file (4/4) FAT dùng để chỉ bảng FAT và cũng dùng để chỉ hệ thống file Layout của một partition chứa hệ thống file FAT Boot sector FAT Root directory Data blocks 5
- VFS (Virtual File System) Cung cấp giao diện đồng nhất cho ứng dụng độc lập với file system cụ thể nhiều file system khác nhau trong cùng hệ thống open, read, write, Ứng dụng opendir,… : gọi hàm/thủ tục VFS switch ext2 file system FAT file system NFS file system disk disk partition partition 6
- VFS (Virtual File System) Vị trí của VFS và file system software trong I/O call path (Linux) Ứng dụng trong user space VFS ext2_file_write() File system cụ thể, ở đây ext2 Định thời cho thiết bị block Device driver from Lunde 7
- Hiện thực file Cấp phát không gian lưu trữ cho file/directory, mục tiêu: sử dụng không gian đĩa hữu hiệu truy cập file nhanh Nếu số lượng và kích thước file không thay đổi động thì hiện thực file như thế nào? Các phương pháp cấp phát phổ biến Cấp phát liên tục (contiguous allocation) Cấp phát theo danh sách liên kết (linked list allocation) Cấp phát dùng chỉ mục (indexed allocation) 8
- Cấp phát liên tục Seek time? Di chuyển đầu đọc? Có thể truy xuất ngẫu nhiên một block của file: block nr = start + block offset Phân mảnh ngoại Vấn đề khi tạo file mới và khi cần thêm block cho file Ứng dụng: ISO9660 (CDROM) 9
- Cấp phát theo danh sách liên kết (1/2) pointer 1 data layout của block 1 10
- Cấp phát theo danh sách liên kết (2/2) Ưu điểm Dễ dàng thêm block cho file khi cần Quản lý không gian trống bằng danh sách liên kết Không có phân mảnh ngoại Nhược điểm Chỉ truy xuất hiệu quả đối với sequentialaccess file Tốn không gian lưu trữ các con trỏ Độ tin cậy: pointer trong block có thể bị hỏng 11
- FAT – một hiện thực của cấp phát theo danh sách liên kết: Nhưng không lưu con trỏ đến file block tiếp theo trong block chứa dữ liệu file FAT (File Allocation Table) Mỗi block đĩa được tượng trưng bởi một entry trong FAT FAT entry với index i tượng trưng block có block nr i FAT entry chứa block nr kế tiếp trong file, nếu file gồm nhiều block no. of disk blocks - 1 12
- Cấp phát dùng chỉ mục (1/2) Bảng index (index block) chứa địa chỉ các block của file thứ tự các địa chỉ cũng là thứ tự các block của file 13
- Cấp phát dùng chỉ mục (2/2) Ưu điểm Random và sequential access Không có phân mảnh ngoại Khuyết điểm Tốn không gian lưu trữ bảng index khi file có kích thước chỉ vài block Vấn đề: kích thước index block bao nhiêu là phù hợp? Giải quyết: multilevel index inode 14
- inode – một hiện thực của index block i-node UNIX v7 inode: 13 pointer Linux ext2 inode: 15 pointer 15
- Hiện thực file dùng inode File (user view) Ví dụ 16
- Hiện thực thư mục Thư mục được dùng để chứa bảng ánh xạ từ tên file (chuỗi ký tự ASCII) đến thông tin cần thiết để định vị các block dữ liệu của file Tổ chức thư mục Danh sách tuyến tính (array hay linear list), bảng băm,… FAT file system UNIX file system first block nr i-node 17
- Duyệt path name để lấy block nr của file Ví dụ: Xác định các block dữ liệu của file /a/b/c i-node of / (the 1st one of i-list, by convention) 18
- inode: chia sẻ file (1/2) Thư mục inode 27 inode 51 19
- inode: chia sẻ file (2/2) Thư mục inode 27 inode 51 inode 27 20
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Bài giảng Hệ điều hành: Chương 1 - ThS. Hà Lê Hoài Thương
39 p | 183 | 33
-
Bài giảng Hệ điều hành - Chương 1: Giới thiệu hệ điều hành
32 p | 167 | 16
-
Bài giảng Hệ điều hành: Chương 9 - ĐH Bách khoa TP HCM
56 p | 116 | 13
-
Bài giảng Hệ điều hành - Chương 5: Quản lý vào ra
30 p | 175 | 10
-
Bài giảng Hệ điều hành: Chương 1 - Nguyễn Phan Trung
43 p | 124 | 9
-
Bài giảng Hệ điều hành: Chương 1C - Cấu trúc hệ điều hành
22 p | 135 | 9
-
Bài giảng Hệ điều hành: Chương 1 - Đỗ Quốc Huy
107 p | 69 | 9
-
Bài giảng Hệ điều hành: Chương 1 - Phan Xuân Huy
25 p | 143 | 9
-
Bài giảng Hệ điều hành: Chương 2 - ThS. Hà Lê Hoài Trung
20 p | 124 | 9
-
Bài giảng Hệ điều hành: Chương 2 - ThS. Phan Đình Duy
36 p | 79 | 7
-
Bài giảng Hệ điều hành: Chương 1 - TS. Ngô Hữu Dũng
60 p | 124 | 7
-
Bài giảng Hệ điều hành: Chương 1 - Đặng Minh Quân
23 p | 77 | 6
-
Bài giảng Hệ điều hành: Chương 1 - ThS. Huỳnh Triệu Vỹ
156 p | 78 | 5
-
Bài giảng Hệ điều hành: Chương 1 - ĐH Bách khoa TP Hồ Chí Minh
26 p | 119 | 5
-
Bài giảng Hệ điều hành - Chương 1: Tổng quan hệ điều hành (Lương Minh Huấn)
109 p | 46 | 5
-
Bài giảng Hệ điều hành: Chương 2.1 - TS. Ngô Hữu Dũng
23 p | 61 | 3
-
Bài giảng Hệ điều hành: Chương 2 - ĐH Công nghệ thông tin
36 p | 69 | 3
-
Bài giảng Hệ điều hành - Chương 1: Mở đầu
13 p | 89 | 3
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn