Kiến trúc Unix/Linux

Nội dung text: Kiến trúc Unix/Linux

1. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Phần 1: Lí thuyết HĐH Unix/Linux Mục lục A. Tổng quan: Vài nét về Hệ Điều hành B. Unix/Linux Chương I. Tổng quan hệ thống Unix Chương II. Hệ thống tệp (file subsystem) 1. Tổng quan về Hệ thống tệp 2. Gọi Hệ Thống thao tác tệp (System call for FS) Chương III. Tiến Trình (process) 1 Tổng quan về tiến trình 2 Cấu trúc của Tiến trình 3 Kiểm soát tiến trình Chương IV. Liên lạc giữa các tiến trình Chương V. Các hệ thống vào ra (I/O subsystem) Chương VI. Đa xử lí (Multiprocessor Systems) Chương VII Các hệ Unix phân tán (Distributed Unix Systems) Phần 2: Lập trình trong Unix Phần 3: Lập trình mạng trong Unix 1 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
2. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ I. Tổng quan về Hệ Điều Hành (An Operating System is a group of programs that provide basic functionality on a computer. This functionality is called services. Other word an Operating System can be seen as a set of functionality building blocks upon which other programs depend. It also manages computer resources and resolves resource conflicts, so OS abstracts the real hardware of the system and presents the system’s users and its applications with a virtual machine). 1. Phần mềm máy tính chia ra làm hai loại: các phần mềm hệ thống, quản lí hoạt động của bản thân máy tính, và các chương trình ứng dụng, giải quyết các yêu cầu của người dùng. Phần căn bản nhất của tất cả các phần mềm hệ thống, gọi là Hệ điều hành, mà chức năng cơ bản là kiểm soát tất cả nguồn tài nguyên, cung cấp nền tảng (các hàm chức năng, các dịch vụ hệ thống) để trên đó các chương trình ứng dụng được viết ra sẽ sử dụng. Mô hình một máy tính như sau: Hình trên cho ta một phần gọi là kernel, hay nhân của HĐH, kernel hổ trợ HĐH thực hiện chức năng quản lí các thành phần sau đây: 1.Thiết bị (devices), cho một giao tiếp để các chương trình người dùng “ nói chuyện” với thiết bị; 2.Bộ nhớ (memory), cấp bộ nhớ cho các chương trình (tiến trình) đang chạy; 3.Các Tiến trình (process), tạo, giám sát hoạt động của các tiến trình; 4.Liên lạc (communication) giữa các TT. Nguồn tài nguyên máy tính có nhiều, như (CPU(s), bộ nhớ, các thiết bị ngoại vi ghép nối vào máy tính ) tạo thành một hệ thống rất phức tạp. Viết các chương trình để theo dõi tất cả các thành phần, khai thác chúng chính xác và để chúng chạy độc lập một cách tối ưu, là việc rất khó. Và nếu điều này lại để cho từng người dùng quan tâm, thì sẽ có vô số các 2 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
3. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ chương trình được viết và nếu hệ là loại nhiều người dùng thì, hãy thử tưởng tượng Như vậy rỏ ràng cần tách người dùng ra khỏi sự phức tạp của phần cứng. Cách có thể đảm bảo là đặt phần mềm (hay lớp phần mềm) lên trên đỉnh của phần cứng và nó quản lí tất cả các phần của máy tính, trong khi trao cho người dùng một giao diện (interface) hay một máy tính ảo (virtual machine) dễ hiểu hơn và dễ lập trình ứng dụng hơn. Lớp phần mềm đó gọi là HĐH. Từ đây xuất hiện một quan niệm mới, đó là sự phân biệt chế độ chạy máy, nó bao gồm: HĐH chạy trong một môi trường đặc biệt, gọi là chế độ nhân (kernel mode hay supervisor mode). Chế độ này được hổ trợ bởi kiến trúc của CPU ( bởi các lệnh máy đặc biệt) và nó ngăn người dùng truy nhập vào phần cứng (quản lí phần cứng chuẩn xác cho nhiều người dùng đồng thời, còn gọi là chế độ được bảo vệ (protected mode)). Thuật ngữ kernel đề cập đến phần mã cốt yếu nhất của các chương trình hệ thống, nó kiểm soát các tệp, khởi động và cho chạy các chương trình ứng dụng đồng thời, phân chia thời gian sử dụng CPU cho các chương trình, cấp bộ nhớ cũng như các tài nguyên khác cho các chương trình của người dùng. Bản thân kernel không làm gì nhiều nhưng cung cấp các công cụ nguyên thuỷ (primitive functions) mà các tiện ích khác, các dịch vụ khác của HĐH được xây dựng. Do đó các chương trình hệ thống, các trình ứng dụng sử dụng các dịch vụ của HĐH, chạy trong user mode. Tuy nhiên có sự khác biệt là các trình ứng dụng thì tận dụng những tiện ích hệ thống cho, còn các trình hệ thống là cần thiết để máy tính chạy được. Các trình ứng dụng chạy trong chế độ người dùng (user mode), các primitive functions chạy trong kernel . Việc kết nối giữa hai chế độ chạy trình được thực hiện bởi gọi hệ thống (system call). Gọi hệ thống (hay gọi các dịch vụ của hệ thống, GHT), là một giao diện lập trình giữa HĐH và ứng dụng. Nó được thực hiện bằng cách đặt các thông số vào những chổ được định nghĩa rỏ ràng (vào các thanh ghi của CPU hay đặt vào stack) và sau đó thực hiện một lệnh bẩy đặt biệt (trap intruction) của CPU. Lệnh này chuyển chế độ chạy máy từ user mode vào kernel mode và từ đó điều khiển chuyển cho HĐH (1). Tiếp theo HĐH kiểm tra số hiệu và các thông số của GHT để xác định GHT nào sẽ thực hiện (2). Từ trong bảng với chỉ số (số hiệu của GHT), HĐH lấy ra con trỏ trỏ đến qui trình (procedure) thực hiện GHT đó (3). Khi thực hiện xong GHT, điều khiển chuyển trả lại cho chương trình của người dùng. Từ đây có thể thấy cấu trúc cơ bản của GHT như sau: 1. Một chương trình chính kích hoạt dịch vụ hệ thống bằng một GHT. 3 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
4. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ 2. Bẩy (TRAP) chuyển GHT vào nhân HĐH, nhân xác định số hiệu của dịch vụ. 3. Thực hiện dịch vụ. 4. Kết thúc dịch vụ và trở về nơi phát sinh GHT. Hình sau cho các bước theo trình tự từ lập trình đến thực thi GHT read(): Khi nhìn cách thực thi một chương trình, phần mã chương trình người dùng được kết hợp với mã của kernel (khi thực hiện các primitive functions qua GHT), tạo ra toàn bộ mã chương trình. Nói cách khác vào thời điểm chạy trình, phần mã của kernel thực hiện bởi GHT là mã của chương trình người dùng, chỉ khác ở chế độ thực hiện. 2. Trên cơ sở định nghĩa kernel mode và user mode, kiến trúc của các HĐH có thể khác nhau: a. Loại đơn thể (monolitic OS): 4 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
5. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ HĐH kiểu đơn thể (monolitic OS) Các trình ứng dụng chạy ở user mode khi thực hiện gọi một dịch vụ của Hệ thống, HĐH sẽ chuyển việc thực hiện dịch vụ vào kernel mode. Khi dịch vụ hoàn tất HĐH chuyển việc thực hiện chương trình đã phát sinh gọi dịch vụ trở lại user mode, chương trình này tiếp tục chạy. PC DOS là một ví dụ. Đặc điểm chung của loại này là kernel là một thực thể đơn, một chương trình rất lớn, mà các thành phần chức năng truy nhập tới tất cả các cấu trúc dữ liệu và thủ tục của hệ thống. b. Mô hình Client/Server: Chia OS ra thành nhiều tiến trình (TT), mỗi TT cung cấp một tập các dịch vụ ( ví dụ các dịch vụ bộ nhớ, dịch vụ tạo TT, dịch vụ lập biểu ). Các phần mềm dịch vụ (server) chạy trong user mode thực hiện vòng lặp để tiếp nhận yêu cầu các dịch vụ của nó từ các client. Client có thể là thành phần khác của HĐH, hay là một ứng dụng, yêu cầu phục vụ bằng cách gởi một thông điệp (message) tới server. Kernel của HĐH, là phần rất nhỏ gọn (microkernel) chạy trong kernel mode phát các thông điệp tới server, server thực hiện yêu cầu, kernel trả lại kết quả cho client. Server chạy các TT trong user mode tách biệt, nên nếu có sự cố (fail) thì toàn bộ hệ thống không hề bị ảnh hưởng. Với nhiều CPU, hay nhiều máy kết hợp, các dịch vụ chạy trên các CPU, máy khác nhau, thích hợp cho các tính toán phân tán. 5 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
6. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ c. Loại cấu trúc theo lớp (layered OS): HĐH được chia thành các lớp xếp chồng lên nhau. Phân lớp là cấu trúc được sắp xếp theo hai hướng lên-xuống (nhìn tại một lớp bất kì), sao cho mỗi lớp thành một đơn thể với chức năng cung cấp các dịch vụ cho lớp trên liền kề, và sử dụng tòan bộ dịch vụ của lớp dưới liền kề, với nguyên tắc lớp trên yêu cầu và nhận kết quả, lớp dưới thực hiện và trao kết quả cho lớp trên. Với cách xác định tường minh như vậy sẽ tránh được sự trùng lặp chức năng cũng như chồng chéo quan hệ (ví dụ ở mô hình đơn thể nói trên) giữa các đơn thể. Kiểu cấu trúc này mang lại các ưu điểm sau: - Nếu chuẩn hóa được các dịch vụ ở mỗi lớp, và chuẩn định dạng dữ liệu vào/ra thì các phần mềm thực hiện đơn thể sẽ trở nên phổ quát, dễ dùng chung cho các hệ thống có cấu trúc tương tự. Chương trình nguồn dễ dàng biên dịch lại và chạy ở các phần cứng khác nhau. Đó là tính portable. - Đơn giản hóa quá trình cải tiến hay nâng cấp hệ thống bằng việc thay đổi, nâng cấp các đơn thể các thể, mà không phải chờ đợi cho đến khi hòan tất toàn bộ hệ thống. Chính nhờ vậy mà tăng được hiệu năng họat động, tính ổn định của hệ thống. - Hổ trợ tốt cho nhu cầu trao đổi dữ liệu giữa các hệ thống khác nhau khi có sự chuẩn hóa về giao diện (interface), và giao thức (protocol). Đó chính là tính mở của hệ thống. Các HĐH kiểu UNIX (VAX/VMS hay Multics (tiền thân của UNIX), ) thuộc loại này. Hãy quan sát mô tả điển hình của cấu trúc phân lớp theo hình sau: 6 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
7. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Trên mô hình này, lớp 1, 2 gần với từng loại kiến trúc máy tính (hardware), trong đó lớp 1 cố gắng dấu đi các kiến trúc phần cứng có thể, tạo ra một lớp phần cứng trừu tượng (Hardware Abstract Layer). Lớp 2 là các thao tác (handling) cơ bản áp dụng trên các phần cứng bên dưới (bao gồm xử lí ngắt, chuyển bối cảnh thực hiện của các tiến trình, quản lí bộ nhớ). Lớp 3 thực thi phân phối thời gian chạy máy (scheduling), đồng bộ tiến trình và luồng. Lớp 4 là các đặc tả thiết bị có trên máy dạng tổng quát, không phụ thuộc vào loại thiết bị cụ thể, ví dụ ở UNIX tại gồm các tệp thiết bị tại thư mục /dev. Lớp 5 và 6 là cách tổ chức tài nguyên mà kernel sẽ thực hiện các biện pháp quản lí (tổ chức chức tệp (File System, Virtual File System), bộ nhớ ảo). Lớp 7 là giao diện của HĐH với trình ứng dụng. Có thể thấy, lớp 3 đến 7 là các lớp tổng quát, không phụ thuộc vào phần cứng. Như vậy mã thực thi có thể triển khai trên bất kì loại kiến trúc máy nào. Mô hình dưới cho thấy một ví dụ của ý tưởng trên: Unix là một ví dụ điển hình với các đặc điểm như sau: 7 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
8. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ 1. Hệ được viết bằng ngôn ngữ bậc cao, làm cho dễ đọc, dễ hiểu, dễ thay đổi và chạy trên các nền phần cứng khác nhau. 2. Có giao diện người dùng đơn giản, mang lại sức mạnh cung cấp các dịch vụ người dùng yêu cầu. 3. Cung cấp các hàm cơ bản (primitive) để phát triển các chương trình phức tạp từ các chương trình đơn giản. 4. Sử dụng hệ thống tệp có cấu trúc, dễ dùng, dễ bảo trì và hiệu quả. 5. Tệp được tổ chức theo kiểu dòng các byte, nhất quán, dễ tạo các ứng dụng. 6. Giao tiếp các thiết bị ngoại vi đơn giản, nhất quán và ổn định. 7. Là hệ nhiều người dùng, nhiều tiến trình, mỗi người dùng có thể chạy nhiều tiến trình đồng thời. Hệ cón là hệ đa xử lí. 8. Người phát triển ứng dụng không cần biết tới cấu trúc máy tính, do đó ứng dụng viết ra có thể chạy trên nhiều phần cứng khác nhau. Đơn giản, nhất quán, đó là tư tưởng chủ đạo của Unix. II. Unix/Linux Chương I. Tổng quan hệ thống Unix 1. Cấu trúc hệ thống Cấu trúc của Unix Unix có thể xem như một loại kim tự tháp với các lớp chức năng xếp chồng lên nhau và tạo ra các giao diện. Phần cứng (hardware) sẽ đề cập sau. Hệ Điều Hành (HĐH, hay Operating System-OS) tương tác trực tiếp với phần cứng, cung cấp các dịch vụ cơ bản cho các chương trình và ngăn cách các chương trình với phần cứng cụ thể. Nếu nhìn hệ thống như từ các lớp, thì OS thông thường được gọi là nhân hệ thống (System Kernel), nó được cách li với chương trình của người dùng. Bởi vì các chương trình ứng dụng nói chung, kể cả OS, độc lập với phần cứng, nên dễ dàng chạy trên các phần cứng khác nhau vì không phụ thuộc vào 8 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
9. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ phần cứng cụ thể. Chẳng hạn Shell và các editors (vi, ed) ở lớp ngoài tương tác với kernel bằng cách phát sinh ra Gọi Hệ Thống (GHT) – system calls. GHT sẽ chỉ thị cho kernel làm những việc khác nhau mà chương trình gọi yêu cầu, thực hiện trao đổi dữ liệu (data) giữa kernel và chương trình đó. Một vài chương trình có tên trong hình là các chương trình chuẩn trong cấu hình của hệ thống và được biết tên dưới dạng các lệnh – commands. Lớp này cũng có thể bao hàm cả các chương trình của người dùng với tên là a.out, một loại tên chuẩn cho các tệp chạy được do bộ dịch C tạo ra. Còn có loại ứng dụng khác (APPS) được xây dựng trên lớp trên cùng của các chương trình có mức thấp hơn hiện diện ở lớp ngoài cùng của mô hình. Mặc dù mô hình mô tả hai cấp các APPS, nhưng người dùng có thể mở rộng ra các cấp thích hợp. Rất nhiều các hệ thống ứng dụng, các chương trình, cho cách nhìn ở mức cao, song tất cả đều dùng các dịch vụ cấp thấp được cung cấp bởi kernel qua GHT. Trong System V chuẩn có 64 GHT, trong đó có 32 GHT là thường dùng nhất (LINUX 2.x có nhiều hơn và khoản chừng 164 lệnh GHT). Tập hợp các System calls và các thuật toán bên trong tạo thành thân (body) của kernel, do vậy việc nghiên cứu Unix trong sách này sẽ giản lược để nghiên cứu chi tiết các system calls cũng như sự tương tác giữa chúng. Và khái niệm “Unix system”, hay “kernel” hay “system” trong sách đều có ý nói tới kernel của hệ điều hành Unix và rõ ràng hơn ở từng bối cảnh trình bày. 2. Cách nhìn từ phía người dùng: tổ chức tệp Phần này tóm lượt các nét đặc trưng ở mức cao của Unix chẳng hạn: hệ thống tệp (File system FS), môi trường xử lí, xây dựng các khối nguyên hàm, và sẽ được khai thác sau này. 2.1. Hệ thống tệp (File system – FS) Hệ thống tệp của Unix được đặc tả bởi: · Cấu trúc cấp bậc (cây thư mục); · Cách xử lí nhất quán dữ liệu của tệp (chuổi các byte byte stream ); · Khả năng tạo và hủy tệp (tạo mới, xóa); · Tính tăng trưởng động của tệp (thêm bớt, cắt dán); 9 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
10. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ · Khả năng bảo vệ dữ liệu của tệp (bởi các kiểu thuộc tính như quyền truy nhập); · Xử lí các thiết bị ngoại vi như xử lí các tệp (cách nhìn thiết bị bởi mô tả kiểu tệp). FS được tổ chức như một cây bắt đầu từ một nút đơn gọi là root, được biểu diễn như sau: “ / ”; từ đó sẽ có các thư mục khác tạo thành nhánh của cây, trong các nhánh có thể có các nhánh (con) khác. Dưới các nhánh sẽ là tệp. Tệp có thể là tệp bình thường (regural files) hay cũng có thể là tệp đặc biệt (special files). Tệp được truy nhập qua đường dẫn (path name) mô tả cách thức định vị được tệp trong FS. Đường dẫn đầy đủ, hay đường dẫn tuyệt đối, bắt đầu bởi dấu / và nó xác định sẽ tìm tệp bằng cách đi từ root qua cấu trúc cây thư mục theo các nhánh chỉ thị trong đường dẫn. Ví dụ trong hình ta có: /usr/src/cmd/date.c là đường dẫn tuyệt đối tới tệp date.c. Đường dẫn không bắt đầu từ root gọi là đường dẫn tương đối, chỉ tới thư mục hiện tại của tệp. Các chương trình trong Unix không có hiểu biết gì về định dạng (format) bên trong của dữ liệu của tệp. Kernel lưu dữ liệu của tệp, xử lí dữ liệu tệp như một dòng các bytes (byte stream) không có định dạng. Do vậy cú pháp truy nhập dữ liệu trong tệp được định nghĩa bởi hệ thống và nhất quán như nhau cho tất cả các chương trình, nhưng ngữ nghĩa của dữ liệu thì chương trình ứng dụng phải xử lí. Ví dụ: Chương trình troff xử lí văn bản có định dạng hoài vọng sẽ tìm thấy các kí tự “dòng mới” (“ new line ”) ở cuối mỗi dòng văn bản, còn chương trình kế toán acctcom hoài vọng tìm thấy những bản ghi có độ dài cố định. Cả hai chương trình dùng cùng các dịch vụ hệ thống để truy nhập dữ liệu trong tệp theo cách byte stream, nhưng bên trong mỗi chương trình lại dùng cách phân tích cú pháp khác nhau thích hợp cho nó. Nếu một chương trình phát hiện thấy định dạng là không đúng, thì bản thân chương trình sẽ thực hiện một hành vi khác để xử lí (chứ không phải hệ thống làm điều đó). Thư mục cũng là một loại tệp, hệ thống xử lí dữ liệu trong thư mục cũng bằng byte stream, nhưng dữ liệu ở đây chứa tên các tệp trong thư mục có khuôn dạng dự đoán được, sao cho OS và các chương trình, ví dụ ls, có thể nhận ra các tệp trong thư mục. Việc truy nhập tệp được kiểm soát bởi quyền truy nhập (access permission) kết hợp với tệp. Quyền truy nhập được lập ra một cách độc lập để kiểm soát truy nhập đọc (read), ghi (write), và thực hiện (execute) cho ba lớp người sử dụng: người sở hữu tệp (u - user), nhóm người được truy nhập (g - group), những người khác (o - other). Người dùng có thể tạo tệp nếu họ được phép và các tệp mới tạo sẽ là các nhánh lá của cấu trúc thư mục hệ thống. 10 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
11. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Đối với người dùng, Unix xử lí các thiết bị như thể đó là các tệp. Các thiết bị được mô tả bởi các tệp thiết bị đặc biệt và nằm ở một nhánh trong cấu trúc hệ thống thư mục (/dev). Các chương trình truy nhập các thiết bị bằng cú pháp giống như đã dùng để truy nhập tệp bình thường, các thiết bị cũng được bảo vệ cùng phương thức như các tệp, qua việc ấn định quyền truy nhập. Bởi vì tên các thiết bị cũng giống như tên các tệp bình thường và các thao tác trên chúng là như nhau, nên hầu hết các chương trình đều không biết tới kiểu tệp bên trong của tệp mà chúng thao tác. 2.2 Môi trường xử lí Một chương trình - program là một tệp thực thi và một tiến trình (TT – procces) là một khoảnh khắc (instance) của chương trình được thực hiện theo trục thời gian. TT bao gồm: mã trình thực thi, dữ liệu (data) của TT, program (user) stack, CPU program counter, kernel stack, CPU registers và thông tin khác cần thiết để chạy trình. Các dữ liệu này tạo ra bối cảnh (context) của TT, mỗi TT có bối cảnh riêng biệt. Có rất nhiều TT được thực hiện đồng thời trên Unix (đặc tính này còn gọi là đa trình - multiprogramming hay đa nhiệm - multitasking) theo nguyên lí phân chia thời gian (time sharing), mà tổng số các TT về logic là không có giới hạn. Có nhiều GHT cho phép các TT tạo ra các TT mới, kết thúc các TT, đồng bộ các giai đoạn thực hiện TT, kiểm soát phản ứng với các sự kiện khác nhau. Các TT sử dụng GHT độc lập với nhau. Ví dụ chạy đa trình với 4 chương trình A, B, C, D trên một CPU: Hãy xét ví dụ sau: main (argc, argv) int argc; char *argv[]; { /* giả định có 2 đối đầu vào*/ 11 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
12. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ if (fork () == 0) execl (“copy”, ”copy”, argv[1], argv[2], 0); wait((int *) 0); printf (“copy done\n”); } Chương trình trên dùng GHT fork() để tạo ra một TT mới. TT mới gọi là TT con sẽ nhận được giá trị trả lại là 0 từ lệnh fork và nó kích hoạt execl để chạy trình copy. Lệnh execl sẽ phủ lên không gian địa chỉ của TT con bằng mã của trình “copy”, với giả định trình “copy” nằm cùng trong thư mục hiện hành của main, và chạy trình copy với các thông số do người dùng đưa vào. Nếu execl hoàn tất nó sẽ không trở về địa chỉ xuất phát trong main vì nó chạy trong một miền địa chỉ mới khác. Trong khi đó TT bố đã kích hoạt fork() lại nhận được giá trị trả lại khác 0 từ GHT wait(), nó “treo” việc thực hiện để đợi cho đến khi “copy” kết thúc và in ra thông báo “copy done “ và sau đó kết thúc thực hiện main bằng exit (exit() là ngầm định khi kết thúc main trong C). Một cách tổng quát, GHT cho phép người dùng viết các chương trình thực hiện các thao tác rất tinh tế mà bản thân kernel không cần có nhiều chức năng hơn là cần thiết. Có thể đề cập tới một số các chức năng, chẳng hạn các bộ dịch (compilers), bộ soạn thảo (editors) thuộc lớp các chương trình cấp người dùng (user level) và quan trọng hàng đầu là shell, là trình thông dịch mà người dùng sử dụng ngay sau khi log in vào hệ thống: shell thông dịch các từ trong dòng lệnh thành tên lệnh máy, phát sinh TT con và TT con thực hiện lệnh đưa vào, xử lí các từ còn lại trong dòng lệnh như các thông số của lệnh. Shell thực hiện ba kiểu lệnh: 1. Lệnh là tệp có thể thực hiện được chứa mã máy phát sinh do bộ dịch tạo ra từ mã nguồn (chương trình C chẳng hạn); 2. Lệnh là tệp chứa một xâu các dòng lệnh của shell; 3. Là các lệnh bên trong của shell. Các lệnh bên trong này làm cho shell trở thành một ngôn ngữ lập trình rất mạnh trong Unix. Shell là chương trình thuộc lớp người dùng, không phải là phần của kernel, cho nên có thể dể dàng biến cải cho mỗi môi trường đặc thù. Bản thân shell cũng có ba loại khác nhau thích hợp cho các nhu cầu sử dụng khác nhau và hệ thống có thể chạy các shell đó đồng thời. Sức mạnh của mỗi kiểu shell thể hiện ở khả năng lập trình của mỗi kiểu. Mỗi TT được thực hiện trong Unix có một môi trường (execution environment) thực hiện, bao gồm cả thư mục hiện hành. Thư mục hiện hành của TT là thư mục dùng để chỉ đường dẫn không bắt đầu bằng “ /”. Người dùng có thể thực hiện nhiều TT cùng một lúc, và các TT lại có thể tạo ra các TT khác một cách động, và đồng bộ việc thực hiện các TT đó. Đặc tính này tạo ra một môi trường thực hiện chương trình rất mạnh trong Unix. 2.3 Xây dựng các hàm chức năng cơ bản (primitives) Như đã đề cập, tính triết lí của Unix là để cung cấp cho OS các nguyên hàm (primitives) mà người dùng sẽ sử dụng để viết các chương trình (chức năng) nhỏ, có tính modul, được dùng như các khối xây dựng để tạo ra các chương trình lớn và phức tạp. Một trong các primitive đó là khả năng tái định tuyến vào/ra (redirect I/O). Tiếp theo là pipe, một cơ chế linh hoạt cho phép truyền dữ liệu giữa các TT, hay lệnh ngay từ bàn phím. Ví dụ, khi dùng các chương 12 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
13. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ trình nhỏ để tạo các chương trình lớn và phức tạp, người lập trình sử dụng các primitives redirect I/O và pipe để hợp nhất các phần đó lại. 3. Các dịch vụ của Unix/Linux · Trong hình mô tả các lớp của kernel, cho thấy lớp kernel nằm ngay bên dưới lớp các trình ứng dụng của người dùng. Kernel thực hiện vô số các thao tác cơ bản (primitives) thay mặt cho các TT của nguời dùng để hỗ trợ cho giao diện người dùng. Các thao tác đó bao hàm các dịch vụ mà kernel cấp: · Kiểm soát việc thực hiện các TT gồm có: cho phép TT tạo TT mới, kết thúc TT, treo việc thực hiện và trao đổi thông điệp giữa các TT; · Lập biểu để các TT được thục hiện trên CPU. Các TT chia xẻ CPU theo phương thức phân chia thời gian, một TT sẽ bị treo sau khi thời gian phân bổ đã hết, kernel lấy TT khác đưa vào thực hiện. Sau này kernel sẽ lại lựa chọn TT bị treo để đưa vào thực hiện trở lại. · Cấp phát bộ nhớ cho TT đang thực hiện, cho phép TT chia sẻ không gian địa chỉ của TT dưới những điều kiện nhất định, bảo vệ miền địa chỉ riêng của TT đối với các TT khác. Nếu hệ thống chạy trong hoàn cảnh thiếu bộ nhớ, kernel sẽ giải phóng bộ nhớ bằng cách ghi lại các TT tạm thời vào bộ nhớ dự phòng (còn gọi là thiết bị swap). Nếu toàn bộ TT được ghi vào swap, thì hệ Unix gọi là hệ tráo đổi (swapping system); Nếu kernel ghi các trang của bộ nhớ lên swap, thì hệ đó gọi là hệ lưu trang (paging system). · Cấp phát bộ nhớ thứ cấp để cất và tìm lại dữ liệu của người dùng có hiệu quả. Dịch vụ này cấu tạo nên hệ thống tệp. Kernel cấp vùng nhớ thứ cấp cho tệp của người dùng, khôi phục lại vùng nhớ, xây dựng cấu trúc tệp theo một cách thức hiểu được, bảo vệ tệp của người dùng trước các truy nhập bất hợp pháp. · Cho phép các TT truy nhập các thiết bị ngoại vi, ví dụ t/b đầu cuối, đĩa, t/b mạng. · Kernel cung cấp các dịch vụ một cách thông suốt, chẳng hạn kernel ghi nhận tệp cần thao tác thuộc loại tệp bình thường hay tệp thiết bị, nhưng ẩn điều đó đối với TT của người dùng; hay ví dụ, kernel tạo khuôn dữ liệu trong tệp để ghi (đĩa), nhưng lại ẩn khuôn dạng đó đối với TT người dùng (user). Tương tự như vậy đối với các dịch vụ hệ thống cung cấp cho các TT user dùng ở mức độ cấp người dùng. Ví dụ dịch vụ hệ thống mà shell dùng để đóng vai trò là trình thông dịch lệnh: cho phép shell đọc đầu vào từ t/b đầu cuối, phát sinh động các TT, đồng bộ việc thực hiện các TT, tạo pipe, đổi hướng I/O. Người dùng cấu tạo các phiên bản shell riêng mà không tác động tới những users khác. Các trình đó cùng dùng các dịch vụ của kernel ở mức shell chuẩn. 4. Phần cứng Tiến trình người dùng (TT user) trên Unix được chia ra làm hai mức độ: Chế độ người dùng (user mode) và chế độ nhân (kernel mode). Khi TT thục hiện một GHT, chế độ thực hiện TT sẽ chuyển từ user mode sang kernel mode: OS thực hiện và cố gắng phục vụ các yêu cầu của user, trả lại kết quả và thông báo lỗi nếu có. OS lưu lại các hoạt động có liên quan tới TT user, thao tác các ngắt, lập biểu chạy TT, quản lí bộ nhớ Có loại máy hỗ trợ nhiều mức hơn, tuy nhiên trong Unix hai mức này là đủ. 13 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
14. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Sự khác biệt của hai mức này là: · Các ứng dụng chạy trong chế độ xử lí không có đặc quyền, user mode, liên lạc với hệ thống qua một tập các giao tiếp giới hạn (kể cả một số lệnh của CPU), cũng như bị hạn chế truy nhập dữ liệu hệ thống. TT ứng dụng có thể truy nhập các lệnh và dữ liệu của nó, không được truy nhập lệnh và dữ liệu của kernel cũng như của các TT khác. Khi TT trong user mode thực hiện một GHT, kernel “bẩy“ GHT đó, chuyển chế độ thực hiện vào kernel mode. Kernel kiểm soát TT, xác thực các đối (ví dụ quyền truy nhập, quyền thao tác dữ liệu) mà TT chuyển cho GHT và thực hiện GHT đó. Khi GHT kết thúc, Kernel chuyển TT ngược lại vào user mode trước khi trả điều khiển lại cho TT, cho phép TT tiếp tục chạy. Bằng cách đó kernel bảo vệ được chính nó cũng như các dữ liệu khỏi bị TT user làm tổn hại. · Thực hiện mã của HĐH chạy trong chế độ đặc quyền của CPU, gọi là kernel mode. Trong chế độ này HĐH chạy và thực hiện các GHT mà TT user đã gọi. TT trong kernel mode có thể truy nhập vào không gian địa chỉ của nó ở cả hai vùng kernel và user. Việc truy nhập tài nguyên hệ thống (các cấu trúc dữ liệu hê thống và phần cứng) không có giới hạn đối với kernel. Một số các lệnh máy là đặc quyền chỉ kernel mode mới dùng được. · OS duy trì các thông tin (records) bên trong để phân biệt các TT thực hiện trên hệ thống. Mặc dù hệ thống chạy một trong hai chế độ nói trên, song kernel chạy trên danh nghĩa của TT user. Kernel không phải là tập hợp của các TT riêng biệt chạy song song với các TT user, mà là một phần của mỗi TT user. Trong văn ngữ khi nói “kernel thực hiện ” thì điều đó có nghĩa là TT chạy trong chế độ kernel thực hiện cái gì đó. Ví dụ, shell đọc đầu vào qua GHT và được mô tả như sau: Kernel thực hiện nhân danh TT shell, kiểm soát thao tác thiết bị đầu cuối, trả lại các kí tự nhận vào cho shell. Đến đây shell, chạy trong user mode, thông dịch xâu kí tự nhận được từ người dùng và thực hiện một số hành động mà có thể các hành động đó kích hoạt GHT khác dẫn tới TT shell lại trở vào kernel mode. · Trong môi trường đa người dùng như Unix, các thiết bị hoạt động trên cơ sở độc lập có ý nghĩa rất căn bản. Unix nhìn nhận các thiết bị như một tệp đặc biệt. Khi một t/b mới cần đưa vào hệ, người quản trị thực hiện thêm một liên kết cần thiết vào kernel. Liên kết này được biết như là phần mềm thiết bị (device driver) , đảm bảo rằng kernel và thiết bị được gắn lại theo cùng một phương thức mỗi khi t/b đuợc đưa vào phục vụ. Điểm mấu chốt để t/b là độc lập, liên quan tới khả năng tự thích nghi của kernel: Unix không có giới hạn số lượng của bất kì loạt t/b nào khi thích ứng vào hệ vì mỗi t/b được nhìn nhận độc lập qua liên kết riêng biệt với kernel. 4.1. Ngắt và Ngoại lệ Unix cho phép các t/b như I/O, đồng hồ hệ thống ngắt CPU theo cách dị bộ. Khi chấp nhận ngắt, kernel sẽ bảo vệ bối cảnh (context) hiện tại của TT đang thực hiện, xác định lí do của ngắt, và phục vụ cho yêu cầu ngắt đó. Sau khi xử lí xong kernel khôi phục lại context của TT trước đó và tiếp tục thực hiện như không có gì đã xảy ra. Phần cứng thông thường có cơ chế để đặt các cấp độ ưu tiên và che các ngắt theo thứ tự mà ngắt được thao tác. Các trường hợp ngoại lệ là sự kiện không trông đợi gây ra bởi một TT, ví dụ truy nhập vào vùng địa chỉ cấm, thực hiện lệnh đặc quyền, phép chia cho zero Các ngoại lệ này khác với 14 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
15. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ ngắt bởi chúng phát sinh do các sự kiện bên ngoài một TT. Ngoại lệ xảy ra ở giữa chừng đang thực hiện một lệnh, và hệ thống sẽ tái khởi động lại lệnh sau khi đã thao tác ngoại lệ. Ngắt được xem là xảy ra giữa hai lệnh và hệ thống chạy lệnh tiếp theo sau xử lí ngắt. Unix dùng cùng một cơ chế để thao tác ngắt cũng như thao tác các ngoại lệ. 4.2. Các mức độ thực hiện xử lí Đôi khi kernel phải ngăn chặn sự xuất hiện của ngắt trong lúc thực hiện những hoạt động có tính chất đặc biệt mà ngắt có thể làm hỏng dữ liệu hay rối loạn các con trỏ. Các máy tính thường có một số lệnh đặc biệt để làm công việc này gọi là đặt các mức độ xử lí theo mức, có thể che các ngắt mức thấp và cho phép ngắt mức cao. 4.3. Quản lí bộ nhớ Kernel thường trú trong bộ nhớ chính và thực hiện TT hiện thời (hay ít ra là một phần của TT đó). Khi compiler dịch một chương trình, nó tạo ra tập các địa chỉ của chương trình đó cho các biến, cấu trúc dữ liệu, địa chỉ của lệnh Compiler phát sinh ra địa chỉ cho một máy ảo, như thể không có chương trình nào khác sẽ được thực hiện đồng thời trên máy vật lí. Khi một chương trình chạy trong máy tính, kernel sẽ cấp cho trình một không gian địa chỉ trong bộ nhớ vật lí, nhưng không gian địa chỉ ảo này không nhất thiết phải đồng nhất với địa chỉ vật lí. Kernel phối hợp với phần cứng để ánh xạ từ địa chỉ ảo vào địa chỉ vật lí. Cách ánh xạ phụ thuộc vào đặc thù của phần cứng và các phần của Unix sẽ thích ứng theo. Ví dụ loại máy hỗ trợ theo trang (paging) hay theo hoán đổi (swapping), kernel có các hàm cơ sở tương tự cho mỗi loại cấu hình. 5. Nhân hệ điều hành (kernel) Phần này sẽ giới thiệu tổng quát về nhân (kernel) của Unix theo cách nhìn kiến trúc với các khái niệm cơ bản, hỗ trợ cho các phần sau. 5.1. Kiến trúc của hệ điều hành unix 15 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
16. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Trên Unix, hệ thống tệp (File SystemfiFS) có chỗ để cư trú và Tiến trình (TT-Proccess) có cuộc đời của nó. Tệp (File) và TT chính là hai khái niệm trung tâm trong mô hình của HĐH Unix. Hình sau đây là sơ đồ khối của Unix, cho thấy các modul và mối quan hệ giữa các modul đó. Phía trái là hệ thống tệp (FS) và bên phải là hệ thống kiểm soát TT (procces control subsystem), đây là hai thành phần cơ bản của Unix. Sơ đồ cho một cách nhìn logic về kernel, cho dù trong thực tế có thể có những khác biệt về chi tiết. Mô hình chỉ ra ba mức: người dùng (user level), nhân (kernel level) và phần cứng (hardware level). GHT và Thư viện (Lib) tạo ra ghép nối giữa chương trình của người dùng (user programs), còn gọi là chương trình ứng dụng, và kernel. GHT tương tự các hàm gọi trong C, và Lib ánh xạ các hàm gọi tới các hàm cơ sở (primitive) cần thiết để đi vào kernel. Các chương trình hợp ngữ (assembly language) có thể kích hoạt GHT trực tiếp không cần dùng thư viện Lib. Các chuơng trình thường xuyên dùng các chức năng chuẩn, ví dụ I/O của Lib, để tạo ra cách dùng tinh xảo khi GHT, và các hàm của Lib sẽ được liên kết vào chương trình vào thời điểm dịch và là bộ phận của chương trình ứng dụng. GHT chia ra thành các tập 16 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
17. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ hợp tương tác với file subsystem và với process control subsystem. File subsystem trong hình thực hiện các chức năng quản lí tệp: cấp phát vùng nhớ cho tệp, quản lí vùng trống (trong bộ nhớ, trên đĩa), kiểm soát truy nhập tệp, tìm dữ liệu cho users. TT tương tác với File subsystem qua một tập xác định các GHT, chẳng hạn open để mở tệp, close, read, write thao tác các kí tự của tệp, stat để tìm các thuộc tính tệp, chown thay đổi chủ sở hữu tệp, chmod thay đổi phép truy nhập. File subsystem truy nhập dữ liệu bằng cơ chế đệm (buferring), điều chỉnh thông lượng dữ liệu giữa kernel và các t/b nhớ thứ cấp, tương tác với phần điều khiển (drivers) I/O để khởi động quá trình trao đổi dữ liệu. Các drivers này chính là các module của kernel, kiểm soát các t/b ngoại vi của hệ thống. Các t/b ngoại vi gồm loại truy nhập ngẫu nhiên như t/b khối (đĩa), hay liên tục (raw hay character device) như băng từ (loại này không qua cơ chế đệm). Procces control subsystem thực hiện chức năng điều khiển đồng bộ các TT, liên lạc giữa các TT, lập biểu đưa một TT vào thực hiện và quản lí bộ nhớ. Procces control subsystem và File subsystem tác động lẫn nhau khi nạp một tệp thực thi (executable) vào bộ nhớ để thực hiện. Một số trong GHT để kiểm soát TT bao gồm: fork (tạo TT mới), exec (phủ mã của chương trình kích hoạt lên vùng bộ nhớ của TT gọi exec đang chạy), exit (kết thúc tức thì việc thực hiện một TT), wait (đồng bộ thực hiện TT này với exit hay với TT trước đó đã tạo ra TT nó), brk (điều chỉnh kích thước bộ nhớ đã cấp cho TT), signal (kiểm soát đáp ứng của TT trước sự kiện khác thường). Memory management module kiểm soát cấp phát bộ nhớ, điều chỉnh bộ nhớ qua swapping hay paging sao cho các ứng dụng có đủ bộ nhớ để thực hiện. Scheduler tuyển chọn một TT đưa vào thực hiện: cho các TT thuê CPU để thực hiện cho tới khi TT tự động trả lại CPU để đợi một tài nguyên hoặc kernel sẽ dừng thực hiện khi lượng thời gian cấp phát cho TT đã hết. Sau đó scheduler sẽ chọn TT có mức ưu tiên thích hợp nhất để cho chạy. TT trước đó sẽ chạy lại khi nó trở thành ưu tiên thích hợp nhất. Việc liên lạc giữa các TT có thể thực hiện qua vài phương thức từ đồng bộ tín hiệu của các sự kiện hay truyền thông điệp đồng bộ giữa các TT. Cuối cùng khối hardware control thực hiện thao tác, xử lí các ngắt (do đĩa, t/b đầu cuối ), và liên lạc với máy tính. Xử lí ngắt không thực hiện bởi một TT đặc biệt mà bởi các chức năng đặc biệt trong kernel được gọi tới (phát động) trong bối cảnh của TT hiện đang chạy. Chương II. Hệ thống tệp (file system) A. Tổng quan về Hệ thống tệp ảo (VFS) 17 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
18. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ VFS được thiết kế để biểu diễn cách trình bày dữ liệu trên một thiết bị cứng (đĩa cứng chẳng hạn). Hầu hết các thiết bị cứng đều thông qua phần mềm điều khiển cùng kiểu (generic device driver) để liên kết vào máy tính. VFS, xa hơn, cho phép người quản trị “ghép” (mount) bất kì một hệ thống tệp logic trên bất kì thiết bị nào vào hệ thống. VFS trừu tượng hoá các chi tiết của cả hai thiết bị vật lí và hệ thống tệp logic, và cho phép TT người dùng truy nhập tệp dùng các giao tiếp thông thường mà không cần biết hệ thống tệp logic hay vật lí tồn tại ở đâu. Kiến trúc Hệ thống tệp ảo Các modules 1. Cho mỗi thiết bị, có một trình điều khiển. Do nhiều thiết bị không tương thích nhau, nên có một số lượng lớn trình điều khiển cho mỗi loại. 2. Modul ghép nối độc lập với thiết bị (Device Independent Interface) cung cấp mô tả thích hợp của tất cả các thiết bị. 3. Đối với mỗi hệ thống tệp, có một hệ thống tệp logic tương ứng. 4. Giao diện độc lập với hệ thống (system independent interface) cho mô tả phần cứng và mô tả sự độc lập của hệ thống tệp logic với các tài nguyên phần cứng. 5. Giao diện gọi hệ thống (system call interface) cung cấp truy nhập có kiểm soát cho TT người dùng vào hệ thống tệp. VFS chỉ trao cho TT người dùng những chức năng nhất định. 18 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
19. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Biểu diễn dữ liệu Tất cả các tệp được biểu diễn bới các i-node. Mỗi cấu trúc i-node cho thông tin vị trí của các khối của tệp ở thiết bị vật lí nào. Nó chứa các con trỏ của các trình thủ tục trong module hệ thống tệp logic và các trình điều khiển các thao tác đọc/ghi. Bằng cách lưu các con trỏ các hàm chức năng theo cách này, các hệ thống tệp logic và các trình điều khiển tự ghi nhận với nhân HĐH làm cho nhân HĐH không bị phụ thuộc vào bất kì module cụ thể nào. Tính độc lập, dòng dữ liệu và hướng điều khiển Trình điều khiển của một thiết bị đặc trưng là một mô phỏng của thiết bị trong bộ nhớ (ramdisk): thiết bị thuê một không gian của bộ nhớ để đặc tả về thiết bị, xử lí đặc tả dó như thể xử lí chính thiết bị. Như vậy nó sử dụng quả lí bộ nhớ để hoàn tất các thao tác, như vậy sẽ có sự phụ thuộc, có luồng điều khiển, dòng dữ liệu giữa trình điều khiển thiết bị của hệ thống tệp và quản lí bộ nhớ. Một trong các hệ thống tệp logic là hệ thống tệp mạng chỉ với vai trò là khách thể (client của một máy khác). Hệ tệp này truy nhập các tệp trên một máy khác như thể đó là một phần của một máy logic. Để làm được điều này, một trong các module hệ thống tệp sử dụng hệ thống con mạng. Như vậy sẽ có sự phụ thuộc, dòng dữ liệu và luồng điều khiển giữa hai hệ thống con. Như đã nói, quản lí bộ nhớ sử dụng VFS để thực thi hoán đổi bộ nhớ-thiết bị, đồng thời sử dụng lập biểu TT để treo TT trong khi đợi thao tác vào/ra hoàn thành và cho chạy lại khi vào/ra đã kết thúc. Giao diện gọi hệ thống cho phép TT người dùng gọi vào VFS để cát hay tìm dữ liệu. Chổ khác biệt ở đây là không có cơ chế nào để người dùng đăng kí yêu cầu không tường minh, do vậy sẽ không có luồng diều khiển từ VFS tới TT người dùng. Các kiểu tệp và Hệ thống tệp 1. tệp chính tắc (regular) (-): là tệp phổ biến cho lưu thông tin trong hệ thống. 1. tệp thư mục (directory) (d): là tệp danh mục của các tệp; 2. tệp đặc biệt (special file) (c,f): là một cơ chế sử dụng cho cá thao tác vào / ra (I/O), fifo. Các tệp loại này nằm ở thư mục /dev. 3. liên kết (link) (l): là một hệ thống tạo ra một thư mỵc hay tệp nhìn thấy được trong nhiều phần của cây hệ thống tệp. 4. socket (s): là loại tệp đặc biệt cho các truyền thông mạng của một tiến trình bên trong hệ thống, và được bảo vệ bởi qui tắc truy nhập tệp. 5. ống (pipe) (p): là cơ chế để các tiến trình liên lạc với nhau. Và một số kiểu khác. Linux files • tên_tệp.bz2 file compressed with bzip2 • tên_tệp.gz file compressed with gzip • tên_tệp.tar file archived with tar (short for tape archive), also known as a tar file • tên_tệp.tbz tarred and bzipped file • tên_tệp.tgz tarred and gzipped filetên_tệp •tên_tệ.pzip file compressed with ZIP compression 19 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
20. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ File Formats . tên_tệp.au audio file • tên_tệp.gif GIF image file • tên_tệp.html HTML file • tên_tệp.jpg JPEG image file • tên_tệp.pdf an electronic image of a document; PDF stands for Portable Document Format • tên_tệp.png PNG image file (short for Portable Network Graphic) • tên_tệp.ps PostScript file; formatted for printing • tên_tệp.txt ASCII text file •tên_tệp.wav audio file • tên_tệp.xpm image file System Files . .conf a configuration file. Configuration files sometimes use the .cfg extension, as well. . .lock a lock file; determines whether a program or device is in use . .rpm a Red Hat Package Manager file used to install software Programming and Scripting Files . .c a C program language source code file . .cpp a C++ program language source code file . .h a C or C++ program language header file . .o a program object file . .pl a Perl script . .py a Python script . .so a library file . .sh a shell script . .tcl a TCL script Các cơ sơ dữ liệu hệ thống cho tệp Trong hệ thống tệp, tệp được biểu diễn bằng một inode. Inode cho biết mô tả của một tệp trên đĩa cùng các thông tin khác như sở hữu tệp, quyền truy nhập, thời gian truy nhập tệp. Khái niệm inode có ý nghĩa là chỉ số của một nút (index node, trong FS là một lá của cấu trúc cây) và dùng thông dụng trong tài liệu về Unix. Mỗi tệp có một inode duy nhất, nhưng mỗi inode lại có thể có nhiều tên (tệp) khác nhau. Các tên tệp này đều qui chiếu tới inode đó và mỗi tên như vậy gọi là một liên kết (link). Khi một TT truy nhập một tệp bằng tên, kernel sẽ phân tích tên trong đường dẫn, tìm tới thư mục chứa tệp, kiểm tra phép truy nhập, tìm inode và trao inode cho TT. Khi TT tạo tệp mới, kernel gán cho tệp một inode chưa sử dụng. Các inode lưu trong FS trên đĩa, nhưng khi thao tác tệp, kernel đọc từ đĩa và đưa vào một bảng gọi là in - core inode table (gọi tắt là Inode table) trong bộ nhớ hệ thống. Kernel còn có hai cấu trúc dữ liệu khác là bảng các tệp (File table) và bảng các mô tả tệp của người dùng (User file descriptor per procces table gọi tắt là File descriptor table). File table là cấu trúc tổng thể của kernel, còn File descriptor table cấp cho TT khi TT mở một tệp. Khi TT open hay creat tệp, kernel cấp một đầu vào trong mỗi bảng tương ứng với 20 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
21. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ tệp đó. Các thông tin có trong các đầu vào ở ba bảng sẽ duy trì trạng thái của tệp cũng như khả năng user truy nhập tới tệp: - File table theo dõi quyền truy nhập, /đọc/ghi byte tiếp theo trong tệp qua con trỏ tệp byte offset, số đếm qui chiếu cho biết tổng số các TT truy nhập tệp, con trỏ trỏ vào inode table; - File descriptor table cho biết tất cả các tệp một TT đã mở. Hình sau cho thấy mối quan hệ giữa các bảng nói trên: kernel trả lại mô tả tệp-file descriptor, chỉ số trỏ tới một đầu vào của File descriptor table, của mỗi tệp khi TT GHT open và creat. Khi thực hiện GHT read hay write, kernel dùng file descriptor để vào File descriptor table, lấy con trỏ tìm tới File table, rồi từ đó theo con trỏ trong File table truy nhập vào Inode table. Từ inode sẽ có các thông tin cần thiết để truy nhập dữ liệu của tệp. - Inode table là bảng của kernel, chứa các inode được đọc từ đĩa. Mỗi inode khi được đọc vào bộ nhớ sẽ được cấp một đầu vào trong bảng, mỗi đầu vào đó cho một mảng dữ liệu đặc tả về một inode đĩa (xem định nghĩa về inode). Với ba cấu trúc dữ liệu hệ thống trên kernel có đủ các mức độ khác nhau để thực hiện quản lí và các thao tác chia sẻ tệp. Tệp trong Unix được để trên thiết bị khối (đĩa, băng từ). Máy tính có thể có nhiều đĩa, mỗi đĩa có thể có một hay vài phân hoạch, mỗi phân hoạch tạo thành một hệ thống tệp (File systemfiFS). Phân hoạch một đĩa thành nhiều phần tạo điều kiện dể dàng cho việc kiểm soát dữ liệu, vì kernel xử lí ở mức logic với các FS chứ không phải với bản thân thiết bị. Mỗi một phân hoạch là một thiết bị logic và nhận biết nó bằng số của t/b. Ví dụ: SCO Unix: hd0a: hd chỉ hard disk, 0 chỉ đĩa IDE primary, a chỉ phân hoạch thứ nhất. Linux: hda1: hd chỉ hard disk, a chỉ đĩa IDE primary, 1 chỉ phân hoạch thứ nhất. (Trên PC, BIOS cho phép tạo tối da 4 phân hoạch chính (primary partions), các phân hoạch khác sẽ là phần mở rộng bên trong một phân hoạch chính đó). Do vậy ta có: hda6 sẽ là phân hoạch mở rộng của một phân hoạch chính nào đó một khi đã sử dụng hết 4 phân hoạch chính. Muốn biết cụ thể chỉ có thể ghi nhận lại trong quá trình cài đặt khi tạo các phân hoạch đĩa. 21 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
22. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Qui ước chung: xxyN , trong đó: xx kiểu thiết bị (major number), y số hiệu của t/b (miror number), N số của phân hoạch trên t/b, ví dụ trên máy tính các nhân (PC): 1. hd = loại IDE: hda=IDE Primary 1, hda1, hda2 phân hoạch 1 và 2 của Primary IDE; hdb=IDE Secondary 1, hdb1, hdb2, hdb3, hdc=IDE Primary 2, hdd=IDE Secondary 2, 2. sb = loại SCSI, sba1, sba2, Việc biến đổi giữa địa chỉ của thiết bị logic (magic number của FS) và địa chỉ của thiết bị vật lí (ổ đĩa) được thực hiện bởi bộ điều khiển đĩa (disk driver). Sách dùng khái niệm thiết bị là để chỉ tới thiết bị logic, trừ khi có diễn đạt cụ thể khác. FS chứa một chuỗi các khối logic có độ lớn 512 bytes hay bội số của 512 tuỳ hệ và là đồng nhất bên trong mỗi hệ, nhưng có thể khác nhau khi áp dụng trên mỗi hệ cụ thể. Độ lớn này có ảnh hưởng nhất định về thời gian truy nhập cũng như hiệu quả sử dụng dung lượng đĩa. Sách đề cập tới “khối” có nghĩa một khối logic đĩa (logical block) với kích thước là 1 K bytes. FS có sắp xếp hình thức như sau: Ví dụ đĩa có 3 phân họach, mỗi phân hoạch là 1 FS: Linux ext2 FS: · Boot block, phần đầu tiên của FS đĩa, là sector đầu tiên chứa mã bootstrap được đọc vào máy và chạy để nạp HĐH. · Superblock, mô tả tình trạng của FS: độ lớn, chứa được bao nhiêu tệp (inode), không 22 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
23. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ gian còn trống (block) của đĩa để chứa nội dung tệp tìm thấy ở đâu, cũng như các thông tin khác. Super block có các trường sau đây: 1. kích thước của FS, 2. tổng số các block còn chưa cấp phát cho tệp (free block) trong FS. 3. danh sách các free block sẵn có trên FS (xem thêm phần cấp phát block đĩa), 4. chỉ số của free block tiếp theo trong danh sách free block. 5. kích thước của danh sách inode, 6. tổng số các inode chưa cấp phát (free inode) trong FS, 7. danh sách free inode trong FS, 8. chỉ số của free inode tiếp theo trong danh sách free inode, 9. các trường khoá (lock) cho free block và các danh sách free inode, 10. cờ (flag) cho biết super block đã có thay đổi. Phần tiếp theo sẽ nói đến cách sử dụng các trường, các chỉ số và khóa. Kernel sẽ thường xuyên cập nhật super block một khi có sự thay đổi sao cho nó luôn nhất quán với data trong hệ thống. · Inode List, danh cách các inode trong FS. Người quản trị xác định kích thước khi làm cấu hình (cài đặt) hệ thống. Kernel qui chiếu các inode bằng chỉ số (index) trong inode list. Có một inode gọi là root inode trong mỗi FS: là inode khởi đầu để vào được FS sau khi thực hiện GHT phép ghép (mount) FS đó vào cây thư mục gốc. · Data blocks, vùng chứa nội dung (dữ liệu) của tệp và dữ liệu quản trị hệ thống (là các block của tệp thư mục, các block nội dung của một inode). Một khối khi đã cấp cho mỗi tệp thì khối đó chỉ thuộc tệp đó mà thôi. 2.Biểu diễn bên trong của tệp Mỗi một tệp trong UNIX có một chỉ số duy nhất (inode) gán cho tệp lúc tệp được tạo. Inode chứa các thông tin cần thiết để một TT truy nhập tệp, ví dụ như người sở hữu tệp, quyền truy nhập, kích thước của tệp, vị trí data của tệp trong FS. Các TT truy nhập tệp bằng các GHT và xác định một tệp bằng xâu kí tự gọi là đường dẫn tên tệp. Mỗi đường dẫn lại xác định duy nhất một tệp, và kernel sẽ biến đổi đường dẫn đó thành inode của tệp. Chương này đề cập tới cách tổ chức của tệp nói riêng và của FS nói chung như: inode, tệp và ghi/ đọc tệp, tệp thư mục, tệp và tổ chức đĩa: inode đĩa và block đĩa cho tệp; đồng thời cũng đưa ra các thuật toán cơ sở thao tác tệp. Các thuật toán này nằm ở lớp trên của buffer cache. 2.1 Inode (Index-node), định nghĩa và cấu trúc Inode tồn tại ở trên đĩa (disk inode) còn gọi là inode dạng tĩnh và kernel đọc inode đó vào bộ nhớ (gọi là in - core inode) để xử lí. In - core inode là một mảng trong Inode table. Một inode khi đọc vào bộ nhớ là tập hợp của hai phần gồm phần tĩnh trên đĩa và phần động 23 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
24. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ inficore inode. Disk inode gồm có các trường sau đây: · Nhận dạng người sở hữu tệp. Quan hệ sở hữu chia ra làm sở hữu cá thể và sở hữu nhóm định nghĩa một tập hợp các users có quyền truy nhập tệp. Superuser được quyền chi phối mọi tệp trong FS. · Kiểu tệp (file type): tệp thường (regular), thư mục (directory), kí tự (character), kiểu khối đặc biệt (block special), hay FIFO (pipes). (Khi trường = 0, inode tương ứng chưa dùng (free)). · Phép truy nhập tệp (Permission). Hệ thống bảo vệ tệp theo ba lớp: 1. người sở hữu (ownerfiu) và 2. nhóm người sở hữu (groupfig) và 3. những người khác (otherfio). Mỗi lớp lại được lập các quyền khác nhau một cách riêng biệt như: đọc (rfiread), ghi (wfiwrite), thực hiện (xfiexecute) (chạy một tệp thực thi). Riêng thư mục thực hiện là tương đương với tìm tệp trên thư mục. · Thời điểm truy nhập tệp (access time), cho biết thời điểm tệp đã có sự thay đổi vào lần truy nhập cuối cùng và khi inode đã có thay đổi. · Số các liên kết (link) tới tệp. Tệp có thể có nhiều tên trong cấu trúc thư mục, đó là các link của tệp. · Bảng địa chỉ các block data đĩa cấp phát cho tệp. Mặc dù user xử lí tệp như một xâu các kí tự, thì kernel cất data của tệp trên các block đĩa không liên tục, nội dung các block đĩa khi đọc và sắp xếp lại chính là nội dung của tệp. · Độ dài của tệp. Data trong tệp được địa chỉ hoá bằng tổng số bytes, bắt đầu từ đầu tệp và khởi động bởi offset=0 (con trỏ tệp, ứng với byte đầu tiên) và độ dài của tệp là một số lớn hơn offset lớn nhất 1 đơn vị (offset max + 1). Ví dụ: owner john group os type regular file permission rwx r-x r-x accessed Oct 23 1999 1:45 P.M modified Oct 22 1999 10:30 A.M inode changed at Oct 23 1999 1:30 P.M size 6030 bytes disk addresses (danh sách địa chỉ các khối đĩafidisk blocks) Tất cả các thông tin trên là nội dung của inode, cho biết chi tiết về bản thân một tệp mà nhờ đó user truy nhập tới nội dung cỉa tệp. Khi nói tới ghi đĩa, cần phân biệt ghi nội dung của tệp lên đĩa và ghi nội dung của inode lên đĩa. Nội dung của inode thay đổi khi thay đổi nội dung của tệp hay khi thay đổi các thuộc tính như owner, permission, links. Thay đổi nội dung của tệp tự động dẫn đến thay đổi inode, nhưng thay đổi inode không dẫn tới thay đổi nội dung của tệp. Incore - inode là bản sao nội dung inode trên đĩa (disk inode) vào bộ nhớ và để tại Inode table trong bộ nhớ sau đó sẽ có thêm các trường sau đây: 24 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
25. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ · Trường trạng thái của inode in - core cho biết: - inode đã khoá (locked); - có một TT đang đợi inode trong khi inode bị khóa, chờ inode được giải khóa (unlocked); - bản in - core của inode có sự khác biệt với bản sao từ trên đĩa bởi có sự thay đổi thông tin tổ chức (data) trong inode; - bản in - core của inode có sự khác biệt với bản sao từ trên đĩa bởi có sự thay đổi nội dung (data) trong tệp; - tệp là một điểm ghép (mount point) của cấu trúc FS; Số thiết bị logic của FS chứa tệp. · Số của thiết bị logic mà tệp được lưu trên thiết bị đó; · Số của inode. Các inode đuợc cất trong một mảng tuyến tính trên đĩa, kernel nhận biết số của inode đĩa bằng vị trí của nó trong mảng. (Inode đĩa không cần có trường này). · Các con trỏ trỏ tới các in - core inode khác. Kernel liên kết các inode trên một hàng băm (hash queue) và trong một danh sách các inode chưa sử dụng (free list). Một hàng băm thì được nhận biết bởi số của thiết bị logic của inode và số của inode. Kernel có thể chứa nhiều nhất một bản sao in - core inode của một inode đĩa, trong khi đó các inode có thể đồng thời có mặt trong hash queue và trong free list. · Một số đếm qui chiếu (reference count) cho biết tệp mở bao nhiêu lần (actived), ví dụ khi các TT dùng hàm open() để mở cùng một tệp, mỗi lần mở số đếm này tăng lên 1 đơn vị. Một in – core inode có trong free list chỉ khi nào trường số đếm này có giá trị bằng 0 và inode đó là inactive và kernel sẽ cấp inode đó cho một disk inode khác (khi có TT open một tệp nào đó). Một inode bị khoá (locked) là để không cho các TT khác truy nhập tới inode đó. Các TT khác sẽ đặt một flag trong inode khi muốn truy nhập inode để thông báo rằng các TT đó sẽ được đánh thức khi inode được mở trở lại (unlock). Trong khi đó, kernel đặt các flag khác để chỉ ra sự khác nhau giữa disk inode và in - core inode. Khi kernel cần cập nhật mới disk inode từ inficore inode, kernel sẽ kiểm tra các cờ (flag) trạng thái này. Free list của các inode được sử dụng giống như là một cache của các inactive inode: Khi TT truy nhập một tệp mà inode của tệp chưa có trong nhóm in - core inode, kernel sẽ cấp cho nó một in - core inode từ free list để sử dụng. 2.2. Truy nhập các inodes Kernel nhận biết các inode qua FS và số của inode sau đó cấp cho inode đó một in - core inode và việc đó được thực hiện bởi thuật toán iget(). Thuật toán này về tư duy cũng giống như getblk() tìm một block đĩa trong buffer cache. Kernel sẽ ánh xạ số của thiết bị và số của inode vào hàng băm, và tìm một hàng có inode cần tìm. Nếu không thấy inode đó (chưa có), kernel cấp một in - core inode trong free list và khoá inode đó lại. Sau đó kernel chuẩn bị để đọc bản sao của disk inode vào in - core inode vừa cấp phát: kernel biết số của inode và số của thiết bị logic, kernel tính toán block logic đĩa có chứa disk inode, tính ra số của block đó, đọc vào buffer hệ thống, lấy inode và sao vào inficore inode trong inode table. Phép tính dựa vào công thức sau đây: block number = ((inode number –1) / numbrer of inode per block) 25 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
26. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ + start block of inode list. Trong phép chia này, chỉ lấy phần nguyên của thương số. Ví dụ: block số 2 là block đầu tiên của các block dành cho inode list (xem lại hình 2.3 chương 2); mỗi block có tất cả 8 inode; Hãy tìm block chứa inode số 8, inode số 9: Bl = ((8-1) / 8) + 2 = 2; block đĩa số 2 chứa inode số 8. Bl = ((9-1) / 8) + 2 = 3; block đĩa số 3 chứa inode số 9. Khi biết được số của thiết bị (đĩa cứng số: /phân hoạch số: ) và số của block đó trên đĩa cứng, kernel dùng chức năng bread() để đọc block và tìm tới offset của inode trong block bằng thuật toán: offset của inode = ((inode number-1) modulo (number of inodes per block)) * size of disk inode (modulo là lấy số dư của phép chia của hai số). Giả sử cấu trúc một disk inode có: 8 inodes, mỗi inode có độ dài 64 bytes. Tìm inode số 8 (byte offset bắt đầu của inode số 8): ((8-1) modulo (8)) * (64) = 448, inode số 8 bắt đầu ở byte số 448 của block đĩa inode. Quá trình tiếp theo là: - kernel cấp in-core inode (lấy ra từ free list), đặt in - core inode vào hàng băm; - đặt (khởi động) số đếm qui chiếu = 1 (có một TT mở tệp này); - copy toàn bộ các thông tin từ inode disk nói trên vào in-core inode; - khóa (lock) in - core inode lại. - trả lại cấu trúc (con trỏ) inode cho TT gọi. Kernel dùng chức năng iget() tìm một inode trong FS, với các đầu vào: input: số của inode trong FS ( inode number) output: là inode đặt trong Inode Table đã khóa lại chống tranh chấp Ở đây iget(), bread() là các chức năng (hàm) cơ sở của nhân HĐH. 2.3. Giải phóng một inode Khi một inode được giải phóng khỏi sự sử dụng của một TT (TT close tệp nó truy nhập), kernel giảm số đếm đi 1. Nếu số đếm trở thành 0 (không còn TT nào truy nhập tệp), kernel cập nhật (ghi) inode lên đĩa nếu bản in - core có sự khác biệt với disk inode (xem lại các tiêu chí về sự khác biệt trong phần trước). Kernel đặt inode vào free list của các inode, ẩn inode trong cache để có dùng ngay khi tái sử dụng. Kernel đồng thời giải phóng tất cả block đĩa đã dùng kết hợp cho tệp và nếu số link = 0, giải phóng luôn inode. Quá trình đó được mô tả bằng thuật toán iput(). Kernel dùng chức năng iput() /*giải phóng truy nhập cho một in - core inode*/ Input: con trỏ trỏ vào in - core inode trong bảng Inode Table; Output: Không có mã trả lại 26 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
27. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ 3. Cấu trúc của tệp thông thường (regular file hay ordinary file) Như đã nói, inode chứa bảng địa chỉ các block data để định vị data trên đĩa. Mỗi block đĩa được đánh dấu bằng một số, do vậy bảng bao gồm tập hợp các số của các block đĩa. Nếu data của tệp được ghi trên một vùng liên tục của đĩa (trình tự tuyến tính các block đĩa), thì lưu địa chỉ của block khởi đầu và độ dài của tệp trong inode là đủ để truy nhập tệp. Tuy nhiên chiến lược cấp phát như vậy sẽ không cho phép mở rộng và thu nhỏ các tệp trên một hệ thống tệp khi không thực hiện biện pháp phân đoạn các vùng nhớ trống trên đĩa. Hơn nữa kernel đã có thể phải cấp phát và dành riêng những vùng đĩa liên tục trước khi cho phép các thao tác tăng độ dài của tệp. Ví dụ: User tạo 3 tệp A, B, C mỗi tệp dùng 10 block đĩa và được cấp các block liên tục (xem hình dưới). Nếu user cần mở rộng tệp B thêm 5 block vào giữa tệp, thì kernel phải sao chép lại vào vùng đĩa khác với 15 block liên tục. Bên cạnh việc thực hiện một thao tác đắt giá như vậy thì 10 block trước đó chỉ có thể cấp cho các tệp mới nhỏ hơn 10 block. Kernel có thể tối thiểu hoá sự phân đoạn như vậy bằng chạy định kì các thủ tục “gắn” các không gian đĩa lại nhưng điều đó bòn rút nhiều sức mạnh xử lí của hệ thống. Để linh hoạt hơn, kernel phân phối một block mỗi lần cho tệp và cho phép data của tệp phân tán qua FS, tuy nhiên sơ đồ cấp phát như vậy sẽ là phức tạp nhiệm vụ định vị data. Bảng nội dung có thể bao gồm danh sách số các block chứa data thuộc tệp, thế nhưng bằng cách tính đơn giản chỉ ra rằng danh sách tuyến tính các block trong inode khó quản lí. Nếu 27 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
28. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ một block logic là 1 K bytes, thì tệp dài 10 K cần một chỉ số của 10 block, vậy nếu là 100 Kb thì số chỉ số sẽ là 100 số để đánh dấu block. ở đây ta thấy kích thước của inode do vậy sẽ thay đổi theo độ dài của tệp, hoặc sẽ có một giới hạn thấp sẽ áp đặt lên độ dài của tệp. Để giữ cho cấu trúc inode nhỏ mà vẫn cho phép tệp lớn, bảng các block đĩa thích hợp với cách trình bày trên hình dưới đây. Hệ UNIX System V làm việc với 13 đầu vào của bảng các block trong một inode, nhưng nguyên tắc là độc lập với tổng số các block: - Các đầu vào đánh dấu là “direct” cho số của block đĩa chứa data của tệp. - Đầu vào đánh dấu “single indirect” chỉ tới một block mà nội dung của nó là danh sách số các block trực tiếp chứa data của tệp. Để lấy data qua các block gián tiếp kernel phải đọc block gián tiếp, lấy ra số của block trực tiếp, sau đó đọc block trực tiếp đó. - Khối đánh dấu “double indirect” cho danh sách số của các block gián tiếp đôi: block gián tiếp à block gián tiếp - Khối “triple indirect” cho danh sách số của các block gián tiếp ba: block gián tiếp à block gián tiếp à block gián tiếp. Về nguyên lí có thể mở rộng tới gián tiếp bốn, gián tiếp năm v.v thế nhưng thực tế cấu trúc như trên là đủ. Giả định rằng một block logic là 1 K bytes và để thể hiện số nguyên của block cần 32 bit. Vậy 1 block có thể chứa được 256 số của các block. Nếu chỉ dùng cấu hình: 10 đầu vào trực tiếp, 1 đầu vào gián tiếp đơn, 1 đầu vào gián tiếp đôi và 1 đầu vào gián tiếp ba trong một inode, thì có thể tạo một tệp dài hơn 16 Gbyte: 10 đầu vào cho 10 block trực tiếp cho 10 Kbyte 1 đầu vào cho 1 block gián tiếp cho 256 x 1 K = 256 K 1 đầu vào cho 1 block gián tiếp đôi cho 256 x 256 x 1K = 64 M byte 1 đầu vào cho 1 block gián tiếp ba cho 256x256x256x1K= 16 Gbyte Nếu trường chứa độ dài tệp trong inode là 32 bit, thì kích thước hiệu dụng của tệp sẽ giới hạn tới 4 Gbyte (232). Các TT truy nhập data của tệp bởi byte offset (con trỏ tệp), làm việc trong khái niệm số đếm byte và nhìn tệp như một chuỗi các byte bắt đầu ở byte có địa chỉ bằng 0 và tiến tới cuối tệp. Kernel biến đổi cách nhìn byte của user thành cách nhìn vào block đĩa: tệp bắt đầu ở block logic 0 và tiếp tục tới block tương ứng với độ dài của tệp. Kernel truy nhập inode, biến đổi block logic vào block đĩa thích hợp. Thuật toán bmap() thực hiện biến đổi file offset thành block đĩa vật lí. LINUX: 28 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
29. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ EXT2 Inode Figure 9.2: EXT2 Inode In the EXT2 file system, the inode is the basic building block; every file and directory in the file system is described by one and only one inode. The EXT2 inodes for each Block Group are kept in the inode table together with a bitmap that allows the system to keep track of allocated and unallocated inodes. Figure 9.2 shows the format of an EXT2 inode, amongst other information, it contains the following fields: mode This holds two pieces of information; what this inode describes and the permissions that users have to it. For EXT2, an inode can describe one of file, directory, symbolic 29 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
30. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ link, block device, character device or FIFO. Owner Information The user and group identifiers of the owners of this file or directory. This allows the file system to correctly allow the right sort of accesses, Size The size of the file in bytes, Timestamps The time that the inode was created and the last time that it was modified, Datablocks Pointers to the blocks that contain the data that this inode is describing. The first twelve are pointers to the physical blocks containing the data described by this inode and the last three pointers contain more and more levels of indirection. For example, the double indirect blocks pointer points at a block of pointers to blocks of pointers to data blocks. This means that files less than or equal to twelve data blocks in length are more quickly accessed than larger files. You should note that EXT2 inodes can describe special device files. These are not real files but handles that programs can use to access devices. All of the device files in /dev are there to allow programs to access Linux's devices. For example the mount program takes as an argument the device file that it wishes to mount. The EXT2 Superblock The Superblock contains a description of the basic size and shape of this file system. The information within it allows the file system manager to use and maintain the file system. Usually only the Superblock in Block Group 0 is read when the file system is mounted but each Block Group contains a duplicate copy in case of file system corruption. Amongst other information it holds the: Magic Number This allows the mounting software to check that this is indeed the Superblock for an EXT2 file system. For the current version of EXT2 this is 0xEF53. Revision Level The major and minor revision levels allow the mounting code to determine whether or not this file system supports features that are only available in particular revisions of the file system. There are also feature compatibility fields which help the mounting code to determine which new features can safely be used on this file system, Mount Count and Maximum Mount Count Together these allow the system to determine if the file system should be fully checked. The mount count is incremented each time the file system is mounted and when it equals the maximum mount count the warning message ``maximal mount count reached, running e2fsck is recommended'' is displayed, Block Group Number The Block Group number that holds this copy of the Superblock, Block Size The size of the block for this file system in bytes, for example 1024 bytes, Blocks per Group The number of blocks in a group. Like the block size this is fixed when the file system is created, 30 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
31. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Free Blocks The number of free blocks in the file system, Free Inodes The number of free Inodes in the file system, First Inode This is the inode number of the first inode in the file system. The first inode in an EXT2 root file system would be the directory entry for the '/' directory. The EXT2 Group Descriptor Each Block Group has a data structure describing it. Like the Superblock, all the group descriptors for all of the Block Groups are duplicated in each Block Group in case of file system corruption. Each Group Descriptor contains the following information: Blocks Bitmap The block number of the block allocation bitmap for this Block Group. This is used during block allocation and deallocation, Inode Bitmap The block number of the inode allocation bitmap for this Block Group. This is used during inode allocation and deallocation, Inode Table The block number of the starting block for the inode table for this Block Group. Each inode is represented by the EXT2 inode data structure described below. Free blocks count, Free Inodes count, Used directory count The group descriptors are placed on after another and together they make the group descriptor table. Each Blocks Group contains the entire table of group descriptors after its copy of the Superblock. Only the first copy (in Block Group 0) is actually used by the EXT2 file system. The other copies are there, like the copies of the Superblock, in case the main copy is corrupted. EXT2 Directories 31 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
32. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Figure 9.3: EXT2 Directory In the EXT2 file system, directories are special files that are used to create and hold access paths to the files in the file system. Figure 9.3 shows the layout of a directory entry in memory. A directory file is a list of directory entries, each one containing the following information: inode The inode for this directory entry. This is an index into the array of inodes held in the Inode Table of the Block Group. In figure 9.3, the directory entry for the file called file has a reference to inode number i1, name length The length of this directory entry in bytes, name The name of this directory entry. The first two entries for every directory are always the standard ``.'' and `` '' entries meaning ``this directory'' and ``the parent directory'' respectively. Finding a File in an EXT2 File System A Linux filename has the same format as all Unix TM filenames have. It is a series of directory names separated by forward slashes (``/'') and ending in the file's name. One example filename would be /home/rusling/.cshrc where /home and /rusling are directory names and the file's name is .cshrc. Like all other Unix TM systems, Linux does not 32 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
33. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ care about the format of the filename itself; it can be any length and consist of any of the printable characters. To find the inode representing this file within an EXT2 file system the system must parse the filename a directory at a time until we get to the file itself. The first inode we need is the inode for the root of the file system and we find its number in the file system's superblock. To read an EXT2 inode we must look for it in the inode table of the appropriate Block Group. If, for example, the root inode number is 42, then we need the 42nd inode from the inode table of Block Group 0. The root inode is for an EXT2 directory, in other words the mode of the root inode describes it as a directory and it's data blocks contain EXT2 directory entries. home is just one of the many directory entries and this directory entry gives us the number of the inode describing the /home directory. We have to read this directory (by first reading its inode and then reading the directory entries from the data blocks described by its inode) to find the rusling entry which gives us the number of the inode describing the /home/rusling directory. Finally we read the directory entries pointed at by the inode describing the /home/rusling directory to find the inode number of the .cshrc file and from this we get the data blocks containing the information in the file. Kernel dùng chức năng bmap( )(Xem ở mã nguồn Linux) thực hiện biến đổi file offset thành block đĩa vật lí. input: (1) inode (2) byte offset output: (1) số của khối đĩa (block number in file system) (2) con trỏ trỏ vào khối đĩa (byte offset into block) (3) số byte cần thực hiện truy nhập trong jhôid đĩa (4) đọc trước khối đĩa cho lần đọc sau Ví dụ: biến đổi byte offset thành số của block đĩa. Hãy xét cách bố trí các block cho tệp ở hình sau: Giả định rằng một block đĩa có 1024 byte. Nếu một TT muốn tìm byte thứ 9000, kernel tính thấy byte này nằm ở block trực tiếp tại đầu vào số 8 (đếm từ đầu và đánh số từ 0) trong bảng địa chỉ các block của tệp ở đó có địa chỉ của block số 367. Với 9 block cho 1024x9=9216 byte, từ đó tính ra byte thứ 808 trong block này là byte 9000 của tệp (8 block trước đó cho 8x1024=8192 byte, 9000-8192=808). Nếu TT tìm byte thứ 350.000 trong tệp, kernel tính ra rằng phải đọc block gián tiếp đôi mà địa chỉ của block là 9156. Bởi vì 1 block gián tiếp cho 256 địa chỉ các block, vậy byte đầu tiên qua block gián tiếp đôi là byte 272.384 (256K + 10K); byte 350.000 là byte thứ 77.616 của block gián tiếp đôi. Vì mỗi một block gián tiếp đơn cho 256 K bytes, byte 350.000 phải ở block gián tiếp đơn thứ 0 của block gián tiếp đôI, ví dụ đó là block số 331 (đầu vào thứ 0 của block 9156). Block 331 cho 256 block trực tiếp mỗi block 1K, vậy byte số 77.616 của block trực tiếp sẽ trong block trực tiếp thứ 75 (giả định số của block này là 3333) của block gián tiếp đơn. Cuối cùng khi đọc block 3333, kernel tìm thấy byte thứ 816 là byte 350.000 của tệp. Xem xét hình một cách chi tiết hơn, có một vài đầu vào trong bảng địa chỉ các block là 0, có nghĩa rằng các đầu vào của các block logic này không chứa data. Điều này xảy ra khi không 33 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
34. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ có TT nào ghi data vào tệp ở bất kì vị trí nào tương ứng với các block đó, do vậy số của các block không đổi và là các giá trị ban đầu (initial). TT có thể tạo ra các block như vậy trong bảng bằng cách dùng GHT lseek() và write(). Sự biến đổi byte offset lớn, đặc biệt khi phải qui chiếu qua gián tiếp ba (triple) là một qui trình hết sức rắc rối đòi hỏi kernel phải truy nhập thêm ba block đĩa ngay cả khi các block đã có trong cache thì phép thực hiện vẫn rất đắt giá vì kernel sẽ phải yêu cầu buffer rất nhiều lần và sẽ phải đi ngủ do buffer bị khoá. Hiệu quả thực tiễn của thuật toán này phụ thuộc vào tần xuất truy nhập các tệp lớn hay nhỏ trên hệ thống. Hãy thử xét tới khả năng tăng độ lớn của 1 block đĩa (4 K, 8K hay 12 K/block), liệu có gì khả quan hơn cũng như hiệu suất sử dụng đĩa có tồi hơn ? Hiện tượng phân đoạn có tăng lên ? 34 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
35. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ 4. Tệp thư mục Thư mục là một tệp mà data của nó là trình tự các đầu vào mà mỗi đầu vào bao gồm một số của inode và tên của tệp chứa trong thư mục. Một đường dẫn là một xâu kí tự kết thúc trống (NULL), được phân chia ra thành các thành phần ngăn bởi kí tự “/”. Mỗi thành phần, trừ thành phần cuối cùng, phải là tên của một thư mục, và thành phần cuối cùng không phải là tệp thư mục. UNIX System V hạn chế tên của một thành phần chỉ tới 14 đến 256 kí tự và 2 bytes cho số của inode. Vậy ví dụ tên tệp là 14 kí tự, thì một đầu vào thư mục có 16 bytes, một tệp thư mục sẽ như sau: Byte Offset Inode number File name (2 bytes) 0 83 . (thư mục hiện tại) 16 2 (thư mục bố) 32 1789 init 48 1276 fsck . . . . . . . . . 224 0 crash 240 95 mkfs . . . Mỗi một thư mục chứa các tên tệp “.” (dot) và “ ” (dot-dot) với số của inode là inode của thư mục đó và thư mục bố (trên một mức). Inode số “.” tại offset 0 và trị số của nó là 83. Tương tự của inode “ ” có offset là vị trí thứ 16 và trị số là 2. Đầu vào của thư mục có thể “rỗng” và được biểu thị bởi số inode = 0. Ví dụ đầu vào 224 “rỗng” dù đã một lần chứa tệp có tên “crash”. Chương trình tạo hệ thống tệp khới động FS sao cho “.” và “ ” của thư mục root có số inode của FS. Kernel cất data của thư mục cũng giống như cho các tệp thường, sử dụng cấu trúc inode và các cách cấp trực tiếp, gián tiếp của các block. TT đọc tệp thư mục cùng cách thức như đọc tệp thường, nhưng kernel giành đặc quyền để ghi thư mục, do đó đảm bảo được sự chuẩn xác 35 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
36. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ của thư mục. Quyền truy nhập thư mục có ý nghĩa như sau: - quyền đọc (read) thư mục cho phép TT đọc thư mục; - quyền ghi (write) thư mục cho phép TT tạo các đầu vào mới hay xoá đầu vào cũ (creat, mknod, link, unlink); bằng cách đó thay đổi nội dung thư mục. - Quyền thực hiện (excute) cho phép TT thực hiện tìm kiếm tên tệp trong thư mục. 5. Biến đổi tư đường dẫn thành inode Truy nhập tệp khởi đầu bằng đường dẫn. Vì bên trong kernel làm việc với inode, chứ không bằng tên tệp qua đường dẫn, nên kernel phải chuyển đổi từ đường dẫn thành inode để truy nhập tới tệp. Thuật toán namei() làm phân tích mỗi thành phần trong đường dẫn một lần, biến đổi mỗi thành phần đó thành inode trên cơ sở tên của nó và thư mục đang tìm kiếm, cuối cùng trả lại inode. Nhắc lại trong chương trước là mỗi một TT được kết hợp với một thư mục hiện tại (mà TT thường trú ở đó). Miền bộ nhớ ufiarea chứa một con trỏ trỏ tới inode là thư mục hiện hành. Thư mục hiện hành của TT đầu tiên trong hệ thống, TT số 0, là thư mục root. Thư mục hiện hành của mỗi TT khác bắt đầu từ thư mục bố hiện hành vào lúc TT được tạo ra. TT thay đổi thư mục bằng thực hiện GHT chdir (đổi thư mục). Việc tìm đường dẫn xuất phát từ thư mục hiện hành của TT trừ phi có dấu “/”, cho biết việc tìm thư mục phải bắt đầu từ root. Trong các trường hợp khác kernel dễ dàng tìm ra inode mà ở đó việc tìm đường dẫn bắt đầu: thư mục hiện hành có trong ufiarea của TT, và inode của root có trong biến tổng thể. namei() /*convert path name to inode*/ input: đường dẫn (path name) ouput: inode đã tìm được (locked inode) Kernel thực hiện tìm tuyến tính một tệp thư mục, kết hợp với working inode (thư mục tạm thời), thử sự tương xứng của thành phần tên đường dẫn với một đầu vào của tệp thư mục (xem lại cấu trúc của tệp thư mục). Bắt đầu với byte offset = 0 trong thư mục, chuyển đổi offset này thành block đĩa tương ứng (bmap()) và đọc block đó (bread()). Kernel xử lí nội dung của block này như tuần tự các đầu vào của thư mục, tìm từng thành phần trong đường dẫn bằng cách so sánh các đầu vào, nếu tìm được, kernel lấy ra số của inode ứng với tên đường dẫn đó, giải phóng block (brelse()) và working inode cũ (iput()), cấp phát một inode của thành phần vừa tìm được (iget()), và inode mới này trở thành working inode. Nếu không có kết quả ở block này, kernel giải phóng block, điều chỉnh lại offset bằng số byte trong block (lấy byte offset tiếp theo), biến đổi offset mới thành số của block đĩa (bmap()), và đọc block đó. Kernel lặp lại chu trình này cho tới khi tìm ra inode tương ứng với thành phần (tệp) yêu cầu trong đường dẫn cho tới hết các đầu vào của thư mục. Ví dụ: Tìm tệp passwd trong thư mục /etc: “/etc/passwd”. Khi bắt đầu phân tích tên tệp, kernel gặp “/” và nhận đi lấy inode của root, inode này trở thành working inode. Kernel đi thu thập xâu “etc”: sau khi kiểm tra đúng inode này là của thư mục “/” và TT có đủ quyền hạn truy nhập, kernel tìm tệp có tên ”etc”: Kernel truy nhập data trong thư mục gốc (root) hết block này tới block khác, tìm từng đầu vào của từng block cho tới khi định vị được một đầu vào “etc”. Khi tìm được đầu vào này, kernel giải phóng inode root (iput()), lấy inode ứng với “etc” (iget()), sau khi biết đích xác “etc” là tệp thư mục, 36 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
37. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ kernel tìm trong các block của “etc” để đến tệp “passwd”, lấy từ đó inode ứng với “passwd”. 6. Cấp một inode cho một tệp mới tạo Kernel dùng iget() để định vị inode đã biết (với số của inode đã được xác định trước đó trong thuật toán namei()). Một thuật toán khác ialloc() gán một inode cho một tệp mới tạo. Hệ thống tệp có một danh sách tuyến tính các inode. Một inode là free nếu trường chứa kiểu tệp (type) là 0. Khi một TT cần inode mới, kernel có thể tìm trong danh sách inode một inode free, tuy nhiên cách làm này có thể rất đắt đòi hỏi ít nhất một thao tác đọc đĩa cho mỗi inode. Để cải thiện, super block chứa một mảng ẩn số lượng các inode free trong FS. Hãy theo dõi cho thuật toán ialloc(), tìm và cấp một inode mới: ialloc() /*allocate inode*/ input: FS output: inode mới (locked inode) Thuật toán giải phóng inode đơn giản hơn. ifree() /*inode free*/ input: FS inode number output: none 7. Cấp phát các block đĩa Khi một TT ghi data lên đĩa, kernel sẽ cấp các block cho nó theo cơ chế direct và indirect như đã nói. Super block có một mảng gồm nhiều block đĩa dùng để ẩn các số của các 37 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
38. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ block đĩa chưa dùng (free disk block) của FS. Tiện ích mkfs() tổ chức các khối dữ liệu (data block) của FS vào một danh sách liên kết, mà mỗi một liên kết của danh sách là một block đĩa, block này chứa một mảng số hiệu của các free disk block và một đầu vào của mảng cho số của block tiếp theo của danh sách liên kết. Hình sau là ví dụ về danh sách liên kết: block đầu tiên là danh sách block chưa dùng của super block (super block free list), với các đầu vào là số của các block sẽ dùng cho cấp phát, và 1 đầu vào có số của block liên kết tiếp theo (block 109, 211, 310, 409 ). Khi kernel muốn cấp phát một block, xem thuật toán alloc(), kernel sẽ lấy block trong danh sách các free block sẵn có của super block list, và một khi đã dùng block không thể tái cấp cho tới khi nó trở lại là free. Nếu block đã cấp là block cuối cùng có trong mảng cache, kernel sẽ xử lí block đó như là con trỏ (109) trỏ vào block (109) chứa danh sách các free block khác. Kernel đọc block đó, nhập vào mảng Super block với danh sách mới số của các block chưa cấp, sau đó tiếp tục sử dụng số của block gốc, cấp buffer cho block, xoá data của block (điền zero vào). Block đĩa lúc này đã cấp phát cho tệp, kernel cũng đã có buffer để làm việc. Chương trình sẽ thông báo lỗi nếu FS không còn có free block. alloc() /*FS block allocation*/ input: FS (number) outout: buffer for new block Nếu TT ghi một khối lượng data lớn, TT sẽ lặp lại yêu cầu xin cấp block, trong khi kernel chỉ thực hiện cấp mỗi lần một block. Chương trình mkfs() sẽ tổ chức danh sách liên kết của các block sao cho gần với nhau, để giảm đi thời gian tìm kiếm trên đĩa khi TT đọc tệp tuần tự. Hình dưới mô tả số hiệu của các block với số cách quãng (interlive code = 3) đều đặn dựa trên cơ sở tốc độ quay của đĩa. Điều lưu ý là thứ tự sắp xếp nói trên sẽ không còn khi tần xuất sử dụng block đĩa cao (cấp phát/ giải phóng) và quá trình cập nhật lại danh sách có tính ngẫu nhiên và kernel không thực hiện sắp xếp lại thứ tự gốc. Thuật toán giải phóng block free(), ngược lại với cấp phát block. Nếu super block list không đầy, số của block vừa được giải phóng sẽ đặt vào danh sách đó. Nhưng nếu không còn chỗ (đã đầy) thì block vừa được giải phóng sẽ thành block liên kết; kernel ghi super block list vào block đĩa đó và ghi nội dung của block này lên đĩa, sau đó đặt số của block mới giải phóng vào super block list. Số của block này chỉ là thành viên của danh sách. Thuật toán gán/giải phóng inode tệp và block đĩa là tương tự ở chỗ kernel dùng super block như là một cache của các chỉ số cho nguồn tài nguyên chưa dùng (free), số của các block, số của các inode. Kernel duy trì danh sách liên kết của số hiệu các block sao cho mỗi số chưa dùng hiện diện trong một thành phần của danh sách. Điều này không có đối với free inode. Sở dĩ có sự khác nhau do các nguyên nhân dưới đây: 1. Kernel có thể biết inode là free bằng cách tham khảo trường Type, nếu = 0 thì inode free, nhưng đối với block đĩa thì không có cơ chế gì để nhận biết tương tự. Do vậy kernel cần có phương pháp khác để biết block là free, và đó là linked listfidanh sách liên kết. 2. Các block đĩa bản thân đã là dùng danh sách liên kết: một block đĩa có thể chứa một danh sách lớn số hiệu của các block chưa cấp phát. Với cấu trúc dữ liệu lớn cho mỗi inode, không thể thực hiện như cho block đĩa. 3. Việc khai thác block đĩa (đọc/ ghi nội dung tệp) là thường xuyên hơn khai thác inode (tạo, mở, ghi tệp), điều đó có nghĩa truy nhập block đĩa gay cấn hơn tìm inode. 38 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
39. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ 8. Các kiểu tệp khác Unix hỗ trợ hai loại tệp khác là: pipe và các tệp đặc biệt (special files). Pipe còn gọi là fifo (first-in-first-out), khác với tệp thường ở chỗ dữ liệu của tệp là có tính chuyển tiếp ngay: một khi data đã đọc từ pipe thì không thể đọc lại lần nữa, đồng thời data đọc theo thứ tự mà data đã được ghi vào hệ thống không cho phép làm chệch thứ tự đó. Kernel cất data cũng cùng một cách thức như tệp thường chỉ khác là chỉ dùng các block đĩa kiểu cấp trực tiếp. Special file là các tệp kiểu khối, kiểu kí tự, các tệp loại này xác định các thiết bị. Vì vậy inode của tệp đặc biệt không qui chiếu tới dữ liệu, mà chứa hai số qui chiếu tới thiết bị gọi là major number và minor number. major number cho kiểu thiết bị (ví dụ:terminal, disk ); minor number cho biết số đơn vị của thiết bị đó. Xem ví dụ phần trước về đĩa cứng. 9. Tóm tắt và bài tập Tóm tắt · Inode là một cấu trúc dữ liệu mô tả thuộc tính của tệp kể cả hình thức tổ chức dữ liệu của tệp trên đĩa. Có hai phiên bản của inode: bản disk inode lưu các thông tin của tệp khi tệp không đưa vào sử dụng; và phiên bản in-core inode cập nhật liên tục mọi sự thay đổi của tệp khi tệp đang được sử dụng. Các thuật toán sau thao tác inode: · ialloc(), ifree(), kiểm soát việc cấp inode cho tệp khi thực hiện GHT creat(), mknod(), pipe(), unlink(); · iget(), iput() kiểm soát cấp in - core inode khi TT truy nhập tệp; · bmap() định vị disk block cho tệp theo offset tệp đầu vào; · Thư mục là loại tệp cho sự tương quan giữa các thành phần tên (pathname) với inode của tệp. · Thuật toán namei() biến đổi pathname thao tác bởi TT thành inode mà kernel sẽ dùng bên trong các quá trình. · alloc() và free() kernel dùng để kiểm soát cấp và giải phóng block đĩa cho tệp. · Các cấu trúc dữ kiệu hệ thống đã xét gồm: - linked list danh sách liên kết quản lí disk block, - hash queue (hàng băm) dùng trong tổ chức buffer cache, - linear array các mảng tổ chức các danh sách số block đĩa và - các thuật toán khác hỗ trợ làm đơn giản các thao tác data hệ thống. Tính phức tạp sẽ gia tăng bởi sự tương tác giữa các thuật toán và mã chương trình cũng đã cho thấy có những vấn đề về thời gian. Các thuật toán ở đây chưa được trau chuốt tỉ mỉ mà chỉ để minh họa cho đơn giản việc thiết kế hệ thống. Các thuật toán mô tả là của bên trong hệ thống và dành cho kernel thực hiện và là ẩn đối với 39 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
40. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ user. Qui chiếu vào hình mô tả nhân hệ thống, các thuật toán chương này nằm ở nửa phần dưới của khối FS. Chương tiếp theo sẽ trình bày các GHT, cung cấp giao diện cho người dùng (lập trình hệ thống ứng dụng) ghép nối với FS. Các GHT này sẽ kích hoạt các thuật toán bên trong vừa mô tả. Bài tập 1. Trong ngôn ngữ qui ước chỉ số của mảng bắt đầu từ 0, tại sao số của inode lại bắt đầu từ 1? 2. Trong iget(), TT đi ngủ khi thấy inode đã khoá (locked), khi được đánh thức, thì TT phải bắt đầu lại vòng lặp từ đầu? 3. Mô tả thuật toán cập nhật một disk inode với đầu vào là in - core inode. 4. Thuật toán iget() và iput() không đòi hỏi phải nâng mức ưu tiên của xử lí để ngăn chặn ngắt, tại sao như vậy? 5. Unix System V cho phép độ dài tối đa cho một thành phần của pathname là 14 kí tự. Namei() sẽ cắt đi các kí tự dài hơn trong thành phần của pathname. Phải thiết kế lại FS và thuật toán namei() như thế nào để cho phép có thể có độ dài tên tùy ý? 6. (*) Hãy xem namei(), trong quá trình tìm, kernel kiểm tra thấy working inode hiện tại là một thư mục. Có thể cho một TT khác hủy bỏ (remove) thư mục đó (bằng lệnh unlink) ? Làm gì để kernel ngăn chặn được điều đó? 7. (*) Hãy thiết kế cấu trúc thư mục để có thể cải thiện hiệu quả tìm tên bằng cách không dùng phương pháp tuyến tính. Hãy nghiên cứu tới hai kĩ thuật: hash và n - aray tree. 8. (*) Thiết kế sơ đồ để giảm bớt số lần phải tìm thư mục bằng cách ẩn các tên đã thường xuên dùng đến. 9. Super block là một block đĩa và bên cạnh danh sách free block list còn có các thông tin khác, cho nên danh sách này không thể chứa được nhiều số của các block như trong block đĩa của danh sách liên kết của các block chưa dùng (free). Số lượng tối ưu của số các block là bao nhiêu có thể chứa trong block trên danh sách liên kết? 10. (*) Hãy thảo luận các dùng ánh xạ bit (bit map) để kiểm soát các free disk block thay cho cách dùng linked list của các block. Ưu và nhược điểm của phương pháp đó? B. Gọi Hệ Thống thao tác tệp (System call for FS) (Xem lại mô tả của GHT ở phần đầu tài liệu) Chương trước đã mô tả cấu trúc dữ liệu bên trong cho hệ thống tệp (FS) và các thuật toán thao tác các cấu trúc đó. Chương này bàn đến các hàm hệ thống được gọi để truy nhập tệp. Điển hình cho các GHT thuộc loại này có: · truy nhập tệp đã tồn tại trong FS: open(), read(), write(), lseek(), close(); · tạo tệp mới: creat(), mknod(); · thao tác các inode: chdir, chroot(), chown(), stat(), fstat(); · GHT loại nâng cao: pipe(), dup(); 40 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
41. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ · mở rộng FS nhìn thấy được cho user: mount(), umount(); · thay đổi cấu trúc cây FS: link(), ulink(); Chương sẽ trình bày các tổng quan hệ thống khác như: quản trị, bảo trì FS, đồng thời giới thiệu ba cấu trúc dữ liệu cơ bản của kernel dùng trong quản lí tệp: · File table (bảng các tệp) với mỗi đầu vào trong bảng cấp cho một tệp mở trong FS; · User file descriptor (fd) table: bảng mô tả các tệp mở của mỗi TT của mỗi user, với mỗi đầu vào trong bảng fd, dành cho một tệp; · Mount table: bảng “ghép” một FS khác vào cấu trúc FS gốc, mở rộng FS gốc. Hình trên cho thấy mối quan hệ giữa các GHT và các thuật toán đã nói trong chương trước. GHT có thể phân ra làm nhiều hạng cho dù có một số GHT cùng xuất hiện nhiều hơn là trong một hạng: · GHT trả lại fd để dùng trong GHT khác; · GHT dùng namei() dể phân tích path name; · GHT gán và giải phóng inode dùng ialloc() và ifree(); · GHT đặt và đổi thuộc tính của tệp; · GHT thực hiện các I/O cho một TT hay từ một TT, dùng alloc() và free() các thuật toán cấp buffer; · GHT thay đổi cấc trúc của FS; · GHT cho phép một TT thay đổi cách nhìn cây FS. 1. open GHT open() là bước đầu tiên một TT thực hiện khi muốn truy nhập tệp. Cú pháp như sau: fd = open(pathname, flags, modes) Các đối trong đó là: patname là đường dẫn tên tệp; 41 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
42. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ flags kiểu mở tệp, ví dụ mở đọc, mở ghi; modes là quyền truy nhập tệp; Hàm trả lại: fd là giá trị nguyên, còn gọi là mô tả tệp của user (user file descriptor). Các thao tác trên tệp như đọc, ghi, tìm, sao chép, đặt các thông số I/O, xác định trạng thái và đóng tệp đều sử dụng fd trả lại bởi open(). Thuật toán open() như sau: open() /*open file*/ input: đường dẫn/tên tệp, kiểu thao tác tệp (R/W),quyền truy nhập output: con trỏ mô tả tệp (file descriptor) Các cấu trúc dữ liệu hệ thống gồm: File table, là cấu trúc tổng thể của kernel, dùng để quản lí các thao tác trên một tệp mở bởi open(), Inode Table: nơi để các thông tin của inde trong bộ nhớ (in - core inode). File descriptor table là của riêng từng tiến trình. GHT namei() dùng để tìm file (inode, in - core inode) với các thông số của đầu vào, kernel kiểm tra quyền truy nhập tệp sau khi xác định in - core inode của tệp, cấp một đầu vào trong File Table cho tệp, đầu vào này chứa con trỏ trỏ vào in - core inode của tệp. Kernel còn khởi động một trường khác để chứa con trỏ tệp (byte offset) để đọc hay ghi tệp với giá trị ban đầu bằng 0, điều đó có nghĩa bắt đầu từ đầu tệp. Số đếm qui chiếu tệp (reference count) đặt = 1 (một TT truy nhập tệp).Nừu chế độ truy nhập là ghi-thêm vào tệp (write - append), offset đặt bằng độ dài tệp đã có. Kernel cấp một đầu vào trong user file descriptor table trong u area của TT, ghi nhận lại chỉ số đầu vào đó và chỉ số đó là file descriptor fd trả lại cho user. Nội dung tại chỉ số này là con trỏ trỏ vào File Table. 42 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
43. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ Giả sử TT thực hiện mã sau đây: mở tệp “/etc/passwd” hai lần, một chỉ đọc (read - only) và lần kia chỉ ghi (write - only) và tệp “local” một lần cho đọc-ghi. fd1 = open (“etc/passwd”, OfiRDONLY); fd2 = open (“local”, OfiRDWR); fd3 = open (“etc/passwd”, OfiWRONLY); Hình chỉ mối quan hệ giữa các bảng nói trên. Mỗi một open() trả lại một fd cho TT gọi và đầu vào tương ứng fd trong user file descriptor (ufd) trỏ tới đầu vào duy nhất trong File table. Ngay cả khi một file gọi nhiều lần thì đều có các fd tương ứng trong ufd với mỗi lần gọi và các đầu vào tương ứng với mỗi fd trong file table. Các đầu vào khác nhau đó tuy nhiên đều trỏ tới một in - core inode trong bảng. Refrence count của in - core inode sẽ cho biết có bao nhiêu sự mở đồng thời. Ví dụ fd1 và fd3 cùng truy nhập tệp “/etc/passwd”, số đếm này = 2. TT có thể đọc hay ghi tệp nhưng việc đó là phân biệt theo các fd khác nhau: fd1: mở tệp chỉ đọc, fd2: đọc/ghi tệp, fd3: mở tệp chỉ để ghi. Kernel ghi nhận khả năng đọc hay ghi tệp của TT trong mỗi đầu vào ở file table vào lúc gọi open(). Giả sử có TT thứ hai thực hiện mã sau: fd1 = open (“etc/passwd”, OfiRDONLY); fd2 = open (“private”, OfiRDONLY); Ta có hình dưới phản ánh tình huống này, lúc này tệp “etc/passwd” lại mở một lần nữa bởi TT thứ hai (B), số đếm qui chiếu của tệp này tăng thêm 1 và tổng số có 3 lần cùng lúc mở tệp. Tóm lại cứ mỗi một open sẽ được cấp một đầu vào duy nhất trong ufd và một đầu vào duy nhất trong file table, và với một tệp dù mở bao nhiêu lần thì cũng chỉ có nhiều nhất một đầu vào trong in - core inode table. Có thể hình dung rằng đầu vào của bảng user file descriptor (ufd) có thể chứa con trỏ tệp để định vị đọc/ ghi tiếp theo và con trỏ trỏ trực tiếp tới in - core inode của tệp và loại trừ sự cần thiết của file table. Nhưng các ví dụ trên cho thấy mối quan hệ một - một giữa các đầu vào của ufd và file table, Thompsons cho biết rằng sử dụng file table riêng như trên cho phép 43 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
44. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ chia sẻ con trỏ tệp giữa nhiều ufd: file offset độc lập cho mỗi fd, trong khi file mở chung cho nhiều TT. Các hàm dup() và fork() thao tác các cấu trúc dữ liệu để cho phép chia sẻ con trỏ tệp này. Ba con trỏ tệp đầu tiên trong ufd fd0, fd1, fd2 là các con trỏ chuẩn, trong đó: - fd0 cho tệp standard input (thường là thiết bị bàn phím, terminal) để đọc đầu vào; - fd1 cho tệp standard output (thường là thiết bị màn hình) để ghi đầu ra; - fd2 cho tệp standard error, đầu ra ghi thông báo lỗi là các thông điệp. Hệ thống không nói gì rằng đó là các mô tả kiểu tệp đặc biệt, user có thể chọn fd 4, 5, 6 và 11 cho các tệp đặc biệt, nhưng tôn trọng qui ước của C tính từ 0 vẫn là tự nhiên hơn và thích ứng với qui ước này sẽ dễ dàng để giao tiếp với pipe. 2. read Cú pháp: number = read (fd, buffer, count) fd là mô tả tệp trả lại từ open(), buffer là địa chỉ của cấu trúc dữ liệu của TT user, nơI sẽ chứa data khi lời GHT hoàn tất, 44 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
45. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ count là tổng số byte user muốn đọc từ tệp, number là số byte thực sự đã đọc. Read() input: fd (trả lại từ open()), địa chỉ của bộ đệm dữ liệu, số byte cần đọc output: số byte đọc được · Kernel lấy từ fd con trỏ trỏ tới đầu vào tương ứng trong file table. · Kernel chuẩn bị các thông số I/O: - mode: đọc hoặc ghi đĩa; - count: đếm số byte để đọc hoặc ghi; - offset: con trỏ định vị tệp để I/O biết bắt đầu từ đâu; - address: địa chỉ đích để copy data trong bộ nhớ của kernel hoặc của user; - flag: cho biết địa chỉ là ở miền user hay kernel; Sau khi đã có các thông số nói trên, kernel theo con trỏ trong file table để truy nhập in - core inode, khóa inode lại trước khi đọc tệp. Nhân HĐH,đọc tệp cho tới khi thỏa mãn, biến các giá trị của byte offset thành số của block cần đọc như thuật toán bmap() đã nói. Sau khi đọc block vào buffer, kernel copy data vào địa chỉ của TT user, cập nhật các thông số I/O mới ở u area theo số byte đọc, tăng byte offset và tăng địa chỉ của TT user cho lần đọc tiếp theo, giảm số đếm byte để phù hợp với yêu cầu của TT user Nếu chưa thoả mãn đọc tệp, chu trình lặp lại các bước. Chu trình kết thúc khi thoả mãn đọc tệp, hoặc không còn data để đọc hay nếu có lỗi trong quá trình thực hiện. Ví dụ một chương trình đọc tệp: #include main () { int fd; char lilbuff[20], bigbu[1024]; fd = open(“/etc/passwd”, OfiRDONLY); read(fd, lilbuff,20); read(fd, bigbuf, 1024); read(fd, lilbuf, 20); } open() trả lại mô tả tệp gán cho biến fd và dùng để đọc liên tục sau đó. Trong read(), kernel kiểm tra các thông số của fd và rằng TT trước đó đã mở tệp để đọc. Các giá trị lilbuf, 20, 0 nhớ lại trong ufi area của TT là địa chỉ tương ứng với user buffer, số đếm byte phải đọc, byte offset bắt đầu của tệp. Kernel tính ra là byte offset 0 ở block 0 của tệp và tìm thấy số của block thứ 0 trong inode. Kernel đọc block từ đĩa với 1024 byte vào buffer hệ thống và copy chỉ 20 byte vào vùng của user lilbuf, giảm số đếm (count) byte phảI đọc = 0, việc đọc đã thỏa mãn, trả lại số byte đã đọc là 20. Kernel lập file offset trong file table tới giá trị 20 để chuẩn bị cho lần đọc tiếp theo Khi TT gọi read(), kernel khoá inode trong suốt thời gian thực hiện read. TT có thể sẽ đi ngủ đợi buffer có data hay móc nối các indirect block của inode, và nếu trong khi đó có TT khác 45 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
46. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ được phép thay đổi data của tệp, thì read() sẽ cho một kết quả data không nhất quán. Chính vì vậy mà TT phải khoá inode để tránh sự thay đổi nội dung của tệp do TT khác cùng truy nhập lúc TT ngủ, đợi kết quả đọc tệp. Kernel có thể chen ngang (preempt) một TT đang đọc giữa các lần GHT trong user mode và cho một TT khác chạy. Bởi vì inode được giải khoá vào đoạn cuối GHT, sẽ không có gì ngăn cản các TT khác truy nhập và biến đổi nội dung tệp. Cũng sẽ không công bằng khi TT cứ khoá inode từ lúc mở cho tới lúc đóng tệp, vì như vậy sẽ ngăn cản các TT khác truy nhập tệp. Để loại trừ vấn đề này kernel giải khoá inode vào cuối mỗi GHT dùng tệp. Nếu một TT khác thay đổi tệp giữa hai lần GHT read() của TT đầu, thì TT này có thể sẽ đọc được data không như nó chờ đợi, nhưng cấu trúc data của kernel vẫn nhất quán. Xem ví dụ sau đây, là mã trình mà kernel thực hiện 2 TT đồng thời. #include /*process A*/ main() { int fd; char buf[512]; fd = open(“/etc/passwd”, OfiRDONLY); read(fd, buf, sizeof(buf)); /*read1*/ read(fd, buf, sizeof(buf)); /*read2*/ } /*process B*/ main() { int fd, I; char buf[512]; for (I = 0; I < sizeof(buf); I++) buf[I] = “a”; fd = open(“/etc/passwd”, OfiWRDONLY); write(fd, buf, sizeof(buf)); /*write1*/ write(fd, buf, sizeof(buf)); /*write2*/ } Ví dụ các TT đọc và TT ghi tệp được thực hiện đồng thời trên cùng một tệp “/etc/paswd“. Hai TT đều truy nhập cùng một tệp chỉ khác nhau ở đích khai thác: A đọc, B ghi tệp. Giả sử cả 2 TT đều hoàn thành GHT open() trước khi một trong 2 TT bắt đầu đọc hay ghi. Kernel có thể thực hiện bất kì GHT read() và write() theo 6 trình tự: read1, read2, write1, write2 hoặc read1, write1, read2, write2 hoặc read1, write1, write2, read2 hoặc v.v. Data TT A đọc phụ thuộc vào trình tự mà hệ thống thực hiện GHT của hai TT; hệ thống không đảm bảo rằng data 46 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
47. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ trong tệp là như cũ sau khi đã mở tệp. Nừu dùng cơ chế file và record locking (xem tiếp 5.4) thì sẽ cho phép TT đảm bảo được sự nhất quán của tệp trong khi TT đã mở tệp. Cuối cùng ta hãy xem ví dụ một TT có thể mở một tệp nhiều lần và truy nhập qua các mô tả tệp khác nhau. Kernel thao tác các trỏ tệp offset kết hợp với mỗi fd trong file table một cách độc lập ({fd1, file offsetfi1}, {fd2, file offsetfi2}), do đó các mảng buf1 và buf2 là đồng nhất khi TT kết thúc. Giả sử không có TT nào thực hiện ghi vào tệp cùng thời điểm đó. #include main() { int fd1, fd2; char buf1[512], buf2[512]; fd1 = open(“/etc/passwd”, OfiRDONLY); fd2 = open(“/etc/passwd”, OfiRDONLY); read(fd1, buf1, sizeof(buf1)); read(fd2, buf1, sizeof(buf2)); } 3. write number = write(fd, buffer, count) Các đối có ý nghĩa như trong open(). Thuật toán write() thao tác tệp bình thường (regular file) là tương tự như thuật toán đọc read(). Tuy nhiên nếu tệp không chứa block tương ứng với byte offset để ghi, kernel cấp block mới bởi alloc() và gán số của block vào vị trí chuẩn xác trong bảng địa chỉ của inode. Nếu byte offset ứng với block gián tiếp, kernel sẽ cấp một vài block để dùng theo cơ chế gián tiếp, gồm các block cho chỉ số và các block data cho tệp. Inode sẽ bị khoá trong suốt thời gian thực hiện write() bởi vì kernel có thể thay đổi inode khi cấp những block mới (cập nhật bảng địa chỉ block của inode). Việc cho phép các TT khác truy nhập tệp có thể làm hỏng inode nếu một vài TT xin cấp block đồng thời cho cùng một byte offset. Khi ghi tệp hoàn thành, kernel cập nhật trường độ dài tệp với giá trị thực tế. Ví dụ, một TT thực hiện ghi tiếp byte số 10.240 vào tệp. Khi truy nhập byte này trong bmap(), kernel xác định thấy: - tệp chưa có block để chứa byte nói trên; - 10 đầu vào đầu tiên cho độ dài 10x1024=10240 byte với offset bắt đầu từ 0, nên byte 10240 phải cần tiếp một cấp phát gian tiếp, indirect. Kernel cấp một block để làm indirect block, và ghi số của block này vfo inode. Sau đó cấp block cho data của tệp và ghi số của block này vào vị trí đầu tiên của indirect block. Kernel thực hiện vòng lặp bên trong, giống như read(), mỗi vòng lặp ghi một block đĩa về nguyên tắc, song kernel sẽ xác định ghi toàn bộ block hay ghi một phần của block. Nếu chỉ ghi một phần thì kernel đọc block đĩa, bảo toàn phần có trước và ghi tiếp vào phần còn lại của block. Nếu ghi toàn bộ block, kernel không cần phải đọc block vì sẽ ghi đè lên nội dung cũ của block. Kernel sử dụng cơ chế trì hoãn ghi (delayed write sẽ đề cập ở 5.12) để ghi tệp nhằm giảm bớt các thao tác I/O đĩa. 47 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
48. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ 4. Khóa tệp và bản ghi Unix nguyên bản do Thompson và Ritchie phát triển không có cơ chế tệp loại trừ khi truy nhập. Để giải quyết các nhu cầu với các ứng dụng thương mại có liên quan tới cơ sở dữ liệu (database) System V ngày nay có cơ chế khoá tệp (file locking) và các bản ghi (record locking). File locking là khả năng ngăn cản một TT khác đọc, ghi bất cứ phần nào của toàn bộ tệp. Record locking là khả năng ngăn cản một TT khác đọc, ghi các bản ghi riêng phần (các phần của tệp nằm giữa các byte offset) Bài tập 5.9 sẽ cho ví dụ cách triển khai cơ chế này. 5. Điều chỉnh vị trí của I/O tệp Các GHT read() và write() cho cách truy nhập tệp theo tuần tự. Để TT có khả năng định vị I/O và truy nhập tệp theo kiểu ngẫu nhiên, hệ thống cung cấp GHT lseek() với syntax như sau: position = lseek(fd, offset, reference, position); fd: mô tả tệp; offset: byte offset reference: cho biết offset được tính so với đầu tệp, hay vị trí đọc/ ghi hiện tại hay cuối tệp: = 0 tìm từ đầu tệp, = 1 chiều tiến tới cuối tệp từ vị trí hiện tại, = 2 tính từ cuối tệp. position: vị trí sẽ đọc/ ghi tiếp theo bắt đầu từ byte offset này. #include main (argc,argv) int argc; char *argv[]; { int fd, skval; char c; if (argc != 2) exit(); fd = open(argv[1], OfiPDONLY); if(fd == -1) exit(); while((skval = read(fd, &c,1)) == 1) { prinf(“char %c\n”,c); skval = lseek(fd, 1023L,1); prinf(“new seek val %d\n”, skval); } } Ví dụ dùng lseek(). TT mở và đọc 1 byte của tệp, sau đó gọi lseek() để tiến tới byte 1023 của tệp với reference = 48 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội
49. Đại học Dân Lập Thăng Long KIẾN TRÚC UNIX/LINUX ___ 1, so với byte hiện tại. Như vậy cứ mỗi vòng lặp, TT sẽ đọc byte thứ 1024 của tệp. Nếu reference = 0, TT sẽ tính offset so với đầu tệp, nếu reference = 2 thì tính offset từ cuối tệp. Chú ý là lseek() thực hiện điều chỉnh con trỏ tệp (giá trị này trong file table) trong tệp chứ hoàn toàn không điều khiển gi cơ cấu định vị đầu từ của đĩa. 6. Close Một TT thực hiện đóng một thao tác mở tệp khi TT không còn cần truy cập tệp nữa. Cú pháp như sau: close(fd); fd: mô tả tệp khi thực hiện open(). Kernel thực hiện close() để thao tác các dữ liệu trong user file descriptor fd, các dữ liệu tương ứng của file table và in - core inode. - Nếu số đếm qui chiếu count trong file table lớn hơn 1 (do có phát sinh GHT dup(), hay fork() hay có các fds cùng qui chiếu và tệp) thì kernel sẽ giảm giá trị đó đi 1. - Nếu giá trị đó = 1, kernel sẽ giải phóng đầu vào này (count –1 = 0), kernel giảm số đếm qui chiếu của inode đó đi 1, đồng thời giải phóng luôn in - core inode cấp khi thực hiện open() nếu số đếm qui chiếu của nó = 0 và hoàn tất close(). Như vậy khi kết thúc close() đầu vào trong ufd sẽ được dùng để cấp cho lần open() mới. Khi TT thực hiện một GHT exit() kernel các fds đang hoạt động và cũng thực hiện close() tất cả các tệp lại vì rằng một TT không thể duy trì mở tệp khi TT đã kết thúc. Hình là kết quả khi TT B trong ví dụ trước, thực hiện đóng các tệp nó đã mở trước đó. Lúc 49 ___ Huỳnh Thúc Cước, Viện CNTT, VKHCN VN, Hà nội