<p>The proliferation of smart devices within the realm of the Industrial Internet-of-Things (IIoT) has led to increased application of microkernels in safety-critical embedded devices, owing to their minimality principle and fault isolation capabilities. However, when dealing with network I/O-intensive applications, such as those involving Programmable Logic Controllers (PLCs), there is a pronounced need for stringent real-time, high concurrency, and event scheduling guarantees. The migration of industrial runtime environments to microkernel architecture thus presents notable challenges, especially concerning inter-process communication (IPC) in general-purpose devices. In this paper, we introduce a novel mechanism, termed High-Speed Event Bus (HSEB), designed to reduce the substantial IPC overhead associated with microkernels. The HSEB mechanism facilitates asynchronous IPC by adeptly harnessing coroutines and a publish/subscribe events mechanism. Through rigorous experimentation within a representative industrial control system setup, we demonstrate that the average cycle firing delay for industrial applications is markedly reduced to 5.3<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\upmu\)</EquationSource> </InlineEquation>s (37,857 cycles). Our proposed mechanism, when benchmarked against the seL4-fastpath, exhibits a significant speed enhancement of 6.49x, and further augments I/O data throughput contingent upon the applied optimization techniques. This study thereby substantiates the enhanced efficacy of microkernel communication facilities in accommodating the demanding real-time requirements inherent in PLC-driven industrial systems.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

HSEB: optimizing microkernel performance for network I/O-intensive applications via High-Speed Event Bus mechanism

  • Xiaoying Wang,
  • Wai Chen

摘要

The proliferation of smart devices within the realm of the Industrial Internet-of-Things (IIoT) has led to increased application of microkernels in safety-critical embedded devices, owing to their minimality principle and fault isolation capabilities. However, when dealing with network I/O-intensive applications, such as those involving Programmable Logic Controllers (PLCs), there is a pronounced need for stringent real-time, high concurrency, and event scheduling guarantees. The migration of industrial runtime environments to microkernel architecture thus presents notable challenges, especially concerning inter-process communication (IPC) in general-purpose devices. In this paper, we introduce a novel mechanism, termed High-Speed Event Bus (HSEB), designed to reduce the substantial IPC overhead associated with microkernels. The HSEB mechanism facilitates asynchronous IPC by adeptly harnessing coroutines and a publish/subscribe events mechanism. Through rigorous experimentation within a representative industrial control system setup, we demonstrate that the average cycle firing delay for industrial applications is markedly reduced to 5.3 \(\upmu\) s (37,857 cycles). Our proposed mechanism, when benchmarked against the seL4-fastpath, exhibits a significant speed enhancement of 6.49x, and further augments I/O data throughput contingent upon the applied optimization techniques. This study thereby substantiates the enhanced efficacy of microkernel communication facilities in accommodating the demanding real-time requirements inherent in PLC-driven industrial systems.