Formal Models of Operating System Kernels phần 7

Tham khảo tài liệu 'formal models of operating system kernels phần 7', công nghệ thông tin, hệ điều hành phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Message-Passing Primitives 207 OutMsg . SetNextMsgSrc . NextMsgSrc . WaitingSenders . AddWaitingSenders . The class adds four variables to its state inmsgbuff myoutmsgbuff nextmsgsrc and waitingsenders respectively. These components are interpreted informally as inmsgbuff A one-element buffer containing the most recently read message the process will copy the message into local store when it reads it. Sender processes deposit their messages into this slot when message exchange occurs. myoutmsgbuff A one-element buffer containing the next message this process is to send. nextmsgsrc The identifier of the process from which this process wants next to receive a message. If this process is prepared to accept a message from any source this component has the value any. waitingsenders A sequence of elements of MSGSRC that is a queue containing the identifiers of processes that are waiting to send a message to this process. The PROCSTATUS type needs to be extended PROCSTATUS pstnew I pstrunning I pstready I pstwaiting I pstwaitingmsg I pstswappedout I pstzombie I pstterm The additional state pstwaitingmsg is added. This is the state of a process that is waiting to receive a message. The operations required to support these additional components are now defined. They are all quite straightforward. SetInMsg_ A inmsgbuff m mSg inmsgbuff m 208 5 Using Messages in the Swapping Kernel This operation is to be executed when a sending process synchronises with this process. By setting inmsgbuff to a message this process has received the message. The receiving process executes the InMsg operation when it wants to read the current message. __InMsg_ m Msg m inmsg A sending process places the message it is trying to send in this component of its process table. This component represents a standard location for outbound messages it is copied by the .

Không thể tạo bản xem trước, hãy bấm tải xuống
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.