Advertisement

Design of Specific P Systems Simulators on GPUs

  • Miguel Á. Martínez-del-AmorEmail author
  • David Orellana-Martín
  • Ignacio Pérez-Hurtado
  • Luis Valencia-Cabrera
  • Agustín Riscos-Núñez
  • Mario J. Pérez-Jiménez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11399)

Abstract

In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, having efficient simulation tools is crucial, and for this purpose, parallel platforms should be employed. So far, several parallel simulators for P systems have been developed, specifically targeting GPUs (Graphics Processing Units). Although being a hot topic within Membrane Computing, mapping P system parallelism on GPUs is still not a mature area. In the past, we have successfully accelerated the simulation of two specific families of P systems solving SAT with GPUs, and learned in the process some semantics ingredients that fit well on these parallel devices. We are extending this exploration by designing an specific simulator of a P system model for the FACTORIZATION problem. In this paper, we analyse the two main approaches for simulators, and depict some design decisions required for this case study.

Keywords

P systems Parallel simulation GPU computing 

Notes

Acknowledgments

The authors acknowledge the support from the research project MABICAP TIN2017-89842-P, cofinanced by “Ministerio de Economa, Industria y Competitividad” (MINECO) of Spain, through the “Agencia Estatal de Investigacin” (AEI), and by “Fondo Europeo de Desarrollo Regional” (FEDER) of the European Union.

References

  1. 1.
    Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J.: Simulation of P systems with active membranes on CUDA. Briefings Bioinform. 11(3), 313–322 (2010)CrossRefGoogle Scholar
  2. 2.
    Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J.: Simulating a P system based efficient solution to SAT by using GPUs. J. Logic Algebraic Program. 79(6), 317–325 (2010)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Martínez-del-Amor, M.A.: Accelerating membrane systems simulators using high performance computing with GPU, Ph.D. thesis, University of Seville, May 2013Google Scholar
  4. 4.
    Martínez-del-Amor, M.A., García-Quismondo, M., Macías-Ramos, L.F., Valencia-Cabrera, L., Riscos-Núñez, A., Pérez-Jiménez, M.J.: Simulating P systems on GPU devices: a survey. Fundam. Inform. 136(3), 269–284 (2015)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Martínez-del-Amor, M.A., Pérez-Carrasco, J., Pérez-Jiménez, M.J.: Characterizing the parallel simulation of P systems on the GPU. Int. J. Unconventional Comput. 9(5–6), 405–424 (2013)Google Scholar
  6. 6.
    Orellana-Martín, D., Valencia-Cabrera, L., Pérez-Jiménez, M.J.: The factorization problem: a new approach through membrane systems. In: Accepted paper in Membrane Computing Satellite Workshop of 17th International Conference on Unconventional Computation and Natural Computation, 25–29 June, Fontainebleau, France (2018)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Miguel Á. Martínez-del-Amor
    • 1
    Email author
  • David Orellana-Martín
    • 1
  • Ignacio Pérez-Hurtado
    • 1
  • Luis Valencia-Cabrera
    • 1
  • Agustín Riscos-Núñez
    • 1
  • Mario J. Pérez-Jiménez
    • 1
  1. 1.Research Group on Natural ComputingUniversidad de SevillaSevillaSpain

Personalised recommendations