Many-Core Scheduling of Data Parallel Applications using SMT Solvers

被引:9
|
作者
Tendulkar, Pranav [1 ]
Poplavko, Peter [1 ]
Galanommatis, Ioannis [1 ]
Maler, Oded [1 ]
机构
[1] Univ Grenoble Alpes, Verimag, F-38610 Gieres, France
关键词
task graph; scheduling; multiprocessor; DMA;
D O I
10.1109/DSD.2014.10
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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.
引用
收藏
页码:615 / 622
页数:8
相关论文
共 50 条
  • [21] Parallel Patterns for General Purpose Many-Core
    Buono, Daniele
    Danelutto, Marco
    Lametti, Silvia
    Torquati, Massimo
    PROCEEDINGS OF THE 2013 21ST EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING, 2013, : 131 - 139
  • [22] A Semantic Model for Many-Core Parallel Computing
    Zhang, Nan
    Duan, Zhenhua
    COMBINATORIAL OPTIMIZATION AND APPLICATIONS, 2011, 6831 : 464 - 479
  • [23] A many-core based parallel tabu search
    Lam, Yuet M.
    Luk, Wayne
    International Journal of Computers and Applications, 2014, 36 (01) : 15 - 22
  • [24] Parallel neighbourhood search on many-core platforms
    Lam, Yuet Ming
    Tsoi, Kuen Hung
    Luk, Wayne
    INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2013, 8 (03) : 281 - 293
  • [25] Task Scheduling with Nonlinear Costs using SMT Solvers
    Helunatnejad, Mohammad
    Pedrielli, Giulia
    Fainekos, Georgios
    2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2019, : 183 - 188
  • [26] On the Acceleration of Wavefront Applications using Distributed Many-Core Architectures
    Pennycook, S. J.
    Hammond, S. D.
    Mudalige, G. R.
    Wright, S. A.
    Jarvis, S. A.
    COMPUTER JOURNAL, 2012, 55 (02): : 138 - 153
  • [27] Parallel optimization using/for multi and many-core high performance computing
    Melab, Nouredine
    Zomaya, Albert Y.
    Chakroun, Imen
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2018, 112 : 109 - 110
  • [28] Using CP/SMT Solvers for Scheduling and Routing of AGVs
    Riazi, Sarmad
    Lennartson, Bengt
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2021, 18 (01) : 218 - 229
  • [29] Message Scheduling for Performant, Many-Core Belief Propagation
    Van der Merwe, Mark
    Joseph, Vinu
    Gopalakrishnan, Ganesh
    2019 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2019,
  • [30] Scheduling for Better Energy Efficiency on Many-Core Chips
    Kang, Chanseok
    Lee, Seungyul
    Lee, Yong-Jun
    Lee, Jaejin
    Egger, Bernhard
    JOB SCHEDULING STRATEGIES FOR PARALLEL PROCESSING, JSSPP 2016, 2017, 10353 : 46 - 68