seL4微内核学习之四：系统调用

seL4系统调用主要有以下八个：

1. seL4 Send()：

   通过已被命名的cap传递消息，然后允许程序继续，如果调用这个cap的是endpoint，且没有receiver接收消息，sender将会被阻塞到有receiver接收。Reciver和内核对象不会返回错误。

2. seL4 NBSend()：

   不会阻塞的send，在没有receiver时，将消息丢弃，Reciver和内核对象不会返回错误。

3. seL4 Call()：

   和seL4_Send()一样，但是会在消息上附加回复sender的cap，该cap将存在receiver的TCB中一个特殊的slot中。通过cap调用内核服务时，使用seL4_Send()使内核服务可以返回错误代码或者其他相应。

4. seL4 Wait() ：

   用来通过endpoint接收消息，如果没有消息可接收，则该线程被阻塞，直到有消息可接收。该系统调用只能通过endpoint的cap调用，否则会导致错误。

5. seL4 Reply()：

   用来响应seL4_Call()，将消息回复给sender，并将其唤醒。因TCB中仅有一个槽存储回复cap，所以seL4_Reply()只能给最近的一个seL4_Call()回复。

6. seL4 ReplyWait()：

   是seL4_Reply()+seL4_Wait()。能用一次内核系统调用同时回复消息，并等待下一条消息。

7. seL4 Poll()：

   将会无阻塞地通过endpoint发送消息。该系统调用只能被拥有asynchronous endpoint cap的进程调用，负责产生错误。

8. seL4 Yield()：

   唯一不需要 Capability的系统调用。会将调用者剩余的时间片交给同等优先度的可运行线程。如果没有这样的线程，则会重新换新调用的线程，即该系统调用无任何作用。

小小的总结：前7个系统调用都是和IPC有关的，而最后一个和调度有关，具体的函数还会在之后的博文中发出来。