Download PDFOpen PDF in browser

A Software Architecture for Handling Complex Critical Section Constraints on Multiprocessors in a Fault-Tolerant Real-Time Embedded System

11 pagesPublished: September 26, 2019

Abstract

In a real-time embedded system which uses a primary and an alternate for each real-time task to achieve fault tolerance, there is a need to allow both primaries and alternates to have critical sections/segments in which shared data structures can be read and updated while guaranteeing that the execution of any part of one critical section will not be interleaved with or overlap with the execution of any part of a critical section belonging to some other primary or alternate which reads and writes on those shared data structures. In this paper a software architecture is presented which effectively handles critical section constraints where both primaries and alternates may have critical sections which can either overrun or underrun, while still guaranteeing that all primaries or alternates that do not overrun will always meet their deadlines while keeping the shared data in a consistent state on a multiprocessor in a fault tolerant real-time embedded system.

Keyphrases: alternate, critical section, deadline, embedded system, fault tolerance, overrun, primary, real time, shared data, underrun

In: Quan Yuan, Yan Shi, Les Miller, Gordon Lee, Gongzhu Hu and Takaaki Goto (editors). Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering, vol 63, pages 251-261.

BibTeX entry
@inproceedings{CAINE2019:Software_Architecture_Handling_Complex,
  author    = {Jia Xu},
  title     = {A Software Architecture for Handling Complex Critical Section Constraints on Multiprocessors in a Fault-Tolerant Real-Time Embedded System},
  booktitle = {Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering},
  editor    = {Quan Yuan and Yan Shi and Les Miller and Gordon Lee and Gongzhu Hu and Takaaki Goto},
  series    = {EPiC Series in Computing},
  volume    = {63},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/dm9M},
  doi       = {10.29007/brkj},
  pages     = {251-261},
  year      = {2019}}
Download PDFOpen PDF in browser