CN115480904B - 微内核中系统服务并发调用方法 - Google Patents

微内核中系统服务并发调用方法 Download PDF

Info

Publication number
CN115480904B
CN115480904B CN202211226254.6A CN202211226254A CN115480904B CN 115480904 B CN115480904 B CN 115480904B CN 202211226254 A CN202211226254 A CN 202211226254A CN 115480904 B CN115480904 B CN 115480904B
Authority
CN
China
Prior art keywords
thread
kernel
service
system service
client
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN202211226254.6A
Other languages
English (en)
Other versions
CN115480904A (zh
Inventor
李蒙
肖堃
汪澜涛
罗蕾
陈丽蓉
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
University of Electronic Science and Technology of China
China Mobile IoT Co Ltd
Original Assignee
University of Electronic Science and Technology of China
China Mobile IoT Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by University of Electronic Science and Technology of China, China Mobile IoT Co Ltd filed Critical University of Electronic Science and Technology of China
Priority to CN202211226254.6A priority Critical patent/CN115480904B/zh
Publication of CN115480904A publication Critical patent/CN115480904A/zh
Application granted granted Critical
Publication of CN115480904B publication Critical patent/CN115480904B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/48—Program initiating; Program switching, e.g. by interrupt
    • G06F9/4806—Task transfer initiation or dispatching
    • G06F9/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
    • G06F9/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/50—Allocation of resources, e.g. of the central processing unit [CPU]
    • G06F9/5005—Allocation of resources, e.g. of the central processing unit [CPU] to service a request
    • G06F9/5027—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resource being a machine, e.g. CPUs, Servers, Terminals
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2209/00—Indexing scheme relating to G06F9/00
    • G06F2209/50—Indexing scheme relating to G06F9/50
    • G06F2209/5011—Pool
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
    • Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Computer And Data Communications (AREA)

Abstract

本发明公开了一种微内核中系统服务并发调用方法，系统服务向内核进行注册，内核为每个系统服务提生成服务描述符，各个系统服务将自己的处理函数注册至对应的服务描述符中；内核为注册完成的系统服务创建一个线程池，该线程池包括管理线程、工作线程和任务等待队列；当客户端需要调用系统服务时，基于LRPC模型向内核进行系统服务调用。本发明通过结合线程池和LRPC模型，提高微内核操作系统中系统服务的并发性。

Description

微内核中系统服务并发调用方法
技术领域
本发明属于微内核技术领域，更为具体地讲，涉及一种微内核中系统服务并发调用方法。
背景技术
随着嵌入式系统的飞速发展，微内核操作系统相对于宏内核操作系统的架构优势越来越明显，也越来越被人们重视。国内外巨头公司，如Google、华为都在开发自己的微内核操作系统，也证明了微内核是未来非常有前景的内核架构。
微内核的关键设计是将大多数内核功能解除特权，使其进入位于独立用户进程中的不同服务器。内核提供了基本功能，例如进程管理、能力强制和行程间通讯(IPC)。这种分散式设计使操作系统架构对运行时错误具有健壮性，这意味着一个服务器中的错误不会影响其他服务器和内核。从内核中删除大部分功能还会导致一个小型的可信计算基础(TCB)，使其更不容易受到攻击，并有可能实现全面的形式验证。鉴于这些优势，微内核被广泛应用于各种高可靠性领域，如航空航天、汽车和医疗设备。由于微内核系统中存在多个内核，在同一时间内会运行多个程序，即存在系统服务的并发。如何对系统服务进行并发管理，是微内核操作系统的一大难题。
在第三代微内核seL4中，使用IPC快速路径(Fast Path)处理调用(Call)和等待回复(Reply Wait)系统调用，其中IPC消息在CPU寄存器中传输。对于快速路径，消息将立即发送，控制流将直接传输，而无需进入代价高昂的调度逻辑。1990年，Bershad等人提出了一种同步的进程间通信设计，和主流IPC相比，它简化了IPC中的控制流切换，让客户端“执行服务端的代码”，还简化了数据传输，用共享参数栈和寄存器传递数据。这种设计下，内核不会进行完整的上下文切换，而是只切换地址空间(页表)等和请求处理相关的系统状态。其中，不会设计线程和优先级的切换，也不会调用调度器。它可以减少内核调度的时间，并简化内核中的IPC处理。这种思想还被应用在了Mach微内核的优化版本中。2005年，Uhlig提出，在服务器-客户端类型的进程间通信中，为了调用系统服务，应用程序向OS服务器发送IPC。这种通信用两次IPC代替了宏内核中的所有系统调用，因此是最关键的性能操作。为了最小化IPC开销，在从客户端线程切换到服务器线程时不会调用调度程序，而是在客户端的时间片上执行服务器，该方案最早是由Bershad等人提出的。
对于嵌入式系统中的并发性问题，也有许多研究，其中线程池技术是一种提高并发性常用的设计。它通过预先创建并共用线程，降低线程频繁创建和销毁导致的系统开销，缩短响应时间。其典型实现方式如下，初始化阶段，通过线程池创建一定数量的线程，在任务到来时，从线程池中选择空闲线程处理任务，若所有线程均忙碌，则在任务队列中进行排队。2003年，Bagchi提出了一种将事件驱动模型和多线程模型相结合的架构。它在执行过程中，将IPC语义的决定赋予进程，以便它们可以根据需要以灵活的方式混合阻塞和非阻塞语义。而且，引入线程池后，线程池中的工作线程被有效调度，以最大限度地减少处理时间和动态线程开销的浪费。该架构以富有成效的方式利用了事件驱动模型和多线程模型的优点来利用并发性和保护。然而，该架构在IPC上下文切换带来的开销上并没有做出优化。
综上所述，现有技术虽然在一定程度上突破了IPC的性能瓶颈，但是还不能支持大多数系统服务提供低时延且高并发的服务，例如文件系统、网络等，在具体应用场景的效果并不理想。
发明内容
本发明的目的在于克服现有技术的不足，提供一种微内核中系统服务并发调用方法，结合线程池和LRPC模型，提高微内核操作系统中系统服务的并发性。
为了实现上述发明目的，本发明微内核中系统服务并发调用方法包括以下步骤：
S1：系统服务向内核进行注册，内核为每个系统服务提供服务的抽象，即为其生成服务描述符，各个系统服务将自己的处理函数注册至对应的服务描述符中；
S2：在内核启动并初始化后，内核会创建第一个用户态线程并进入用户态；此后每当有系统服务注册完成后，内核为该系统服务创建一个线程池，该线程池包括管理线程、工作线程和任务等待队列，其中：
管理线程用于接收来自客户端的调用请求，并将其指派到工作线程执行；
工作线程对应系统服务提供的全部服务或部分服务，具体配置根据实际情况设置，用于对管理线程指派的调用请求进行执行；
任务等待队列用于记录自客户端接收的、等待执行的调用请求；
S3：基于LRPC模型进行系统服务调用，具体方法如下：
1)客户端创建一个线程，向内核发送对系统服务的调用请求，内核验证客户端的正确性，如果验证不通过，则向客户端反馈错误提示信息，如果验证通过，则查找得到系统服务对应的服务描述符，为服务描述符分配两个资源：参数栈和连接记录，并返回给客户端线程一个该服务描述符的绑定对象，客户端线程将需要向系统服务传递的参数存放至参数栈，并通过绑定对象找到系统服务对应的服务描述符，然后向系统服务发起通信；
2)内核验证参数栈和连接记录的正确性，如果验证未通过，则向客户端反馈错误提示信息，如果验证通过，进入步骤3)；
3)内核检测当前是否存在并发调用，如果存在，则将该调用请求存放至所调用系统服务线程池的任务等待队列中，如果不存在，进入步骤4)；
4)内核将客户端线程的返回地址和栈指针存放到连接记录；
5)内核将连接记录发送至线程池中管理线程的栈上，管理线程为本次调用分配相应的工作线程，然后内核将参数栈同时映射到本次调用系统服务的工作线程和客户端线程；
6)内核切换至本次调用的系统服务工作线程的线程地址空间；
7)内核找到系统服务线程池中本次调用的工作线程的运行栈(执行代码所用的栈)；
8)内核将当前运行的客户端线程的栈指针设置为本次调用系统服务工作线程的运行栈地址；
9)内核将当前运行的客户端线程的代码指针指向本次调用系统服务工作线程地址空间中的处理函数；
10)内核在当前运行的客户端线程执行系统服务提供的处理函数，得到本次调用的执行结果，根据连接记录中客户端线程的返回地址将执行结果返回至客户端，本次调用结束。
本发明微内核中系统服务并发调用方法，系统服务向内核进行注册，内核为每个系统服务提生成服务描述符，各个系统服务将自己的处理函数注册至对应的服务描述符中；内核为注册完成的系统服务创建一个线程池，该线程池包括管理线程、工作线程和任务等待队列；当客户端需要调用系统服务时，基于LRPC模型向内核进行系统服务调用。
本发明具有以下有益效果：
1)本发明在微内核操作系统中引入线程池，提高对并发系统服务的管理能力；
2)本发明通过在微内核操作系统中引入LRPC模型，与现有微内核中的IPC机制相比，减少了内核上下文切换的次数，也不会涉及到线程的切换，，可以有效降低IPC开销；
3)本发明针对微内核操作系统中低并发的缺点，引入线程池，结合LRPC模块，形成高并发系统服务框架，提高微内核中服务程序的并发性，使得即使在高并发环境下，微内核操作系统中如文件系统、网络协议等也能提供较高性能的服务。
附图说明
图1是本发明微内核中系统服务并发调用方法的具体实施方式流程图。
具体实施方式
下面结合附图对本发明的具体实施方式进行描述，以便本领域的技术人员更好地理解本发明。需要特别提醒注意的是，在以下的描述中，当已知功能和设计的详细描述也许会淡化本发明的主要内容时，这些描述在这里将被忽略。
实施例
图1是本发明微内核中系统服务并发调用方法的具体实施方式流程图。如图1所示，本发明微内核中系统服务并发调用方法的具体步骤包括：
S101：注册并生成服务描述符：
内核中的系统服务向内核进行注册，内核为每个系统服务提供服务的抽象，即为其生成服务描述符，各个系统服务将自己的处理函数注册至对应的服务描述符中。
S102：创建线程池：
线程池是一种多线程处理形式，利用线程池技术能有效提高系统实时性和整体性能。其主要的思想是在服务器启动时，自动创建一个对象池，并在这个对象池中创建N个空闲线程。当有客户请求时，服务器自动分配给该客户1个空闲线程。当线程池中所有线程都处于繁忙状态时，则该请求自动进入等待队列。线程池有工作组模型、主从模型和管道模型3种。其中主从模型是指线程池中有1个或多个线程处于管理者(Master)的地位，而其他线程处于被管理(Slavers)的地位。Master接受用户的请求，并将其指派到其他Slaver线程执行。主从模型具有易于管理、可移植性高、易于开发等特点，这些特点更符合嵌入式环境下系统开发的要求，因此本发明中采用主从模型。
在本发明中，在内核启动并初始化后，内核会创建第一个用户态线程并进入用户态。每当有系统服务注册完成后，内核为该系统服务创建一个线程池，该线程池包括管理线程、工作线程和任务等待队列，其中：
管理线程用于接收来自客户端的调用请求，并将其指派到工作线程执行；
工作线程对应系统服务提供的全部服务或部分服务，具体配置根据实际情况设置，用于对管理线程指派的调用请求进行执行；
任务等待队列用于记录自客户端接收的、等待执行的调用请求。
为了使得主从模型线程池的工作效率达到最优化，本实施例中对于线程池初始大小、动态调整策略和线程死锁处理这三个关键问题进行了研究，提出了解决方法，具体方法如下：
对于线程池的初始大小，本实施例中根据系统服务的服务范围和服务频率，来计算线程池的初始大小N：
Figure BDA0003879912030000051
其中，K表示历史数据中调用该系统服务的客户端数量，Pk表示历史数据中调用该系统服务的客户端的频率，λ表示预设的常数，其取值范围为[0.5,1]。
在运行过程中，管理线程对线程池的使用情况进行监控并进行动态调整，具体方法如下：
内核对线程池中工作线程的使用率进行统计，当工作线程的使用率大于等于预设阈值T1，则新建工作线程，当工作线程的使用率小于等于预设阈值T2，T2＜T1，则关闭部分未调用的工作线程。
对于线程死锁问题，管理线程在检测到工作线程发生死锁时，将该工作线程杀死，然后将在其上执行的客户端调用请求重新放入任务等待队列。
S103：基于LRPC模型进行系统服务调用：
LRPC模型是一个同步的进程间通信设计，在数据传输方面，它主要通过参数栈和寄存器来传递参数。参数栈中存放着调用中客户端给服务端传递的参数。系统内核为每一个LRPC连接预先分配好一个参数栈，并将其同时映射在客户端进程和系统服务进程的地址空间中。因此，在通信的过程中，客户端进程只需要将参数准备到参数栈中即可，不需要额外的内存拷贝。这个过程和函数调用中准备参数的过程是类似的。和L4中的短消息的IPC数据通信的方式类似，LRPC在通信调用的过程中，不会切换通用寄存器，而是直接使用当前的通用寄存器。客户端进程会优先使用寄存器，在寄存器不够的情况下用参数栈传递参数。
本发明，基于LRPC模型进行系统服务调用的具体步骤如下：
1)客户端创建一个调用线程，向内核发送对系统服务的调用请求，内核验证客户端的正确性，如果验证不通过，则向客户端反馈错误提示信息，如果验证通过，则查找得到系统服务对应的服务描述符，为服务描述符分配两个资源：参数栈和连接记录，并返回给客户端线程一个该服务描述符的绑定对象，客户端线程将需要向系统服务传递的参数存放至参数栈，并通过绑定对象找到系统服务对应的服务描述符，然后向系统服务发起通信。
2)内核验证参数栈和连接记录的正确性，如果验证未通过，则向客户端反馈错误提示信息，如果验证通过，进入步骤3)。
3)内核检测当前是否存在并发调用，如果存在，则将该调用请求存放至所调用系统服务线程池的任务等待队列中，如果不存在，进入步骤4)。
4)内核将客户端线程的返回地址和栈指针存放到连接记录。
5)内核将连接记录发送至线程池中管理线程的栈上，管理线程为本次调用分配相应的工作线程，然后内核将参数栈同时映射到本次调用系统服务的工作线程和客户端线程。
6)内核切换至本次调用的系统服务工作线程的线程地址空间。
7)内核找到系统服务线程池中本次调用的工作线程的运行栈(执行代码所用的栈)。
8)内核将当前运行的客户端线程的栈指针设置为本次调用系统服务工作线程的运行栈地址；
9)内核将当前运行的客户端线程的代码指针指向本次调用系统服务工作线程地址空间中的处理函数。
10)内核在当前运行的客户端线程执行系统服务提供的处理函数，得到本次调用的执行结果，根据连接记录中客户端线程的返回地址将执行结果返回至客户端，本次调用结束。
尽管上面对本发明说明性的具体实施方式进行了描述，以便于本技术领域的技术人员理解本发明，但应该清楚，本发明不限于具体实施方式的范围，对本技术领域的普通技术人员来讲，只要各种变化在所附的权利要求限定和确定的本发明的精神和范围内，这些变化是显而易见的，一切利用本发明构思的发明创造均在保护之列。

