File descriptor

Trong hệ điều hành máy tính Unix và kiểu Unix, file descriptor (tạm dịch: mô tả tập tin), thường được viết tắt là fd hay fildes, là định danh (handler) độc nhất cho tập tin hoặc tài nguyên đầu vào/đầu ra khác, chẳng hạn như pipe hoặc socket mạng.

File descriptor thường có giá trị nguyên không âm, còn giá trị âm thì được dành để biểu thị trạng thái "không có giá trị" hoặc tình trạng bị lỗi.

File descriptor là một phần của POSIX API. Mỗi tiến trình Unix (ngoại trừ daemon) phải có 3 file descriptor POSIX tiêu chuẩn, tương ứng với 3 luồng tiêu chuẩn:

== Tổng quan ==
Trong bản thực hiện truyền thống của Unix, file descriptor lập chỉ mục vào trong bảng file descriptor dành riêng cho mỗi tiến trình, kernel có vai trò bảo quản bảng này, kế đến lập chỉ mục vào trong một bảng liệt kê các file đang được mở từ tất cả tiến trình, bảng đó gọi là bảng file và dùng chung cho toàn hệ thống. Bảng này ghi lại "chế độ" mà file (hoặc tài nguyên khác) được mở lên: để đọc, để ghi, để phụ chú, và có thể là chế độ nào đó khác. Nó cũng lập chỉ mục vào một bảng thứ ba được gọi là bảng inode mô tả tập tin thực tế nằm bên dưới. Để thi hành lên đầu vào hoặc đầu ra thì tiến trình sẽ truyền file descriptor vào kernel thông qua lệnh gọi hệ thống và kernel sẽ truy cập file giùm cho quá trình. Tiến trình không có cách nào truy cập trực tiếp vào file hoặc bảng inode.

Trên Linux, tập hợp các file descriptor được mở trong tiến trình thì có thể được truy cập theo đường dẫn codice_1, trong đó PID là định danh tiến trình. File descriptor codice_2 là codice_3, codice_4 là codice_5 và codice_6 là codice_7. Tiến trình đang chạy còn có thể truy cập các file descriptor của chính mình thông qua các thư mục lối tắt là codice_8 và codice_9 thay vì dùng đường dẫn cụ thể như thế kia.

Trong các hệ thống kiểu Unix, file descriptor có thể tham chiếu đến bất kỳ kiểu file Unix nào có mang tên trong hệ thống file. Không chỉ các file thông thường mà còn bao gồm cả thư mục, thiết bị khối và thiết bị kí tự (còn được gọi là "file đặc biệt"), Unix domain socket và named pipe. File descriptor cũng có thể tham chiếu đến những đối tượng khác mà bình thường không tồn tại trong hệ thống file, chẳng hạn như anonymous pipe và socket mạng.

Cấu trúc dữ liệu FILE trong thư viện I/O tiêu chuẩn C thường bao gồm file descriptor cấp thấp cho các loại đối tượng như trên trong các hệ thống kiểu Unix. Cấu trúc dữ liệu có tính tổng thể đấy mang lại thêm sự trừu tượng và nó được gọi với cái tên khác là "file handle".

== Các thao tác trên file descriptor ==
Dưới đây liệt kê các thao tác (hàm) điển hình lên file descriptor trên các hệ thống kiểu Unix hiện đại. Hầu hết các hàm này đều được khai báo trong header codice_10, nhưng một số thì lại nằm trong header codice_11.

=== Tạo ra file descriptor ===
- (Linux)
- (Linux)
- (Linux)
- (Linux)
- (Linux)
- (Linux)
- (Linux)
- (Linux)
- (khi kèm cờ CLONE_PIDFD, Linux)
- (Linux)
- (Linux)

=== Thao tác trên file descriptor đơn ===
- ,
- ,
- , (cũng được dùng để gửi FD sang tiến trình khác thông qua Unix domain socket)
- ,
- , (Linux)
- , (Linux)
- (Linux)
- (Linux)
- (Linux)
- (Linux)
- (khi kèm kiểu ID là P_PIDFD, Linux)
- (hàm stdio: chuyển đổi file descriptor thành FILE*)
- (hàm stdio: in ra file descriptor)

