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

操作系统 专栏收录该内容
6 篇文章 2 订阅

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有关的,而最后一个和调度有关,具体的函数还会在之后的博文中发出来。

  • 1
    点赞
  • 0
    评论
  • 4
    收藏
  • 打赏
    打赏
  • 扫一扫,分享海报

参与评论 您还未登录,请先 登录 后发表或查看评论
©️2022 CSDN 皮肤主题:大白 设计师:CSDN官方博客 返回首页

打赏作者

爱撸铁的程序员

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值