一种微内核操作系统的分区多核方法与流程

技术特征：

1.一种微内核操作系统的分区多核方法其特征在于，包括如下步骤：

(1)先进行分区配置，然后对分区多vCPU线程进行初始化；

(2)在每个vCPU线程上判断是否需要进入虚拟核间中断，如果需要进入步骤(3)，如果不需要则进入步骤(4)；

(3)采用虚拟中断vIRQ技术实现虚拟核间中断vIPI；

(4)判断每个vCPU线程上的候选任务是否更新，如果没有更新则恢复当前任务执行环节，如果有更新则切换到新的候选任务。

2.根据权利要求1所述的一种微内核操作系统的分区多核方法其特征在于，其特征在于：所述对分区多vCPU线程进行初始化的具体步骤如下：

(1.1)首先微内核创建GuestOS进程，然后微内核创建vCPU0线程；

(1.2)vCPU0执行GuestOS的BSP-bootstrap程序；

(1.3)首先BSP-bootstrap初始化vCPU0运行环境，然后加载分区配置信息，并通过系统调用启动其他vCPU，并同时进入步骤(1.4)和步骤(1.6)；

(1.4)采用IPC系统调用由微内核创建vCPU1线程，然后vCPU1执行GuestOS的AP-bootstrap程序；

(1.5)先初始化vCPU1运行环境，然后执行GuestOS AP内核程序，初始化内核运行环境，最后判断vCPU1是否有候选任务，如果有则执行vCPU1上的候选任务，如果没有则执行内核空闲任务；

(1.6)执行GuestOS BSP内核程序，初始化内核运行环境，并判断vCPU0是否有候选程序，如果有则执行vCPU0上的候选任务，如果没有则执行内核空闲程序。

3.根据权利要求1所述的一种微内核操作系统的分区多核方法其特征在于，其特征在于：所述采用vIRQ技术实现虚拟核间中断的步骤如下：首先源vCPU通过核间中断IPI调用进入微内核，然后微内核向目标vCPU发送虚拟中断，从而实现从源vCPU到目标vCPU之间的核间中断。

4.根据权利要求2所述的一种微内核操作系统的分区多核方法其特征在于，其特征在于：所述采用虚拟中断vIRQ技术实现虚拟核间中断vIPI的具体步骤如下：

(3.1)CPU产生时钟中断，采用虚拟中断vIRQ技术暂停vCPU0上当前任务；

(3.2)执行中断服务程序，保存当前任务执行环境，然后执行任务调度程序；

(3.3)通过就绪任务表，并根据任务调度策略更新各vCPU上的候选任务并判断vCPU1上的候选任务是否更新，如果是则发送vIPI核间中断请求，执行vIPI机制并将vIPI核间中断请求发送至vCPU1上，暂停vCPU1上的当前任务；

(3.4)执行vCPU1上的中断服务程序，并保存当前任务执行环环境，然后执行任务调度程序，最后切换到新的候选任务。