One example of a resource kernel implementation is CMU's Linux / RK, which integrates a portable resource kernel into Linux as a loadable module. 资源内核(RK)法实现的一个示例是CMU公司的Linux/RK,它把可移植的资源内核(RK)集成到Linux中作为一个可加载模块。
The resource kernel can then merge the requests to define a schedule to provide guaranteed access using the task-defined constraints ( or return an error if they cannot be guaranteed ). 然后资源内核(RK)可以合并这些请求,使用任务定义的约束定义一个调度,从而提供确定的访问(如果无法提供确定性则返回错误)。
Furthermore, we rearrange the data structures and scheduling algorithms of resource kernel to support Symmetric Multi-Processing. 此外,我们还对资源内核(RK)的数据结构和调度算法等进行了处理,使之可以适应对称多处理的要求,以充分发挥对称多处理系统的性能。
Experiments prove that the resource kernel implemented in this thesis works well in the Red Flag Real-Time Operating System and provides a reliable method to manage system resources. 实践证明,本论文实现的资源内核(RK)在红旗实时操作系统中运转良好,为系统提供了可靠的资源管理手段。
In our system, the resource reservation scheme is implemented through resource kernel, which carries out a subsystem providing timely, guaranteed and protected access to system resources. 红旗实时操作系统的资源预留机制是通过资源内核(RK)来实现的,它实现了一个能够向应用程序提供实时的、可保证的、受保护的对系统资源访问的子系统。