Claims (4)

1.一种微内核中系统服务并发调用方法，其特征在于，包括以下步骤：
S1：系统服务向内核进行注册，内核为每个系统服务提供服务的抽象，即为其生成服务描述符，各个系统服务将自己的处理函数注册至对应的服务描述符中；
S2：在内核启动并初始化后，内核会创建第一个用户态线程并进入用户态；此后每当有系统服务注册完成后，内核为该系统服务创建一个线程池，该线程池包括管理线程、工作线程和任务等待队列，其中：
管理线程用于接收来自客户端的调用请求，并将其指派到工作线程执行；
工作线程对应系统服务提供的全部服务或部分服务，具体配置根据实际情况设置，用于对管理线程指派的调用请求进行执行；
任务等待队列用于记录自客户端接收的、等待执行的调用请求；
S3：基于LRPC模型进行系统服务调用，具体方法如下：
1）客户端创建一个线程，向内核发送对系统服务的调用请求，内核验证客户端的正确性，如果验证不通过，则向客户端反馈错误提示信息，如果验证通过，则查找得到系统服务对应的服务描述符，为服务描述符分配两个资源：参数栈和连接记录，并返回给客户端线程一个该服务描述符的绑定对象，客户端线程将需要向系统服务传递的参数存放至参数栈，并通过绑定对象找到系统服务对应的服务描述符，然后向系统服务发起通信；
2）内核验证参数栈和连接记录的正确性，如果验证未通过，则向客户端反馈错误提示信息，如果验证通过，进入步骤3）；
3）内核检测当前是否存在并发调用，如果存在，则将该调用请求存放至所调用系统服务线程池的任务等待队列中，如果不存在，进入步骤4）；
4）内核将客户端线程的返回地址和栈指针存放到连接记录；
5）内核将连接记录发送至线程池中管理线程的栈上，管理线程为本次调用分配相应的工作线程，然后内核将参数栈同时映射到本次调用系统服务的工作线程和客户端线程；
6）内核切换至本次调用的系统服务工作线程的线程地址空间；
7）内核找到系统服务线程池中本次调用的工作线程的运行栈；
8）内核将当前运行的客户端线程的栈指针设置为本次调用系统服务工作线程的运行栈地址；
9）内核将当前运行的客户端线程的代码指针指向本次调用系统服务工作线程地址空间中的处理函数；
10）内核在当前运行的客户端线程执行系统服务提供的处理函数，得到本次调用的执行结果，根据连接记录中客户端线程的返回地址将执行结果返回至客户端，本次调用结束。
2.根据权利要求1所述的微内核中系统服务并发调用方法，其特征在于，所述线程池的初始大小
Figure QLYQS_1
根据系统服务的服务范围和服务频率计算：
Figure QLYQS_2
其中，
Figure QLYQS_3
表示历史数据中调用该系统服务的客户端数量，/>
Figure QLYQS_4
表示历史数据中调用该系统服务的客户端的频率，/>
Figure QLYQS_5
表示预设的常数，其取值范围为/>
Figure QLYQS_6
。
3.根据权利要求1所述的微内核中系统服务并发调用方法，其特征在于，所述管理线程对线程池的使用情况进行监控并进行动态调整，具体方法如下：
内核对线程池中工作线程的使用率进行统计，当工作线程的使用率大于等于预设阈值
Figure QLYQS_7
，则新建工作线程，当工作线程的使用率小于等于预设阈值/>
Figure QLYQS_8
，/>
Figure QLYQS_9
，则关闭部分未调用的工作线程。
4.根据权利要求1所述的微内核中系统服务并发调用方法，其特征在于，所述管理线程在检测到工作线程发生死锁时，将该工作线程杀死，然后将在其上执行的客户端调用请求重新放入任务等待队列。
CN202211226254.6A 2022-10-09 2022-10-09 微内核中系统服务并发调用方法 Active CN115480904B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202211226254.6A CN115480904B (zh) 2022-10-09 2022-10-09 微内核中系统服务并发调用方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202211226254.6A CN115480904B (zh) 2022-10-09 2022-10-09 微内核中系统服务并发调用方法

