Proof. Corollary 7 states that WRP

Proof. Corollary 7 states that WRP i (BD i +(k+1)Ci)≤(k+1)Ti is a proper termination condition to determine whether or notthe leveli active period is over before the release of job k+1. Because of Theorem 7, the level-i active periods ends under Assumption 1, and we therefore have to consider at most a finite number wl D i of jobs of task τi. As a result, the iterative procedure ends. We observe that the iterative procedure also stops when the deadline D i is exceeded, by the worst-case response time WRD ik of job k of τi i.e. when the task set is not schedulable.
Corollary 8. When Assumption 1 holds, we can derive the schedulability of a set of tasks T under FPDS and arbitrary phasing by checking the schedulability criterion WRD i ≤Di using Theorem 13.
Corollary 9. To check the schedulability criterion WRD i ≤Di we do not need to determine the length WLD i of the worst-case level-i active period under FPDS first. Instead, we can simply check whether or not the level-i active period is over after every iteration.

Finally note that • WRD i,k can be used as initial value to calculate WRP i (BD i +(k+1)Ci)to determine whether or not the level-i active period is over before the release of job k+1; • WRP i (BD i +(k+1)Ci) can be used as initial value to calculate WRP i (BD i +(k+2)Ci−Fi) to determine WRD i,k+1.

Kết quả (Việt) 1:

Bằng chứng. Hệ luỵ 7 tiểu bang rằng WRP tôi (BD tôi + (k + 1) Ci) ≤ (k + 1) Ti là một điều kiện chấm dứt thích hợp để xác định liệu hay notthe leveli thời gian hoạt động là hơn trước khi sự phát hành của việc k + 1. Vì định lý 7, thời gian hoạt động cấp-i kết thúc theo giả định 1, và chúng tôi do đó cần phải xem xét nhiều nhất finite một số wl D i của công việc của nhiệm vụ τi. Kết quả là, các thủ tục lặp kết thúc. Chúng tôi quan sát các thủ tục lặp đi lặp lại cũng dừng lại khi thời hạn D tôi là vượt quá, bởi thời gian tồi tệ nhất phản ứng WRD ik việc k τi tức là khi bộ công việc không phải là schedulable. Hệ luỵ 8. Khi giả định 1 nắm giữ, chúng tôi có thể lấy được schedulability một tập hợp các tác vụ T dưới FPDS và loại bỏ bất kỳ bằng cách kiểm tra các tiêu chí schedulability WRD tôi ≤Di bằng cách sử dụng định lý 13. Hệ luỵ 9. Để kiểm tra các tiêu chí schedulability WRD tôi ≤Di chúng tôi không cần phải xác định chiều dài WLD tôi tồi tệ nhất cấp-i hoạt động giai đoạn dưới FPDS chính. Thay vào đó, chúng tôi chỉ đơn giản là có thể kiểm tra hay không, thời gian hoạt động cấp-i là hơn sau khi lặp đi lặp lại mỗi.
Cuối cùng lưu ý rằng • WRD i, k có thể sử dụng như là giá trị ban đầu để tính toán WRP tôi (BD tôi + (k + 1) Ci) để xác định có hay không giai đoạn hoạt động cấp-i là hơn trước khi sự phát hành của việc k + 1; • WRP tôi (BD i +(k+1)Ci) có thể được sử dụng như là giá trị ban đầu để tính toán WRP tôi (BD tôi +(k+2)Ci−Fi) để xác định WRD i, k + 1.

Kết quả (Việt) 2:

Bằng chứng. Hệ luỵ 7 tiểu bang mà tôi WRP (BD i + (k + 1) Ci) ≤ (k + 1) Ti là một điều kiện chấm dứt hợp lý để xác định có hay notthe gian tích leveli là trên trước khi phát hành của công việc k + 1. Vì lý 7, các giai đoạn hoạt động mức-i kết thúc dưới Assumption 1, và do đó chúng ta phải xem xét ít nhất một số wl fi nite D i công việc của nhiệm vụ τi. Kết quả là, các thủ tục lặp kết thúc. Chúng tôi nhận thấy rằng các thủ tục lặp đi lặp lại cũng dừng lại khi thời hạn D i vượt quá, bởi các trường hợp xấu nhất thời gian đáp ứng Cục Thủy lợi ik công việc k τi tức là khi các thiết lập nhiệm vụ là không schedulable. ? Hệ luỵ 8. Khi Assumption 1 giữ, chúng ta có thể lấy được các schedulability một tập hợp các nhiệm vụ T thuộc Chi cục Kiểm lâm và phân kỳ tùy ý bằng cách kiểm tra các tiêu chí schedulability Cục Thủy lợi i ≤Di sử dụng Định lý 13.? Hệ luỵ 9. Để kiểm tra các tiêu chí Cục Thủy lợi schedulability i ≤Di chúng tôi không cần phải xác định độ dài WLD i của thời gian hoạt động tồi tệ nhất mức-i thuộc Chi cục Kiểm lâm fi đầu tiên. Thay vào đó, chúng tôi chỉ đơn giản là có thể kiểm tra hay không thời gian hoạt động cấp i là hơn sau mỗi lần lặp. ?
Cuối cùng lưu ý • Cục Thủy lợi i, k có thể được sử dụng như là giá trị ban đầu để tính toán WRP i (BD i + (k + 1) Ci) để xác định có hay không thời gian hoạt động cấp i là trên trước khi phát hành của công việc k + 1; • WRP i (i + BD (k + 1) Ci) có thể được sử dụng như là giá trị ban đầu để tính toán WRP i (BD i + (k + 2) Ci-Fi) để xác định Cục Thủy lợi i, k + 1.