P N( ∆t) = 1 j= 1 λ∆t (2.13)
2.2.8 Định thời trong Un
Trong Unix, phương pháp quay vòng Robinson được áp dụng, để mô hình hoá một cách thích hợp cho các tiến trình có ưu tiên. Mỗi một tác vụ (tiến trình) đón nhận một sự ưu tiên nào đó mà nó được phân bổ. Qua đó, các tiến trình hệ thống được phân bổ trước đó, mà từ một phía tới phía khác được đảm bảo rằng, cả những tiến trình chờ lâu thì tối thiểu một lần được đưa tới hàng đợị
Ngoài ra, trong Unix, mỗi sự ưu tiên được ký hiệu một chữ số từ -127 đến +127, ở đây, những con số nhỏ thì có ưu tiên caọ Trong các tiến trình hệ thống, những con số âm có ý nghĩa rằng, nó không thể bị bẻ gãy một cách bình thường. Nó chỉ cho phép người sử dụng dùng lệnh nice , để người sử dụng tiếp tục dùng các tiêu chuẩn ưu tiên riêng lẻ, vì vậy tại các Job chưa tới hạn thì vẫn có thể còn dùng được cho người sử dụng khác. Một cách hình thức thì điều đó không nên dùng.
Vì ở những con số đầy đủ tồn tại nhiều Job với sự ưu tiên như nhau, do đó, đối với tất cả các Job có ưu tiên giống nhau sẽ nhận thấy một hàng đợi theo định thời FCGS. Nếu tất cả các Job của một hàng đợi đã thực hiện xong, do đó những hàng đợi sau đó với ưu tiên thấp được làm việc. Ngoại lệ, những Job có ưu tiên mà phải chờ lâu, thì cũng được treo vào hàng đợi khác ( theo kiểu định thời đa mức bước lùi).
Trong các phiên bản mới của Unix thì sự ưu tiên được đánh số từ 0 đến 255 và ngoài ra, nó còn được chia nhỏ thêm. Hình 2.17 chỉ ra dãy hàng đợi có ưu tiên của kiểu định thời đa mức nàỵ
Các hàng đợi tạo thành một danh sách chuỗi, mà các hiển thị nội dùng của nó được chỉ ra trên khối điều khiển tiến trình (PCB) của bảng tiến trình. Tất cả các Job của ưu tiên hệ thống (128 đến 177) và tất cả các Job của người sử dụng (188
đến 255) được phân chia theo phương pháp lát cắt thời gian, các Job được xử lý đặc biệt, nếu nó được khởi động bởi gọi hệ thống đặc biệt với hàm gọi rtprio(). Sự ưu tiên (0 đến 127) dành cho những ưu tiên cao hơn và không được thay đổi nhiềụ
Những tính chất không tồn tại trong các phiên bản khác nhau của Unix như việc định thời có ưu tiên các tiến trình, mà nó thuộc kiểu định thời trạng thái nhân thì không thể ngắt một cách bình thường (nó chỉ tồn tại một ngăn xếp nhân riêng lẻ, do đó không thể vượt qua được), việc phân bổ bộ nhớ chính được dự trữ cứng để phòng tránh việc đổi tráo và cũng như các files với các khối hợp lý cũng tạo nên một đặc trưng thời gian thực ở trong Unix.