Publications (2)

Publication Number Publication Date
CN115480904A CN115480904A (zh) 2022-12-16
CN115480904B true CN115480904B (zh) 2023-06-09

Family

ID=84393642

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202211226254.6A Active CN115480904B (zh) 2022-10-09 2022-10-09 微内核中系统服务并发调用方法

Country Status (1)

Country Link
CN (1) CN115480904B (zh)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115794450B (zh) * 2023-02-13 2023-06-06 中国人民解放军国防科技大学 一种面向微内核系统服务的并行性优化方法、系统及介质

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1570855A (zh) * 2004-04-30 2005-01-26 浙江大学 Arm处理器架构的微内核设计方法
EP2977909A1 (en) * 2013-04-26 2016-01-27 Huawei Technologies Co., Ltd. Method and system of communication among multiple cores

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1570855A (zh) * 2004-04-30 2005-01-26 浙江大学 Arm处理器架构的微内核设计方法
EP2977909A1 (en) * 2013-04-26 2016-01-27 Huawei Technologies Co., Ltd. Method and system of communication among multiple cores

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
Fast Interprocess Communication Algorithm in Microkernel;Xinghai Peng 等;International Journal of Performability Engineering;第16卷(第2期);185-193 *
Inter-Core Communication Mechanisms for Microkernel Operating System based on Signal Transmission and Shared Memory;Cheng Liu 等;2021 7th International Symposium on System and Software Reliability (ISSSR);188-197 *

