P N( ∆t) = 1 j= 1 λ∆t (2.13)
2.3.3 Cờ hiệu trong Un
Ở một vài phiên bản của hệ điều hành Unix, có sự tiếp nhận cờ hiệu như là việc gọi hệ thống. Sau đây chỉ ra các gọi hệ thống ở trong HP-UX:
lockf Tác vụ cờ hiệu để truy xuất files
msem_init Việc khởi xướng một cờ hiệu để trích nạp bộ nhớ msem_lock Việc ngăn hãm một cờ hiệu
msem_unlock Giải phóng một cờ hiệu
msem_remove Sự loại bỏ cờ hiệu để truy cập bộ nhớ semct1 Tác vụ điều khiển cờ hiệu nói chung semget Đón cờ hiệu
semop Tác vụ cờ hiệu
Cú pháp và ngữ nghĩa của các tác vụ cờ hiệu được phân biệt khác nhau từ phiên bản này tới phiên bản khác của hệ điều hành Unix. Các tác vụ nhân tử ẩn thì quan trọng hơn các cờ hiệu ẩn, những tác vụ này được đưa ra một chuẩn để thực thi các cờ hiệụ
Thí dụ việc tạo ra một file (nói chính xác hơn: tạo ra một thông tin quản lý file kèm theo file) chính là việc tạo ra một tác vụ nhân tử: hoặc là tồn tại một file mới với các tên file được tạo lập theo gọi hệ thống, hoặc là một thủ tục đưa ra một thông báo lỗi, thí dụ: tên file tồn tại hai lần. Điều cần phải loại trừ là hai tiến trình đồng thời sinh ra hai file khác nhau với các tên file tương tự. Cho nên, người ta sử dụng điều đó để tạo khả năng cùng phô diễn giữa việc tạo lập dữ liệu và sự biểu lộ tiến trình (đó là kiểu của người sử dụng và nhà sản xuất) đối với việc phô bày các file (printer demon). Những file sinh ra cho cái đó cũng như cờ hiệu được biểu thị là người thợ khoá hay file khoá (lock file).
Ở hệ điều hành Unix, các hoạt động nhân tử được yêu cầu rằng, một tiến trình (của một loại nhân tử) thì có thể không bị bẻ gãỵ Thật vậy, nếu quá lâu mà nó vẫn chưa nhận được sự điều khiển, cho đến khi nó được đặt yên tĩnh trong thủ tục nhân (kernel procedure) hay trở lại trạng thái người sử dụng.
Ở các hệ thống đa vi xử lý của Unix, các cờ hiệu ở trong nhân được đặt tới toạ độ của các vi xử lý. Ở phiên bản HP-UX (Hewlett- Packard Unix version), tất cả các khoảng tới hạn đối với các dữ liệu của nhân quan trọng và các bảng được bảo vệ nhờ cờ hiệu busy wait.