Lemma 1. If a level-i active period

Lemma 1. If a level-i active period starts at time ts and ends at time te, then the following properties hold: (i) Tasks τj with j≤i are continuously executing in [ts,te), except for an (optionally empty) initial interval [ts,ts +B) with 0≤B < BD i during which the tasks are blocked by a lower priority task. (ii) The length Li(ts) of that level-i active period is at least B+Cs, where task τs is released at time ts. (iii) The order in which the tasks τj with j≤i are executed is immaterial.

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

Bổ đề 1. Nếu một thời gian hoạt động cấp-i bắt đầu thời gian ts và kết thúc tại thời gian te, sau đó giữ các tính chất sau: (i) nhiệm vụ τj với j≤i liên tục thực hiện trong [ts, te), ngoại trừ một khoảng thời gian ban đầu (tùy chọn sản phẩm nào) [ts, ts + B) với 0≤B < BD tôi trong thời gian đó các tác vụ đang bị chặn bởi một nhiệm vụ ưu tiên thấp hơn. (ii) chiều dài Li(ts) trong giai đoạn hoạt động cấp-i là ít B + Cs, nơi công việc τs được phát hành tại thời gian ts. (iii) theo thứ tự mà trong đó nhiệm vụ τj với j≤i được thực hiện là vô quan hệ.

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

Bổ đề 1. Nếu một thời gian hoạt động cấp tôi bắt đầu ở ts thời gian và kết thúc vào thời gian te, sau đó các thuộc tính sau giữ: (i) Nhiệm vụ τj với j≤i liên tục được thực hiện trong [ts, te), ngoại trừ một (tùy chọn rỗng) khoảng thời gian ban đầu [ts, ts + B) với 0≤B <BD tôi trong thời gian đó các nhiệm vụ được chặn bởi một nhiệm vụ ưu tiên thấp hơn. (Ii) Chiều dài Li (ts) của thời kỳ hoạt động cấp i là ít nhất là B + C, nơi τs nhiệm vụ được phát hành tại ts thời gian. (Iii) Các thứ tự các nhiệm vụ τj với j≤i được thực hiện là không quan trọng.