Many-Core Scheduling of Data Parallel Applications Using SMT Solvers

Author

Tendulkar, Pranav ; Poplavko, Peter ; Galanommatis, Ioannis ; Maler, Oded

Author_Institution

Verimag, Univ. Grenoble Alpes, Gieres, France

fYear

2014

fDate

27-29 Aug. 2014

Firstpage

615

Lastpage

622

Abstract

To program recently developed many-core systems-on-chip two traditionally separate performance optimization problems have to be solved together. Firstly, it is the parallel scheduling on a shared-memory multi-core system. Secondly, it is the co-scheduling of network communication and processor computation. This is because many-core systems are networks of multi-core clusters. In this paper, we demonstrate the applicability of modern constraint solvers to efficiently schedule parallel applications on many-cores and validate the results by running benchmarks on a real many-core platform.

Keywords

optimisation; parallel processing; processor scheduling; shared memory systems; system-on-chip; SMT solvers; co-scheduling; data parallel applications; many-core scheduling; many-core systems-on-chip; modern constraint solvers; multicore clusters; network communication; parallel scheduling; performance optimization problems; processor computation; shared-memory multicore system; Aerospace electronics; Computational modeling; Delays; Optimal scheduling; Processor scheduling; Schedules; Scheduling; DMA; multiprocessor; scheduling; task graph;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital System Design (DSD), 2014 17th Euromicro Conference on

Conference_Location

Verona

Type

conf

DOI

10.1109/DSD.2014.10

Filename

6927298