Abstract
The growing number of Boolean variables requires very efficient approaches to solve the given tasks. We explore the utilization of the GPU for fast parallel Boolean calculations in this chapter. Hundreds of processor cores of the GPU offer a significant potential for improvements. Constraints in their application may restrict the achievable speedup. This chapter gives a taxonomy about possible approaches to solve a problem using a computer. We select one problem from the Boolean domain and summarize alternative approaches for utilizing the GPU. It will be shown that the calculation time could be reduced by several orders of magnitudes for the selected Unate Covering Problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Amdahl, G.M.: Validity of the single processor approach to achieving large scale computing capabilities. In: Proceedings of the April 18–20, 1967, Spring Joint Computer Conference, pp. 483–485. AMC, New York (1967). doi:10.1145/1465482.1465560
Borowik, G.: Data mining approach for decision and classification systems using logic synthesis algorithms. In: Klempous, R., Nikodem, J., Jacak, W., Chaczko, Z. (eds.) Proceedings of the Advanced Methods and Applications in Computational Intelligence, Springer International Publishing. pp. 3–23, ISBN: 9783319014357. (2014). doi:10.1007/978-3-319-01436-4_1
Cordone, R., Ferrandi, F., Sciuto, D., Wolfler Calvo, R.: An efficient heuristic approach to solve the unate covering problem. In: Proceedings of the Conference on Design, Automation and Test in Europe, Paris, France, pp. 364–371 (2000)
Farber, R.: CUDA Application Design and Development. pp. 1–336, Elsevier LTD, Oxford (2011). ISBN 0123884268
Flynn, M.J.: Some computer organizations and their effectiveness. In: IEEE Transactions Computer, vol. 21(9), IEEE Computer Society, Washington, DC, USA, ISSN 0018–9340, pp. 948–960 (1972). doi:10.1109/TC.1972.5009071
Gaster, B., Howes, L., Kaeli, D.R., Mistry, P., Schaa, D.: Heterogeneous Computing with OpenCL. Elsevier Science and Technology, pp. 1–296, ISBN 978-0123877666. (2011)
Grehl, S.: Vergleich von Implementierungen des Unate Covering Problems mit OpenCL und CUDA. Freiberg University of Mining and Technology, Project-Thesis (2013)
Paul, E., Steinbach, B., and Perkowski, M.: Application of CUDA in the Boolean domain for the unate covering problem. In: Steinbach, B. (ed.) Boolean Problems, Proceedings of the 9th International Workshops on Boolean Problems, Freiberg University of Mining and Technology, Freiberg, 16–17 September 2010, pp. 133–142 (2010). ISBN 978-3-86012-404-8
Posthoff, Ch., Steinbach, B.: Logic Functions and Equations—Binary Models for Computer Science. Springer, Dordrecht, The Netherlands (2004)
Steinbach, B., Posthoff, Ch.: An Extended Theory of Boolean Normal Forms. In: Proceedings of the 6th Annual Hawaii International Conference on Statistics, Mathematics and Related Fields, Honolulu, Hawaii, pp. 1124–1139 (2007)
Steinbach, B., Posthoff, Ch.: Boolean differential calculus-theory and applications. In: Journal of Computational and Theoretical Nanoscience, American Scientific Publishers, Valencia, California, USA, ISSN 1546–1955, vol. 7, no. 6, pp. 933–981 (2010)
Steinbach, B., Werner, M.: Fast boolean calculations using the GPU. In: Chaczko, Z., Gaol, F.L., Chiu C. (eds.) Proceedings of the 2nd Asia-Pacific Conference on Computer Aided System Engineering APCASE 2014, Book of Extended Abstracts, Bali Dynasty Resort, Bali, Indonesia, 10–12, pp. 86–89, ISBN 978-0-9924518-0-6 February 2014
Steinbach, B. and Posthoff, Ch.: Fast calculation of exact minimal unate coverings on both the CPU and the GPU. In: Roberto Moreno-Díaz, Franz Pichler und Alexis Quesada-Arencibia: Proceedings of the Computer Aided Systems Theory—EUROCAST 2013, 14th International Conference, Las Palmas de Gran Canaria, Spain, February 2013, Revised Selected Papers, Part II, Lecture Notes in Computer Science vol. 8112, Springer, pp. 234–241, ISBN: 978-1-612-08292-9, (2013). doi:10.1007/978-3-642-53862-9_30
Steinbach, B. and Posthoff, Ch.: Improvements of the construction of exact minimal covers of boolean functions. In: Roberto Moreno-Díaz, Franz Pichler und Alexis Quesada-Arencibia: Proceedings of the Computer Aided Systems Theory—EUROCAST 2011, 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6–11, 2011, Revised Selected Papers, Part II, Lecture Notes in Computer Science Volume 6928, Springer, pp. 272–279, ISBN: 978-3-642-27578-4, (2012). doi:10.1007/978-3-642-27579-1_35
Steinbach, B., Posthoff, Ch.: Logic Functions and Equations-Examples and Exercises. Springer Science + Business Media B.V. (2009)
Steinbach, B., Posthoff, Ch.: Parallel Solution of Covering Problems— Super-Linear Speedup on a Small Set of Cores. GSTF International Journal on Computing, Global Science and Technology Forum (GSTF), Singapore, ISSN: 2010–2283, vol. 1, No. 2, pp. 113–122 (2011)
Steinbach, B., Posthoff, Ch.: Sources and obstacles for parallelization —a comprehensive exploration of the unate covering problem using both CPU and GPU. In: Astola, J., Kameyama, M., Lukac M., and Stankovi R. S. (eds.): GPU Computing with Applications in Digital Logic. Tampere International Center for Signal Processing. TICSP series # 62, Tampere 2012, pp. 63–96, ISBN 978-952-15-2920-7, ISSN 1456-2774
Werner, M.: Parallelisierung von XBOOLE-Operationen mit CUDA. Freiberg University of Mining and Technology, Master-Thesis (2014)
Wilt, N.: The CUDA Handbook: A Comprehensive Guide to GPU Programming. ISBN: 9780133261509, Pearson Education (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Steinbach, B., Werner, M. (2015). Alternative Approaches for Fast Boolean Calculations Using the GPU. In: Borowik, G., Chaczko, Z., Jacak, W., Łuba, T. (eds) Computational Intelligence and Efficiency in Engineering Systems. Studies in Computational Intelligence, vol 595. Springer, Cham. https://doi.org/10.1007/978-3-319-15720-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-15720-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15719-1
Online ISBN: 978-3-319-15720-7
eBook Packages: EngineeringEngineering (R0)