Also Published As

Publication number Publication date
CN115480904A (zh) 2022-12-16

Similar Documents

Publication Publication Date Title
Anderson et al. Real-time computing with lock-free shared objects
US8028292B2 (en) Processor task migration over a network in a multi-processor system
KR100898315B1 (ko) 인핸스드 런타임 호스팅
US8572626B2 (en) Symmetric multi-processor system
Sengupta et al. Scheduling multi-tenant cloud workloads on accelerator-based systems
WO2009113381A1 (ja) マルチプロセッサシステム、マルチプロセッサシステムのｏｓ間デバイス共有方法
US7103631B1 (en) Symmetric multi-processor system
CN115480904B (zh) 微内核中系统服务并发调用方法
US7552434B2 (en) Method of performing kernel task upon initial execution of process at user level
CN115495262A (zh) 一种微内核操作系统及进程间消息的处理方法
Bertogna et al. Static-priority scheduling and resource hold times
Zhou et al. MPIX Stream: An explicit solution to hybrid MPI+ X programming
US20100169897A1 (en) System, Method and Medium for Providing Asynchronous Input and Output with Less System Calls to and From an Operating System
CA2350922C (en) Concurrent processing for event-based systems
CN113791898B (zh) 一种基于TrustZone的可信微内核操作系统
CN116302391A (zh) 一种多线程的任务处理方法及相关装置
CN117407054A (zh) 中断处理方法、电子设备和存储介质
US6865579B1 (en) Simplified thread control block design
CN112749020A (zh) 一种物联网操作系统的微内核优化方法
Lu et al. Developing a concurrent service orchestration engine in ccr
CN101295269B (zh) 一种基于事务的构件交互同步的方法
Ferrari et al. Multiparadigm distributed computing with TPVM
CN111459620A (zh) 安全容器操作系统到虚拟机监控器的信息调度方法
Seo et al. An effective design of master-slave operating system architecture for multiprocessor embedded systems
WO2014110701A1 (zh) 独立主动构件和可运行主动构件组装模型及构件拆分方法

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant