P N( ∆t) = 1 j= 1 λ∆t (2.13)
2.2.9 Định thời trong Windows NT
Ngay cả ở trong Windows NT cũng có một sự định thời đa mức, mà nó đã thu nạp những Job có thời gian thực. Những sự ưu tiên đi từ mức ưu tiên 0, đó là mức ưu tiên thu hẹp nhất (đối với tiến trình trống hệ thống ) tới ưu tiên mức cao nhất 31 (đối với các tiến trình thời gian thực). Trong hình 2.18 dẫn tới một cách nhìn tổng quát. Tuy nhiên, không có Job nào được quản lý, ngay cả các tiến trình trọng lượng nhẹ (threads). Sự định thời cũng được tách chia bởi sự điều phốị Thật vậy, bộ điều phối đã cung cấp một cơ sở dữ liệu riêng, mà nó đã giữ chặt trạng thái của tiến trình trọng lượng nhẹ và của CPU, đồng thời, nó đã tạo nên những quyết định nguyên tắc cho bộ định thờị Windows NT trợ giúp cho ta xử lý cân đốị Nếu quá trình trọng lượng nhẹ không kết thúc, thì do đó, các CPU sẽ thực hiện một thread đặc biệt gọi là idle thread.
Những tiến trình threads được phân bổ và làm việc theo phương pháp lát cắt thời gian ưu tiên. Sau mỗi lát cắt thời gian (tức là bộ ngắt thời gian), thì ưu tiên của tiến trình thread (ưu tiên mức 1 đến 15) bị thu hẹp một ít cho đến khi đạt nhỏ nhất tới ưu tiên cơ sở (ưu tiên 2 đến 6). Sau đó, cần được quyết định rằng, những tiến trình thread nào ở trong hàng đợi có ưu tiên cao nhất và liệu tiến trình thread có được thực hiện trên bộ vi xử lý ? Cho cái đó, có một tinh chất phụ có thể thay đổi được, đó là tính chất ảnh xạ tương đồng của các bộ vi xử lý.
Nếu có một tiến trình thread được treo vào một hàng đợi ở danh sách sẵn sàng, do đó, nó nhận được sự ưu tiên bổ sung, mà sự ưu tiên này thì phụ thuộc vào loại danh sách chờ: Đầu cuối I/O nhận được nhiều ưu tiên bổ sung như là các bản I/Ọ
Nếu tiến trình thread tới sẵn sàng, thì tiến trình này có ưu tiên thời gian thực (real time) cao hơn (mức 16 đến 31) như là một trong các tiến trình threads được thực hiện ngay trên một trong các bộ vi xử lý và do đó, tiến trình thread được dẫn vào hàng đợi, đồng thời một bộ vi xử lý đón nhận một ngắt. Do vậy, nó đẩy tiến trình trở lại vào hàng đợi và thay đổi cho đến khi đạt ưu tiên mức cao hơn.
Những mức ưu tiên được thiết lập sẽ được phân bổ theo loại của Job: Những Job nội hoạt thì quan trọng hơn các Job với I/O; các Job I/O thì quan trọng hơn các Job thuần tính toán.