A Model of Parallel Deterministic Real-Time Computation

被引：1

作者：

Lemerre, Matthieu ^{[1
]}

Ohayon, Emmanuel ^{[1
]}

机构：

[1] CEA, LIST, Embedded Real Time Syst Lab, F-91191 Gif Sur Yvette, France

来源：

PROCEEDINGS OF THE 2012 IEEE 33RD REAL-TIME SYSTEMS SYMPOSIUM (RTSS) | 2012年

关键词：

D O I：

10.1109/RTSS.2012.78

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents a model of computation based on real-time constraints and asynchronous message passing, and proves a sufficient and necessary condition for this model to be deterministic. The model is then extended with deterministic error handling, meaning that the same error yields the same consequences on the system. We consider two different error occurrence models: at a specific time, or at a specific instruction, and conclude that the "error at a specific time" model is more suitable for practical use. We proceed by presenting a concrete implementation of this model in the PharOS real-time system.

引用

页码：273 / 282

页数：10

共 50 条

[21] Real-time issues in the ada parallel model with openmp
Pinho, Luis Miguel
Royuela, Sara
Quiñones, Eduardo
Ada User Journal, 2020, 41 (03): : 177 - 182
[22] THE EXECUTION MODEL AND THE ARCHITECTURE FOR REAL-TIME PARALLEL SYSTEMS
YAMAGUCHI, Y
TODA, K
NISHIDA, K
TAKAHASHI, E
INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 177 - 182
[23] A real-time parallel image-processing model
Fleury, M
Sava, H
Downton, AC
Clark, AF
SIXTH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING AND ITS APPLICATIONS, VOL 1, 1997, (443): : 174 - 178
[24] Real-time parallel computation of disparity and optical flow using phase difference
Valentinotti, F
DiCaro, G
Crespi, B
MACHINE VISION AND APPLICATIONS, 1996, 9 (03) : 87 - 96
[25] Parallel Pipelined Array Architectures for Real-time Histogram Computation in Consumer Devices
Cadenas, Jose O.
Sherratt, R. Simon
Huerta, Pablo
Kao, Wen-Chung
IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2011, 57 (04) : 1460 - 1464
[26] Real-time winter traffic simulation tool - based on a deterministic model
Lindeberg, Morten
Kujala, Pentti
Toivola, Jarkko
Niemela, Helena
SCIENTIFIC JOURNALS OF THE MARITIME UNIVERSITY OF SZCZECIN-ZESZYTY NAUKOWE AKADEMII MORSKIEJ W SZCZECINIE, 2015, 42 (114): : 118 - 124
[27] Real-Time Research of Scramjet One Dimensional Model Simulation Based on Multi-Core Parallel Computation
Yang L.
Shi X.-X.
Liu X.-Y.
Li Y.
Su C.-Y.
Wang M.-J.
Tuijin Jishu/Journal of Propulsion Technology, 2022, 43 (06):
[28] Deterministic Parallel Fixpoint Computation
Kim, Sung Kook
Venet, Arnaud J.
Thakur, Aditya, V
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
[29] Probabilistic Model for Real-Time Flood Operation of a Dam Based on a Deterministic Optimization Model
Cuevas-Velasquez, Victor
Sordo-Ward, Alvaro
Garcia-Palacios, Jaime H.
Bianucci, Paola
Garrote, Luis
WATER, 2020, 12 (11) : 1 - 22
[30] Real-Time Methods in Reversible Computation
Pesu, Tommi
Phillips, Iain
REVERSIBLE COMPUTATION, RC 2015, 2015, 9138 : 45 - 59

← 1 2 3 4 5 →