Check patentability & draft patents in minutes with Patsnap Eureka AI!

Partition multi-kernel running method for microkernel operating system

An operating system and microkernel technology, applied in the computer field, can solve problems such as application limitations and inability to take advantage of multi-core performance, and achieve the effects of less kernel changes, good stability, and extended application scope.

Active Publication Date: 2018-06-22
北京翼辉信息技术有限公司
View PDF3 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The vCPU thread solution reduces the complexity. GuestOS can independently perform scheduling control and has good isolation. limitation

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Partition multi-kernel running method for microkernel operating system
  • Partition multi-kernel running method for microkernel operating system
  • Partition multi-kernel running method for microkernel operating system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0039] The present invention will be further explained below in conjunction with the accompanying drawings and specific embodiments.

[0040] Such as Figure 1-3 Three processor virtualization schemes of GuestOS in the operating system of microkernel architecture are shown. figure 1 Because the L4Linux partition runs directly on the microkernel thread, k-thread is the L4Linux kernel thread, u-thread is the L4Linux user thread, and L4Linux does not have the thread scheduling capability. figure 2 It is a microkernel vCPU solution. A vCPU is a microkernel thread. For a GuestOS partition, a vCPU is a virtual processor that provides a single-core operating environment. image 3 It is an extended vCPU solution. GuestOS partitions run on multiple vCPU threads, enabling GuestOS to have the ability to execute on multiple cores, and inter-core interrupts are sent between multiple cores through vIPI.

[0041] Such as Figure 4 It is the overall flow chart of partition multi-core oper...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a partition multi-kernel running method for a microkernel operating system. The method comprises the steps that (1) partition configuration is performed first, and then multiple vCPU threads of the partition are initialized; (2) whether it is needed to enter virtual inter-kernel interruption is judged on each vCPU thread, if yes, the step (3) is entered, and if not, the step (4) is entered; (3) a virtual interruption vIRQ technology is adopted to realize virtual inter-kernel interruption vIPI; and (4) whether a candidate task on each vCPU thread is updated is judged, ifnot, the current task execution link is recovered, and if yes, a new candidate task is switched to. Through the method, the technology that one GuestOS partition runs on multiple vCPU threads is realized, and therefore the partition has multi-kernel execution capability.

Description

technical field [0001] The invention relates to the field of computers, in particular to a method for partitioning and multi-core of a microkernel operating system. Background technique [0002] In the macro-kernel operating system (such as Linux, Windows), a large number of system services such as network, file system, and device drivers are in the operating system kernel. The micro-kernel operating system is the opposite of the macro-kernel operating system. Its kernel only retains the most basic Operating system functions and other services exist as independent modules, which can run in separate processes and provide services to other modules or applications through inter-process communication (hereinafter referred to as IPC); L4 is a microkernel architecture, which The kernel has three basic abstract objects: address space, thread, IPC. [0003] In the operating system based on the L4 microkernel architecture, the application program runs on the microkernel thread. The ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/48G06F9/50
CPCG06F9/4881G06F9/505G06F2209/5018
Inventor 韩辉程永斌
Owner 北京翼辉信息技术有限公司
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com