发明名称 Operating systems sharing supervisor address space with same virtual to physical mapping for supervisor address space using same translation formula with different translation tree
摘要 A method of enabling multiple different operating systems to run concurrently on the same RISC (e.g. ARM) computer, comprising selecting a first operating system to have a relatively high priority (the realtime operating system, such as C5); selecting at least one secondary operating system to have a relatively lower priority (the general purpose operating system, such as Linux); providing a common program (a hardware resource dispatcher similar to a nanokernel) arranged to switch between said operating systems under predetermined conditions; and providing modifications to said first and second operating systems to allow them to be controlled by said common program.
申请公布号 US9619279(B2) 申请公布日期 2017.04.11
申请号 US200511660363 申请日期 2005.08.18
申请人 RED BEND SOFTWARE SAS 发明人 Maigne Gilles;Maslov Guennadi
分类号 G06F9/455;G06F9/48 主分类号 G06F9/455
代理机构 Nixon & Vanderhye P.C. 代理人 Nixon & Vanderhye P.C.
主权项 1. A method of enabling at least two operating systems to run concurrently on the same computer, comprising: providing a common program arranged to switch between and control said at least two operating systems; providing each of the at least two operating systems with a dedicated virtual address range within a supervisor address space which is shared between the at least two operating systems; wherein each of the at least two operating systems use the same supervisor address space mapping of virtual to physical memory addresses in respect of at least part of an address space using same translation formula with different translation tree; wherein the method is implemented on a system comprising an ARM CPU; wherein at least one of said at least two operating systems supports multiple memory contexts and each memory context being associated with a user process, wherein a kernel of said at least one operating system uses the supervisor address space replicated in all said multiple memory contexts.
地址 Montigny le Bretonneux FR