Using Colored Petri Nets for GPGPU Performance Modeling

被引:1
|
作者
Madougou, Souley [1 ]
Varbanescu, Ana Lucia [1 ]
de Laat, Cees [1 ]
机构
[1] Univ Amsterdam, Amsterdam, Netherlands
关键词
colored Petri nets; performance modeling and analysis; performance prediction; GPU architectures;
D O I
10.1145/2903150.2903167
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Performance analysis and modeling of applications running on GPUs is still a challenge for most designers and developers. State-of-the-art solutions are dominated by two classic approaches: statistical models that require a lot of training and profiling on existing hardware, and analytical models that require in-depth knowledge of the hardware platform and significant calibration. Both these classes separate the application from the hardware and attempt a high-level combination of the two models for performance prediction. In this work, we propose an orthogonal approach, based on high-level simulation. Specifically, we use Colored Petri Nets (CPN) to model both the hardware and the application. Using this model, the execution of the application is a simulation of the CPN model using warps as tokens. Our prototype implementation of this modeling approach demonstrates promising results on a few case studies on two different GPU architectures: both reasonably accurate predictions and detailed execution information are obtained. We conclude that CPN-based GPU performance modeling is an elegant solution for systematic performance prediction, and we focus further on optimizing the models to improve the execution time of the symbolic simulation.
引用
收藏
页码:240 / 249
页数:10
相关论文
共 50 条
  • [1] Using colored petri nets for conversation modeling
    Cost, RS
    Chen, Y
    Finin, T
    Labrou, Y
    Peng, Y
    [J]. ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 178 - 192
  • [2] Modeling of railway nets with colored Petri nets
    Paliulis, E
    Pranevicius, H
    [J]. TRANSPORT MEANS 2004: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE, 2004, : 39 - 43
  • [3] Flexible Negotiation Modeling by Using Colored Petri Nets
    Bai, Quan
    Zhang, Minjie
    Sim, Kwang Mong
    [J]. JOURNAL OF INFORMATION TECHNOLOGY RESEARCH, 2009, 2 (03) : 1 - 16
  • [4] Modeling Software Contention Using Colored Petri Nets
    Roy, Nilabja
    Dabholkar, Akshay
    Hamm, Nathan
    Dowdy, Larry
    Schmidt, Douglas
    [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS & SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2008, : 243 - 250
  • [5] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    [J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [6] Modeling membrane systems using colored stochastic Petri nets
    Fei Liu
    Monika Heiner
    [J]. Natural Computing, 2013, 12 : 617 - 629
  • [7] Modeling and Analysis of Security Protocols Using Colored Petri Nets
    Xu, Yang
    Xie, Xiaoyao
    [J]. JOURNAL OF COMPUTERS, 2011, 6 (01) : 19 - 27
  • [8] Modeling and simulation of a production system by using colored Petri nets
    Mert, Volkan
    Ozkan, Hanife Apaydm
    Aybar, Aydm
    [J]. ICCC 2007: 5TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL CYBERNETICS, PROCEEDINGS, 2007, : 161 - 165
  • [9] Modeling and recognition of hand gesture using colored Petri nets
    Nam, Y
    Wohn, K
    Lee-Kwang, H
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (05): : 514 - 521
  • [10] Modeling membrane systems using colored stochastic Petri nets
    Liu, Fei
    Heiner, Monika
    [J]. NATURAL COMPUTING, 2013, 12 (04) : 617 - 629