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/.
Màn hình wwnr¶
Tên: wwrn - thức dậy khi không chạy
Loại: máy tự động xác định theo nhiệm vụ
Tác giả: Daniel Bristot de Oliveira <bristot@kernel.org>
Sự miêu tả¶
Đây là màn hình mẫu theo từng nhiệm vụ, với các thông tin sau định nghĩa:
|
v
thức dậy +-------------+
+-------- ZZ0000ZZ ZZ0001ZZ không chạy | +--------> ZZ0002ZZ <+
- +-------------+ |
ZZ0003ZZ Chuyển đổi ZZ0004ZZ_out v |
+-------------+ | ZZ0005ZZ-+ +-------------+
Mô hình này bị hỏng, lý do là một tác vụ có thể đang chạy trong bộ xử lý mà không được đặt là RUNNABLE. Hãy nghĩ về một nhiệm vụ sắp đi ngủ:
- 1: set_current_state(TASK_UNINTERRUPTIBLE);
2: lị
ch();
Và sau đó hãy tưởng tượng một chiếc IRQ xảy ra ở giữa dòng một và dòng hai, đánh thức nhiệm vụ. BOOM, việc đánh thức sẽ diễn ra trong khi nhiệm vụ được thực hiện đang chạy.
Tại sao chúng ta cần mô hình này?
Để kiểm tra lò phản ứng.
Đặc điểm kỹ thuật¶
Tệp Grapviz Dot trong tools/verification/models/wwnr.dot