Analyzable Publish-Subcribe Communication Through a Wait-Free FIFO Channel for MPSoC Real-Time Applications

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Downloads (Pure)

Samenvatting

As a transparent communication protocol for concurrent distributed applications, the Publish-Subscribe (Pub-Sub) paradigm is a trending programming model in many recent industrial use-cases in robotics and avionics. To apply the Pub-Sub programming model for safety-critical concurrent realtime applications in Multi-Processor Systems on Chip (MPSoC) environments, a non-blocking wait-free First-In-First-Out (FIFO) channel is a fundamental requirement. However, the proposed approaches in the literature have no proven real-time guarantees. In this paper, we propose a novel wait-free FIFO approach for single-producer-single-consumer core-to-core communication through shared memory. By analyzing the execution paths of each involved process, we prove that the execution time of each read/write operation is bounded by a Worst Case Execution Time (WCET). Moreover, we define a Timed Automata model of our approach. Using the UPPAAL model checker, we prove freedom of deadlock and starvation. For the performance evaluation of the proposed approach, we apply a stochastic analysis technique on the defined UPPAAL model. Finally, we implement the proposed approach on the CompSOC platform as the underlying realtime MPSoC to show that the implementation conforms to the proposed formal model and to experimentally validate the formal properties. The experimental evaluation on an instance of CompSOC that works at 40 MHz has a throughput of 109K tokens per second.

Originele taal-2Engels
TitelProceedings - 2021 IEEE 14th International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2021
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's388-395
Aantal pagina's8
ISBN van elektronische versie978-1-6654-3860-5
DOI's
StatusGepubliceerd - 4 feb. 2022
Evenement14th IEEE International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2021 - Singapore, Singapore
Duur: 20 dec. 202123 dec. 2021
Congresnummer: 14

Congres

Congres14th IEEE International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2021
Verkorte titelMCSoC 2021
Land/RegioSingapore
StadSingapore
Periode20/12/2123/12/21

Bibliografische nota

Publisher Copyright:
© 2021 IEEE.

Vingerafdruk

Duik in de onderzoeksthema's van 'Analyzable Publish-Subcribe Communication Through a Wait-Free FIFO Channel for MPSoC Real-Time Applications'. Samen vormen ze een unieke vingerafdruk.

Citeer dit