=== Thao tác trên nhiều file descriptor ===
- ,
- , , (Linux, nhận vào một epoll filedescriptor đơn để chờ nhiều file descriptor khác)
- (dành cho Linux)
- (dành cho hệ thống dựa trên BSD).
- , (cho Linux)
- (cho Linux)
- (cho Linux)

=== Thao tác trên bảng file descriptor ===
Hàm được dùng để làm các thao tác khác nhau trên file descriptor, tùy vào 'đối số lệnh' được truyền cho nó. Có các lệnh để truy xuất và thiết đặt những thuộc tính liên đới với file descriptor, bao gồm , , và .
- (chỉ có ở BSD và Solaris; xóa hết những file descriptor lớn hơn hoặc bằng trị số chỉ định nào đó)
- (nhân bản file descriptor có sẵn nào đó, đảm bảo tạo ra file descriptor có trị số nhỏ nhất sẵn có)
- , (đóng fd1 nếu cần thiết, và khiến file descriptor fd1 trỏ đến file đang mở của fd2)

=== Thao tác sửa đổi trạng thái tiến trình ===
- (thiết đặt thư mục hiện hành của tiến trình dựa trên file descriptor thư mục nào đó)
- (ánh xạ một khoảng của file vào trong không gian địa chỉ của tiến trình)

=== Khóa file ===
- (, và )

=== Socket ===
- (tạo file descriptor mới cho kết nối truyền tới nào đó)
- (shut down một hoặc cả hai đầu của kết nối song công toàn phần nào đó)

=== Tạp vụ ===
- (làm được nhiều thao tác lặt vặt trên một file descriptor đơn, thường hay được liên đới với một thiết bị nào đó)

== Các thao tác sẽ có ==
Một loạt các thao tác mới trên file descriptor đã được bổ sung vào nhiều hệ thống kiểu Unix hiện đại và cũng đã được bổ sung vào khá nhiều thư viện C, nhằm để được chuẩn hóa trong một phiên bản tương lai nào đó của POSIX. Hậu tố codice_12 trong tên của hàm biểu thị rằng hàm đấy nhận vào thêm một đối số ở vị trí thứ nhất, đối số đó cung cấp file descriptor ứng với thư mục cơ sở để từ đó phân giải đường dẫn tương đối, còn nếu dùng hàm mà tên không có hậu tố codice_12 thì tương đương với việc gọi hàm tương ứng có hậu tố codice_12 và truyền file descriptor ứng với thư mục làm việc hiện hành làm tham số thứ nhất. Mục đích của các thao tác mới này là để phòng ngừa một số loại tấn công TOCTOU nhất định.

== File descriptor làm công năng ==
Theo nhiều cách thì file descriptor của Unix vận hành như một dạng công năng. Công năng như vậy có thể được truyền giữa các tiến trình thông qua Unix domain socket bằng cách sử dụng lệnh gọi hệ thống codice_15. Tuy nhiên, lưu ý rằng cái thực sự được truyền đi chính là tham chiếu đến "open file description" có trạng thái khả biến đổi (offset của file, tình trạng của file, và cờ truy cập của file). Điều này gây rắc rối cho việc sử dụng file descriptor làm công năng sao cho an toàn, vì khi các chương trình chia sẻ quyền truy cập vào cùng "open file description" thì chúng có thể can thiệp vào việc sử dụng file của nhau như bằng cách thay đổi offset của file hoặc thay đổi file thành blocking hoặc là non-blocking, chẳng hạn vậy. Trong các hệ điều hành được đặc biệt thiết kế để làm hệ thống công năng, rất hiếm khi có bất kỳ trạng thái khả biến đổi nào mà bản thân nó có liên đới với công năng nào đó.

Bảng file descriptor của tiến trình trong Unix là một ví dụ về C-list (danh sách công năng).