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 条
  • [21] Modeling and Performance Analysis of Cognitive Radio Networks Using Stochastic Timed Colored Petri Nets
    Djamila Boukredera
    Karima Adel-Aissanou
    [J]. Wireless Personal Communications, 2020, 112 : 1659 - 1687
  • [22] Performance Modeling Using Queueing Petri Nets
    Rak, Tomasz
    [J]. COMPUTER NETWORKS (CN 2017), 2017, 718 : 321 - 335
  • [23] Modeling and Analysis of an Online Score System Using Colored Petri Nets
    Xu, Yang
    Xie, Xiayao
    Xia, Daoxun
    Liu, Zhijie
    Chen, Lingmin
    [J]. PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION IN COMMUNICATION, 2009, : 432 - 436
  • [24] Modeling a Pharmaceutical Web-Service Using Colored Petri Nets
    Kalinina, Irina
    Gozhyj, Aleksandr
    Gozhyi, Victor
    [J]. 2022 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND INFORMATION TECHNOLOGIES (CSIT), 2022, : 345 - 348
  • [25] Modeling inheritance anomaly in concurrent systems using colored Petri nets
    Bauskar, B
    Mikolajczak, B
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4873 - 4878
  • [26] Modeling of Virtual Assembly and Disassembly Process Using Colored Petri Nets
    Wu Di-xiao
    Xu Xing-hua
    Shang Jie
    [J]. MECHANICAL ENGINEERING AND TECHNOLOGY, 2012, 125 : 603 - +
  • [27] Modeling of an automated integral logistics system using colored petri nets
    Ochoa, Maria P.
    Davila, Julian
    [J]. INGENIERIA Y COMPETITIVIDAD, 2019, 21 (01): : 63 - 71
  • [28] Modeling and Analysis of Authentication Protocols. Using Colored Petri Nets
    Xu, Yang
    Xie, Xiaoyao
    [J]. PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION IN COMMUNICATION, 2009, : 443 - 448
  • [29] MODELING AND ANALYSIS OF EMBEDDED MULTIMEDIA APPLICATIONS USING COLORED PETRI NETS
    Dey, Soumyajit
    Rokkam, Praveen
    Basu, Anupam
    [J]. INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2011, 2 (02) : 169 - 193
  • [30] MODELING AUTOMATED MANUFACTURING SYSTEMS USING A MODIFICATION OF COLORED PETRI NETS
    KOCHIKAR, VP
    NARENDRAN, TT
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1992, 9 (03) : 181 - 189