Presentation
Enhancing the simulation of P systems for the SAT problem on GPUs
Author/s | Cecilia, José M.
García, J.M. Guerrero, G. D. Martínez del Amor, Miguel Ángel Pérez Jiménez, Mario de Jesús Ujaldón, Manuel |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2010 |
Deposit Date | 2021-03-22 |
Published in |
|
Abstract | GPUs constitute nowadays a solid alternative for
high performance computing, and the advent of CUDA/OpenCL
allow programmers a friendly model to accelerate a broad range
of applications. The way GPUs exploit parallelism ... GPUs constitute nowadays a solid alternative for high performance computing, and the advent of CUDA/OpenCL allow programmers a friendly model to accelerate a broad range of applications. The way GPUs exploit parallelism differ from multi-core CPUs, which raises new challenges to take advantage of its tremendous computing power. In this respect, P systems or Membrane Systems provide a high-level computational modeling framework that combines the structure and dynamic aspects of biological systems while being inherently parallel and nondeterministic. In this work, we implement on GPUs the simulation for a solution provided by Membrane Computing to solve the Satisfiability (SAT) problem. The overall speed up reaches 100x versus a sequential CPU, with an additional 16x due to CUDA optimizations. A promising scalability is also proven on more sophisticated GPU clusters and/or demanding problem sizes. |
Citation | Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez del Amor, M.Á., Pérez Jiménez, M.d.J. y Ujaldón, M. (2010). Enhancing the simulation of P systems for the SAT problem on GPUs. En SAAHPC 2010: Symposium on Application Accelerators in High-Performance Computing Knoxville, Tennessee, USA: National Center for Supercomputing Applications. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Enhancing the simulation of P ... | 244.5Kb | [PDF] | View/ | |