Lesson 05 — Lập lịch thời gian thực
Module 1 — Mô phỏng lập lịch RMS & EDF
Nhập các task định kỳ, chọn thuật toán, rồi nhấn Chạy mô phỏng để xem timeline thực thi và kiểm tra deadline.
| Task | Period T (ms) | WCET C (ms) | U = C/T | Ưu tiên RMS |
|---|---|---|---|---|
| τ₁ | — | — | ||
| τ₂ | — | — | ||
| τ₃ | — | — |
Nhập số liệu và nhấn Chạy để xem phân tích khả thi.
Nhấn "Chạy mô phỏng" để xem timeline và phân tích deadline.
Module 2 — Priority Inversion & Priority Inheritance
Minh họa vấn đề priority inversion và giải pháp priority inheritance với 3 task chia sẻ mutex.
Chọn chế độ để xem animation priority inversion.
Module 3 — Điều kiện khả thi Liu & Layland
Bảng điều kiện đủ theo số lượng task n và so sánh với ∑U của bài toán hiện tại:
| n | Bound RMS (%) | EDF bound (%) | Trạng thái (RMS) |
|---|