Lefticaru, Raluca; Macías-Ramos, Luis F.; Niculescu, Ionuţ Mihai; Mierlă, Laurenţiu Agent-based simulation of kernel P systems with division rules using FLAME. (English) Zbl 1483.68123 Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 286-306 (2017). Summary: Kernel P systems (or kP systems) bring together relevant features from several P systems flavours into a unified kernel model which allows solving complex problems using a straightforward code programming approach. kPWorkbench is a software suite enabling specification, parsing and simulation of kP systems models defined in the kernel P-Lingua (or kP-Lingua) programming language. It has been shown that any computation of a kP system involving only rewriting and communication rules can be simulated by a family of communicating stream X-machines (or CSXM), which are the core of FLAME agent based simulation environment. Following this, kPWorkbench enables translating kP-Lingua specifications into FLAME models, which can be simulated in a sequential or parallel (MPI based) way by using the FLAME framework. Moreover, FLAME GPU framework enables efficient simulation of CSXM on CUDA enabled GPGPU devices. In this paper we present an extension of kPWorkbench framework to generate FLAME models from kP-Lingua specifications including structural rules; and consider translation of FLAME specifications into FLAME GPU models. Also, we conduct a performance evaluation regarding simulation of equivalent kP systems and CSXM models in kPWorkbench and FLAME respectively.For the entire collection see [Zbl 1358.68015]. MSC: 68Q07 Biologically inspired models of computation (DNA computing, membrane computing, etc.) 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) Keywords:membrane computing; kernel P-systems; communicating stream X-machines; agent-based simulation Software:G-Hadoop; CUDA; OpenCL; Hadoop; kPWorkbench; CheCL; FLAME PDFBibTeX XMLCite \textit{R. Lefticaru} et al., Lect. Notes Comput. Sci. 10105, 286--306 (2017; Zbl 1483.68123) Full Text: DOI References: [1] Bai, H., Rolfe, M.D., Jia, W., Coakley, S., Poole, R.K., Green, J., Holcombe, M.: Agent-based modeling of oxygen-responsive transcription factors in Escherichia coli. PLoS Comput. Biol. 10(4), e1003595 (2014) [2] Bakir, M.E., Konur, S., Gheorghe, M., Niculescu, I., Ipate, F.: High performance simulations of kernel P systems. In: 2014 IEEE International Conference on High Performance Computing and Communications, 6th IEEE International Symposium on Cyberspace Safety and Security, 11th IEEE International Conference on Embedded Software and Systems, HPCC/CSS/ICESS, Paris, France, 20–22 August 2014, pp. 409–412. IEEE (2014) [3] Ciobanu, G., Wenyuan, G.: P systems running on a cluster of computers. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 123–139. Springer, Heidelberg (2004). doi: 10.1007/978-3-540-24619-0_9 [4] Diez Dolinski, L., Núñez Hervás, R., Cruz Echeandía, M., Ortega, A.: Distributed simulation of P systems by means of map-reduce: first steps with Hadoop and P-Lingua. In: Cabestany, J., Rojas, I., Joya, G. (eds.) IWANN 2011. LNCS, vol. 6691, pp. 457–464. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-21501-8_57 · Zbl 05959047 [5] García-Quismondo, M.: Modelling and simulation of real-life phenomena in membrane computing. Ph.D. thesis, University of Seville, November 2013 [6] Gheorghe, M., Ipate, F., Dragomir, C., Mierla, L., Valencia-Cabrera, L., García-Quismondo, M., Pérez-Jiménez, M.J.: Kernel P Systems - Version I. In: Eleventh Brainstorming Week on Membrane Computing (11BWMC), pp. 97–124, August 2013 [7] Gheorghe, M., Ipate, F., Mierla, L., Konur, S., kPWorkbench: a software framework for kernel P systems. In: Macías-Ramos, L.F., Păun, G., Riscos-Núñez, A., Valencia-Cabrera, L. (eds.) Thirteenth Brainstorming Week on Membrane Computing, WBMC, Sevilla, Spain, 2–6 February 2015, pp. 179–194. Fenix Editora (2015) [8] Gheorghe, M., Konur, S., Ipate, F., Mierla, L., Bakir, M.E., Stannett, M.: An integrated model checking toolset for kernel P systems. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 153–170. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-28475-0_11 · Zbl 1473.68080 [9] Gutiérrez, A., Fernández, L., Arroyo, F., Martínez, V.: Design of a hardware architecture based on microcontrollers for the implementation of membrane systems. In: Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006, pp. 350–353 (2006) [10] Ipate, F., Bălănescu, T., Kefalas, P., Holcombe, M., Eleftherakis, G.: A new model of communicating stream X-machine systems. Rom. J. Inf. Sci. Technol. 6(1), 165–184 (2003) [11] Ipate, F., Lefticaru, R., Mierlă, L., Cabrera, L.V., Han, H., Zhang, G., Dragomir, C., Jiménez, M.J.P., Gheorghe, M.: Kernal P systems: applications and implementations. In: Yin, Z., Pan, L., Fang, X. (eds.) Proceedings of The Eighth International Conference on Bio Inspired Computing: Theories and Applications (BIC-TA), pp. 1081–1089. Springer, Heidelberg (2013) [12] Kirk, D.B., Hwu, W.W.: Programming massively parallel processors: a hands-on approach, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2010) [13] Konur, S., Kiran, M., Gheorghe, M., Burkitt, M., IpateF.: Agent-based high-performance simulation of biological systems on the GPU. In: 17th IEEE International Conference on High Performance Computing and Communications, HPCC, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS, and 12th IEEE International Conference on Embedded Software and Systems, ICESS, New York, NY, USA, 24–26 August 2015, pp. 84–89. IEEE (2015) [14] Macías-Ramos, L.F.: Developing efficient simulators for cell machines. Ph.D. thesis, University of Seville, February 2016 [15] Martínez-del-Amor, M.Á.: Accelerating membrane systems simulators using high performance computing with GPU. Ph.D. thesis, University of Seville, May 2013 [16] 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) · Zbl 1356.68067 [17] Martínez-del-Amor, M.A., Macías-Ramos, L.F., Valencia-Cabrera, L., Riscos-Núñez, A., Pérez-Jiménez, M.J.: Accelerated simulation of P systems on the GPU: a survey. In: Pan, L., Păun, G., Pérez-Jiménez, M.J., Song, T. (eds.) BIC-TA 2014. CCIS, vol. 472, pp. 308–312. Springer, Heidelberg (2014). doi: 10.1007/978-3-662-45049-9_50 [18] Munshi, A., Gaster, B.R., Mattson, T.G., Fung, J., Ginsburg, D.: OpenCL Programming Guide, 1st edn. Addison-Wesley, Boston (2011) [19] Nickolls, J., Buck, I., Garland, M., Skadron, K.: Scalable parallel programming with CUDA. Queue 6(2), 40–53 (2008) · Zbl 05737681 [20] Niculescu, I., Gheorghe, M., Ipate, F., Stefanescu, A.: From kernel P Systems to X-machines and FLAME. J. Automata Lang. Comb. 19(1–4), 239–250 (2014) · Zbl 1355.68096 [21] Owens, J.D., Houston, M., Luebke, D., Green, S., Stone, J.E., Phillips, J.C.: GPU Computing. Proc. IEEE 96(5), 879–899 (2008) [22] Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000) · Zbl 0956.68055 [23] Petreska, B., Teuscher, C.: A reconfigurable hardware membrane system. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 269–285. Springer, Heidelberg (2004). doi: 10.1007/978-3-540-24619-0_20 [24] Richmond, P., Walker, D.C., Coakley, S., Romano, D.M.: High performance cellular level agent-based simulation with FLAME for the GPU. Brief. Bioinform. 11(3), 334–347 (2010) [25] Takizawa, H., Koyama, K., Sato, K., Komatsu, K., Kobayashi, H.: CheCL: transparent checkpointing and process migration of openCL applications. In: IEEE International on Parallel Distributed Processing Symposium (IPDPS), pp. 864–876 (2011) [26] Wang, L., Tao, J., Ranjan, R., Marten, H., Streit, A., Chen, J., Chen, D.: G-Hadoop: MapReduce across distributed data centers for data-intensive computing. Future Gener. Comput. Syst. 29(3), 739–750 (2013). Special Section: Recent Developments in High Performance Computing and Security [27] The P-Lingua Website. http://www.p-lingua.org/ [28] kPWorkbench Home Page. http://kpworkbench.org/ [29] FLAME website. http://www.flame.ac.uk/ [30] FLAME GPU website. http://www.flamegpu.com/ [31] The Message Passing Interface (MPI) standard. http://www.mcs.anl.gov/research/projects/mpi/ · Zbl 0875.68206 [32] The NVIDIA Website. http://www.nvidia.com/content/global/global.php [33] OpenCL standard webpage. http://www.khronos.org/opencl [34] The Sevilla HPC Server. http://www.gcn.us.es/gpucomputing/ [35] The Open MPI project. https://www.open-mpi.org/ This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.