A static scheduling approach to enable safety-critical OpenMP applications

机译：静态调度方法可实现对安全至关重要的OpenMP应用程序

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Parallel computation is fundamental to satisfy the performance requirements of advanced safety-critical systems. OpenMP is a good candidate to exploit the performance opportunities of parallel platforms. However, safety-critical systems are often based on static allocation strategies, whereas current OpenMP implementations are based on dynamic schedulers. This paper proposes two OpenMP-compliant static allocation approaches: an optimal but costly approach based on an ILP formulation, and a sub-optimal but tractable approach that computes a worst-case makespan bound close to the optimal one.

机译：并行计算是满足高级安全关键系统的性能要求的基础。 OpenMP是利用并行平台性能机会的理想人选。但是，对安全至关重要的系统通常基于静态分配策略，而当前的OpenMP实现则基于动态调度程序。本文提出了两种与OpenMP兼容的静态分配方法：一种基于ILP公式的最优但昂贵的方法，以及一种次优但易处理的方法，该方法计算的最坏情况下的制造跨度接近最优方法。

著录项

来源
《Asia and South Pacific Design Automation Conference》|2017年|659-665|共7页
会议地点
作者
Alessandra Melani; Maria A. Serrano; Marko Bertogna; Isabella Cerutti; Eduardo Quiñones; Giorgio Buttazzo;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Analytical models; Resource management; Computational modeling; Dynamic scheduling; Processor scheduling; Predictive models; Time factors;

机译：分析模型;资源管理;计算模型;动态调度;处理器调度;预测模型;时间因素;

相似文献

外文文献
中文文献
专利

1. Static Coarse Grain Task Scheduling with Cache Optimization Using OpenMP [J] . Hirofumi Nakano, Kazuhisa Ishizaka, Motoki Obata, International journal of parallel programming . 2003,第3期

机译：使用OpenMP进行缓存优化的静态粗粒度任务计划
2. DARPA seeks to enable machine autonomy for safety-critical aircraft applications [J] . John Keller Military & Aerospace Electronics . 2017,第8期

机译：DARPA致力于为安全关键型飞机应用实现机器自主
3. Static stack analysis for safety-critical applications [J] . Jose F. Ruiz Embedded System Engineering . 2006,第8期

机译：用于安全关键型应用程序的静态堆栈分析
4. A static scheduling approach to enable safety-critical OpenMP applications [C] . Alessandra Melani, Maria A. Serrano, Marko Bertogna, Asia and South Pacific Design Automation Conference . 2017

机译：一种静态调度方法，可以启用安全关键的OpenMP应用程序
5. Design of safety-critical applications, a synthesis approach. [D] . Pinello, Claudio. 2004

机译：安全关键型应用程序的设计，一种综合方法。
6. An approach to control of bioreactors. Application of the gain–scheduling method [O] . Estrella Alvarez, Carmen Riverol, J. M. Correa, 1999

机译：一种控制生物反应器的方法。增益调度方法的应用
7. A static scheduling approach to enable safety-critical OpenMP applications [O] . Melani, Alessandra, Serrano, Maria A., Bertogna, Marko, 2017

机译：一种静态调度方法，用于启用安全关键的Openmp应用程序

A static scheduling approach to enable safety-critical OpenMP applications

摘要

著录项

相似文献

相关主题

期刊订阅