Task generation and compile-time scheduling for mixed data-control embedded software

被引：17

作者：

Cortadella, J ^{[1
]}

Kondratyev, A ^{[1
]}

Lavagno, L ^{[1
]}

Massot, M ^{[1
]}

Moral, S ^{[1
]}

Passerone, C ^{[1
]}

Watanabe, Y ^{[1
]}

Sangiovanni-Vincentelli, A ^{[1
]}

机构：

[1] Univ Politecn Catalunya, E-08028 Barcelona, Spain

来源：

37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000 | 2000年

关键词：

D O I：

10.1145/337292.337553

中图分类号：

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

学科分类号：

0812 ;

摘要：

The problem of optimal software synthesis for concurrent processes to be implemented on a single processor is addressed. The approach calls for the representation of the concurrent processes with Petri nets that give a theoretical foundation for the scheduling algorithm that sequentializes the concurrent processes and for the code generation step. The approach maximizes the amount of static scheduling to reduce the need of context switch and operating system intervention. Experimental results show the potential of our method to reduce software design time and errors.

引用

页码：489 / 494

页数：6

共 50 条

[41] Compile-Time Type Selection of Optimized Data Layout and Memory Access Patterns for FDTD Calculations [J].

Infantolino, Jamie ;

Richie, David .

2016 IEEE/ACES INTERNATIONAL CONFERENCE ON WIRELESS INFORMATION TECHNOLOGY AND SYSTEMS (ICWITS) AND APPLIED COMPUTATIONAL ELECTROMAGNETICS (ACES), 2016,

[42] REDUCING FALSE SHARING ON SHARED-MEMORY MULTIPROCESSORS THROUGH COMPILE-TIME DATA TRANSFORMATIONS [J].

JEREMIASSEN, TE ;

EGGERS, SJ .

SIGPLAN NOTICES, 1995, 30 (08) :179-188

[43] A Session Type Provider Compile-Time API Generation of Distributed Protocols with Refinements in F# [J].

Neykova, Rumyana ;

Hu, Raymond ;

Yoshida, Nobuko ;

Abdeljallal, Fahd .

CC'18: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2018, :128-138

[44] Compile-time support for efficient data race detection in shared-memory parallel programs [J].

Mellor-Crummey, John .

SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1993, 28 (12)

[45] Run-time versus compile-time instruction scheduling in superscalar (RISC) processors: Performance and trade-off [J].

Leung, A ;

Palem, KV ;

Ungureanu, C .

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1997, 45 (01) :13-28

[46] Mixed-mode Information Flow Tracking with Compile-time Taint Semantics Extraction and Offline Replay [J].

Hung, Yu-Hsin ;

Jheng, Bing-Jhong ;

Li, Hong-Wei ;

Lai, Wen-Yang ;

Mallissery, Sanoop ;

Wu, Yu-Sung .

2021 IEEE CONFERENCE ON DEPENDABLE AND SECURE COMPUTING (DSC), 2021,

[47] THE POTENTIAL OF COMPILE-TIME ANALYSIS TO ADAPT THE CACHE COHERENCE ENFORCEMENT STRATEGY TO THE DATA SHARING CHARACTERISTICS [J].

MOUNESTOUSSI, F ;

LILJA, DJ .

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1995, 6 (05) :470-481

[48] A task generation method for the development of embedded software [J].

Gao, Zhigang ;

Wu, Zhaohui ;

Li, Hong .

COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 3994 :918-921

[49] Runtime Hardware/Software Task Transition Scheduling for Data-Adaptable Embedded Systems [J].

Sandoval, Nathan ;

Mackin, Casey ;

Whitsitt, Sean ;

Lysecky, Roman ;

Sprinkle, Jonathan .

PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (FPT), 2013, :342-345

[50] Combining Run-time Checks and Compile-time Analysis to Improve Control Flow Auto-Vectorization [J].

Liu, Bangtian ;

Laird, Avery ;

Tsang, Wai Hung ;

Mahjour, Bardia ;

Dehnavi, Maryam Mehri .

PROCEEDINGS OF THE 2022 31ST INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PACT 2022, 2022, :439-450

← 1 2 3 4 5 →