Accelerating Energy Games Solvers on Modern Architectures

被引:1
|
作者
Formisano, Andrea [1 ]
Gentilini, Raffaella [1 ]
Vella, Flavio [2 ]
机构
[1] Univ Perugia, INdAM, Perugia, Italy
[2] Dividiti Ltd, Cambridge, England
关键词
Energy games; GPU-computing; CUDA;
D O I
10.1145/3149704.3149771
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Quantitative games, where quantitative objectives are defined on weighted game arenas, provide natural tools for designing faithful models of embedded controllers. Instances of these games are the so called Energy Games. Starting from a sequential baseline implementation, we investigate the use of massively data computation capabilities supported by modern GPUs to solve the initial credit problem for Energy Games. We present different parallel implementations on multi-core CPU and GPU systems. Our solution outperforms the baseline implementation by up to 36x speedup and obtains a faster convergence time on real-world graphs.
引用
收藏
页数:4
相关论文
共 50 条
  • [1] Scalable Energy Games Solvers on GPUs
    Formisano, Andrea
    Gentilini, Raffaella
    Vella, Flavio
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2021, 32 (12) : 2970 - 2982
  • [2] A study of concurrent multi-frontal solvers for modern massively parallel architectures
    Trynda, Jan
    Wozniak, Maciej
    Rojas, Sergio
    JOURNAL OF COMPUTATIONAL SCIENCE, 2024, 75
  • [3] RabbitKSSD: accelerating genome distance estimation on modern multi-core architectures
    Xu, Xiaoming
    Yin, Zekun
    Yan, Lifeng
    Yi, Huiguang
    Wang, Hua
    Schmidt, Bertil
    Liu, Weiguo
    BIOINFORMATICS, 2023, 39 (11)
  • [4] Accelerating mesh-based Monte Carlo method on modern CPU architectures
    Fang, Qianqian
    Kaeli, David R.
    BIOMEDICAL OPTICS EXPRESS, 2012, 3 (12):
  • [5] Prioritization methods for accelerating MDP solvers
    Wingate, D
    Seppi, KD
    JOURNAL OF MACHINE LEARNING RESEARCH, 2005, 6 : 851 - 881
  • [6] Accelerating algebraic multigrid solvers on NVIDIA GPUs
    Liu, Hui
    Yang, Bo
    Chen, Zhangxin
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2015, 70 (05) : 1162 - 1181
  • [7] Accelerating LTL satisfiability checking by SAT solvers
    Li, Jianwen
    Pu, Geguang
    Zhang, Lijun
    Vardi, Moshe Y.
    He, Jifeng
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (06) : 1011 - 1030
  • [8] Accelerating SIFT on Parallel Architectures
    Warn, Seth
    Emeneker, Wesley
    Cothren, Jackson
    Apon, Amy
    2009 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING AND WORKSHOPS, 2009, : 577 - +
  • [9] Neural net solvers for differential games
    Bankes, Steve
    Neural Networks, 1988, 1 (1 SUPPL)
  • [10] New Tridiagonal Systems Solvers on GPU architectures
    Dieguez, Adrian P.
    Amor, Margarita
    Doallo, Ramon
    2015 IEEE 22ND INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING (HIPC), 2015, : 85 - 93