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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
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)
Martínez-del-Amor, M.A.: Accelerating membrane systems simulators using high performance computing with GPU, Ph.D. thesis, University of Seville, May 2013
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)
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)
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)
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Martínez-del-Amor, M.Á., Orellana-Martín, D., Pérez-Hurtado, I., Valencia-Cabrera, L., Riscos-Núñez, A., Pérez-Jiménez, M.J. (2019). Design of Specific P Systems Simulators on GPUs. In: Hinze, T., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2018. Lecture Notes in Computer Science(), vol 11399. Springer, Cham. https://doi.org/10.1007/978-3-030-12797-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-030-12797-8_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-12796-1
Online ISBN: 978-3-030-12797-8
eBook Packages: Computer ScienceComputer Science (R0)