Lưu ý
Mục đích của file này là để độc giả tiếng Việt có thể đọc và hiểu tài liệu nhân kernel dễ dàng hơn, không phải để tạo ra một nhánh tài liệu riêng. Nếu bạn có bất kỳ nhận xét hoặc cập nhật nào cho file này, vui lòng thử cập nhật file tiếng Anh gốc trước. Nếu bạn thấy có sự khác biệt giữa bản dịch và bản gốc, hoặc có vấn đề về bản dịch, vui lòng gửi góp ý hoặc patch cho người dịch của file này, hoặc nhờ người bảo trì và người review tài liệu tiếng Việt giúp đỡ.
- Bản gốc:
- Người dịch:
Google Translate (machine translation)
- Phiên bản gốc:
8541d8f725c6
Cảnh báo
Tài liệu này được dịch tự động bằng máy và chưa được review bởi người dịch. Nội dung có thể không chính xác hoặc khó hiểu ở một số chỗ. Khi có sự khác biệt với bản gốc, bản gốc luôn là chuẩn. Bản dịch chất lượng cao (được review) được đặt trong thư mục vi_VN/.
Trình xác thực tính chính xác của khóa thời gian chạy¶
bắt đầu bởi Ingo Molnar <mingo@redhat.com>
bổ sung của Arjan van de Ven <arjan@linux.intel.com>
Lớp khóa¶
Đối tượng cơ bản mà trình xác thực vận hành là một ‘lớp’ khóa.
Một lớp khóa là một nhóm các khóa có logic giống nhau tôn trọng các quy tắc khóa, ngay cả khi các khóa có thể có nhiều (có thể hàng chục nghìn) sự khởi tạo. Ví dụ một khóa trong inode struct là một lớp, trong khi mỗi inode có cách khởi tạo riêng của nó khóa lớp.
Trình xác nhận theo dõi ‘trạng thái sử dụng’ của các lớp khóa và theo dõi sự phụ thuộc giữa các lớp khóa khác nhau. Việc sử dụng khóa cho biết cách sử dụng khóa liên quan đến bối cảnh IRQ của nó, trong khi khóa sự phụ thuộc có thể được hiểu là thứ tự khóa, trong đó L1 -> L2 gợi ý rằng một nhiệm vụ đang cố gắng lấy L2 trong khi giữ L1. Từ lockdep’s nhìn từ góc độ, hai ổ khóa (L1 và L2) không nhất thiết phải liên quan đến nhau; đó sự phụ thuộc chỉ có nghĩa là thứ tự đã từng xảy ra. Trình xác nhận duy trì một nỗ lực liên tục để chứng minh việc sử dụng khóa và sự phụ thuộc là chính xác hoặc người xác nhận sẽ bắn một biểu tượng nếu không chính xác.
Hành vi của một lớp khóa được xây dựng bởi các thể hiện chung của nó: khi phiên bản đầu tiên của lớp khóa được sử dụng sau khi khởi động lớp được đăng ký thì tất cả các phiên bản (tiếp theo) sẽ được ánh xạ tới lớp và do đó cách sử dụng và sự phụ thuộc của chúng sẽ góp phần vào những điều đó lớp học. Một lớp khóa không biến mất khi một phiên bản khóa biến mất, nhưng nó có thể bị xóa nếu không gian bộ nhớ của lớp khóa (tĩnh hoặc Dynamic) được thu hồi, điều này xảy ra chẳng hạn khi một mô-đun được được dỡ bỏ hoặc hàng đợi công việc bị phá hủy.
Tình trạng¶
Trình xác thực theo dõi lịch sử sử dụng lớp khóa và chia việc sử dụng thành (4 cách sử dụng * n STATE + 1) danh mục:
trong đó 4 cách sử dụng có thể là:
‘từng được giữ trong bối cảnh STATE’
‘từng được giữ ở dạng khóa đọc trong ngữ cảnh STATE’
‘từng được giữ khi kích hoạt STATE’
‘từng được giữ ở dạng khóa đọc khi bật STATE’
trong đó n STATE được mã hóa trong kernel/locking/lockdep_states.h và kể từ bây giờ chúng bao gồm:
hardirq
phần mềm
trong đó loại 1 cuối cùng là:
‘đã từng sử dụng’ [ == !unused ]
Khi các quy tắc khóa bị vi phạm, các bit sử dụng này sẽ được trình bày trong khóa các thông báo lỗi, bên trong các lọn tóc, với tổng số 2 * n bit STATE. Một ví dụ giả định
- modprobe/2287 đang cố lấy khóa:
(&sio_locks[i].lock){-.-.}, tại: [<c02867fd>] mutex_lock+0x21/0x24
- nhưng nhiệm vụ đã bị khóa:
(&sio_locks[i].lock){-.-.}, tại: [<c02867fd>] mutex_lock+0x21/0x24
Đối với một khóa nhất định, vị trí bit từ trái sang phải cho biết cách sử dụng của khóa và khóa đọc (nếu tồn tại), đối với mỗi n TRẠNG THÁI được liệt kê ở trên tương ứng và ký tự được hiển thị ở mỗi vị trí bit chỉ ra: