sel4源码解析（五） - Notification

Sel4的通知机制类似于记录型信号量。比如：进程1在等待通知，但进程2还未发送该通知，则会导致进程1暂时被挂载在该notification队列上。一旦进程2发送该通知，则将进程1从该notification队列上取出，并重新加入调度队列。

利用sel4的通知机制可以实现进程之间的同步。下面主要介绍了notification结构体、notification cap的结构体、内核函数和用户程序API。

notification结构体

notification结构体主要包括四个部分：

• 指向绑定的TCB的指针；
• 标识符，这里是badge；
• notification队列头指针（指向的是tcb结构体，其链表指针是tcbEPPrev和tcbEPNext）；
• notification队列尾指针。

结构体如下所示：

block notification {
    padding 16
    field_high ntfnBoundTCB 48 
    field ntfnMsgIdentifier 64
    padding 16
    field_high ntfnQueue_head 48
    field_high ntfnQueue_tail 48
    padding 14
    field state 2
}

notification的三种状态：

enum notification_state {
    NtfnState_Idle    = 0,
    NtfnState_Waiting = 1,
    NtfnState_Active  = 2
};