seL4微内核学习之四:系统调用
2016-12-08 23:45
330 查看
seL4系统调用主要有以下八个:
seL4 Send():
通过已被命名的cap传递消息,然后允许程序继续,如果调用这个cap的是endpoint,且没有receiver接收消息,sender将会被阻塞到有receiver接收。Reciver和内核对象不会返回错误。
seL4 NBSend():
不会阻塞的send,在没有receiver时,将消息丢弃,Reciver和内核对象不会返回错误。
seL4 Call():
和seL4_Send()一样,但是会在消息上附加回复sender的cap,该cap将存在receiver的TCB中一个特殊的slot中。通过cap调用内核服务时,使用seL4_Send()使内核服务可以返回错误代码或者其他相应。
seL4 Wait() :
用来通过endpoint接收消息,如果没有消息可接收,则该线程被阻塞,直到有消息可接收。该系统调用只能通过endpoint的cap调用,否则会导致错误。
seL4 Reply():
用来响应seL4_Call(),将消息回复给sender,并将其唤醒。因TCB中仅有一个槽存储回复cap,所以seL4_Reply()只能给最近的一个seL4_Call()回复。
seL4 ReplyWait():
是seL4_Reply()+seL4_Wait()。能用一次内核系统调用同时回复消息,并等待下一条消息。
seL4 Poll():
将会无阻塞地通过endpoint发送消息。该系统调用只能被拥有asynchronous endpoint cap的进程调用,负责产生错误。
seL4 Yield():
唯一不需要 Capability的系统调用。会将调用者剩余的时间片交给同等优先度的可运行线程。如果没有这样的线程,则会重新换新调用的线程,即该系统调用无任何作用。
小小的总结:前7个系统调用都是和IPC有关的,而最后一个和调度有关,具体的函数还会在之后的博文中发出来。
seL4 Send():
通过已被命名的cap传递消息,然后允许程序继续,如果调用这个cap的是endpoint,且没有receiver接收消息,sender将会被阻塞到有receiver接收。Reciver和内核对象不会返回错误。
seL4 NBSend():
不会阻塞的send,在没有receiver时,将消息丢弃,Reciver和内核对象不会返回错误。
seL4 Call():
和seL4_Send()一样,但是会在消息上附加回复sender的cap,该cap将存在receiver的TCB中一个特殊的slot中。通过cap调用内核服务时,使用seL4_Send()使内核服务可以返回错误代码或者其他相应。
seL4 Wait() :
用来通过endpoint接收消息,如果没有消息可接收,则该线程被阻塞,直到有消息可接收。该系统调用只能通过endpoint的cap调用,否则会导致错误。
seL4 Reply():
用来响应seL4_Call(),将消息回复给sender,并将其唤醒。因TCB中仅有一个槽存储回复cap,所以seL4_Reply()只能给最近的一个seL4_Call()回复。
seL4 ReplyWait():
是seL4_Reply()+seL4_Wait()。能用一次内核系统调用同时回复消息,并等待下一条消息。
seL4 Poll():
将会无阻塞地通过endpoint发送消息。该系统调用只能被拥有asynchronous endpoint cap的进程调用,负责产生错误。
seL4 Yield():
唯一不需要 Capability的系统调用。会将调用者剩余的时间片交给同等优先度的可运行线程。如果没有这样的线程,则会重新换新调用的线程,即该系统调用无任何作用。
小小的总结:前7个系统调用都是和IPC有关的,而最后一个和调度有关,具体的函数还会在之后的博文中发出来。
相关文章推荐
- 2.6版本Linux上替换系统调用函数实现隐藏文件学习
- ReactOs是怎么实现系统调用的。。 老毛文章学习笔记
- 以sethostname()系统调用为例学习系统调用
- Tiny6410学习ing—(二)、嵌入式Linux应用开发—(2)、文件编辑(系统调用方式访问文件)—①
- Linux内核学习之四--进程、进程调度、系统调用、proc文件系统和内核异常分析
- Linux 0.11 系统调用学习
- Linux系统调用及用户编程接口(API)学习
- Java调用系统命令学习(3)
- Java调用系统命令学习(2)
- Linux学习--系统调用、POSIX、C库、系统命令和内核函数
- linux pipe系统调用学习
- 学习Linux:用read()系统调用读取文件
- linux 0.11 内核学习 -- system_call.s,系统调用仅是如此。
- 从系统调用nanosleep()学习High-Resolution Timers
- 我的python学习之路----调用系统命令(windows)
- 【嵌入式Linux学习七步曲之第五篇 Linux内核及驱动编程】Linux系统调用的实现机制分析
- Java调用系统命令学习(三)
- linux 0.11 内核学习 -- system_call.s,系统调用仅是如此。
- 国嵌视频学习第二天——系统调用方式访问文件
- [跟着hsp步步学习系统]oracle培训学习集锦全360度扫描(9)在java中调用有返回值的过程