本文详细介绍了L4 MIPS操作系统中的IPC机制，包括send()、receive()、call()和replaywait()操作。同时，讨论了时间片donation的概念，分为显式和隐式两种方式。在实时系统中，中断扮演着关键角色，用于时间管理和异步事件通知。L4处理中断涉及irq_thread()、handle_interrupt()等函数，根据用户处理线程的状态进行不同响应。然而，L4ka存在的中断延迟和内核不可抢占问题影响了性能，L4-embedded通过引入抢占点和内存工作优化进行了改进。
假设A是当前线程，A发送消息给B，然后从C接收消息
（下面指的应该是异步的吧）
send()
在send-onlyIPC, A发送给B，只有当B的优先级比A高的时候，才会发送给B
receive()
线程A执行receive-onlyIPC，直接切换到C
call()
客户端A执行call IPC，直接切换到B。
replaywait()
服务端A应答客户B，同时等待用户C的下一次要求，只有当B的优先级比C的高的时候，才会转移到B，完成接收动作。
时间片donation
理论上讲，L4线程能够将自己的剩余时间片donate给另外一个线程。如果接受donate的线程没有被阻塞，它将执行完donate的时间片，然后再按照标准调度策略进行调度。
donate分为显式和隐式
显式指的是在thread_switch的时候指定
隐式指的是在IPC路径中，将控制权转移给另外的准备好接收的线程的时候。
上表中总结了时间片donate在L4中的场景。
实际上，L4ka和L4-embe
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
