Patent ID: 11954520
Assignee: ALIBABA GROUP HOLDING LIMITED
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A micro kernel scheduling method, applied to a software platform, the method comprising:
receiving a scheduling instruction input by an external device to switch a current micro kernel to a target micro kernel that is executed in a host thread or a Kernel-based Virtual machine (KVM) that is executing on a software platform, wherein the current micro kernel and the target micro kernel are simplified version of a kernel of a real time operation system each having a corresponding micro kernel control unit of a CPU register and a corresponding control value of a register value;
in response to the receiving, executing a setjmp function and a longjmp function according to the scheduling instruction, wherein a scope of the longjmp is within a scope of the setjmp, and the executing comprising:
determining a first control value corresponding to the target micro kernel; and
replacing a second control value corresponding to the current micro kernel with the first control value of a register value; and

in response to executing the setjmp function and the longjmp function, switching the current micro kernel to a target micro kernel to execute in the host thread or the KVM on the software platform, wherein the current micro kernel after receiving the scheduling instruction executes the scheduling instruction to switch the current micro kernel to the target micro kernel independent of any communication of any micro kernels of the software platform to the host thread or the KVM of the software platform, wherein the software platform is a Linux platform.