Abstract
Automatic result verification is an important tool to reduce the impact of floating-point errors in numerical computation and to guarantee the mathematical rigor of results. One fundamental problem in Verified Computing is to find an enclosure that surely contains the exact result of a linear system. Many works have been developed to optimize Verified Computing algorithms using parallel programming techniques and message passing paradigm on clusters of computers. However, the High Performance Computing scenario changed considerably with the emergence of multicore architectures in the past few years. This paper presents an ongoing research project which has the purpose of developing a self-verified solver for dense interval linear systems optimized for parallel execution on these new architectures. The current version has obtained up to 85% of reduction at execution time and a speedup of 6.70 when solving a 15,000 × 15,000 interval linear system on an eight core computer.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hayes, B.: A Lucid Interval. American Scientist 91(6), 484–488 (2003)
Hammer, R., Ratz, D., Kulisch, U., Hocks, M.: C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems. Springer, New York (1997)
Kolberg, M., Dorn, M., Bohlender, G., Fernandes, L.G.: Parallel Verified Linear System Solver for Uncertain Input Data. In: Proceedings of 20th SBAC-PAD - International Symposium on Computer Architecture and High Performance Computing, pp. 89–96 (2008)
Kearfott, R.: Interval Computations: Introduction, Uses, and Resources. Euromath Bulletin 2(1), 95–112 (1996)
Demmel, J.: LAPACK: A Portable Linear Algebra Library for Supercomputers. In: Proceedings of IEEE Control Systems Society Workshop on Computer-Aided Control System Design, pp. 1–7 (1989)
Choi, J., Demmel, J., Dhillon, I., Dongarra, J., Ostrouchov, S., Petitet, A., Stanley, K., Walker, D., Whaley, R.: ScaLAPACK: a Portable Linear Algebra Library for Distributed Memory Computers – Design Issues and Performance. Computer Physics Communications 97(1-2), 1–15 (1996)
Kolberg, M., Baldo, L., Velho, P., Fernandes, L.G., Claudio, D.: Optimizing a Parallel Self-verified Method for Solving Linear Systems. In: Kågström, B., Elmroth, E., Dongarra, J., Waśniewski, J. (eds.) PARA 2006. LNCS, vol. 4699, pp. 949–955. Springer, Heidelberg (2007)
Kolberg, M., Fernandes, L.G., Claudio, D.: Dense Linear System: A Parallel Self-verified Solver. International Journal of Parallel Programming 36(4), 412–425 (2008)
Buttari, A., Dongarra, J., Kurzak, J., Langou, J., Luszczek, P., Tomov, S.: The Impact of Multicore on Math Software. In: Kågström, B., Elmroth, E., Dongarra, J., Waśniewski, J. (eds.) PARA 2006. LNCS, vol. 4699, pp. 1–10. Springer, Heidelberg (2007)
TOP 500 Supercomputing Home Page, http://www.top500.org/ (accessed on December 11, 2009)
Agullo, E., Hadri, B., Ltaief, H., Dongarra, J.: Comparative Study of One-Sided Factorizations with Multiple Software Packages on Multi-Core Hardware. LAPACK Working Note 217, ICL, UTK (2009)
Chan, E., Van Zee, F., Bientinesi, P., Quintana-Orti, E., Quintana-Orti, G., van de Geijn, R.: SuperMatrix: a Multithreaded Runtime Scheduling System for Algorithms-by-blocks. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 123–132 (2008)
Gunnels, J., Gustavson, F., Henry, G., van de Geijn, R.: FLAME: Formal Linear Algebra Methods Environment. ACM Transactions on Mathematical Software 27(4), 422–455 (2001)
Rump, S.M.: Fast and Parallel Interval Arithmetic. BIT Numerical Mathematics 39(3), 534–554 (1999)
Intel Math Kernel Library Home Page, http://software.intel.com/en-us/intel-mkl/ (accessed on December 11, 2009)
Lawson, C., Hanson, R., Kincaid, D., Krogh, F.: Basic Linear Algebra Subprograms for Fortran Usage. ACM Transactions on Mathematical Software 5(3), 308–323 (1979)
Klatte, R., Kulisch, U., Lawo, C., Rauch, R., Wiethoff, A.: C-XSC - A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993)
Kolberg, M., Cordeiro, D., Bohlender, G., Fernandes, L.G., Goldman, A.: A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors. In: 9th PARA - International Workshop on State-of-the-Art in Scientific and Parallel Computing, Trondheim - Noruega. PARA 2008 - Revised Selected Papers. LNCS. Springer, Heidelberg (2008) (to appear)
Kolberg, M., Bohlender, G., Claudio, D.M.: Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computing. In: Palma, J.M.L.M., Amestoy, P.R., Daydé, M., Mattoso, M., Lopes, J.C. (eds.) VECPAR 2008. LNCS, vol. 5336, pp. 13–26. Springer, Heidelberg (2008)
Butenhof, D.R.: Programming with POSIX Threads. Addison-Wesley Longman Publishing Co., Inc., Boston (1997)
Rump, S.M.: Self-validating Methods. Linear Algebra and Its Applications 324(1-3), 3–13 (2001)
ANSI/IEEE. A Standard for Binary Floating-point Arithmetic, Std.754-1985. American National Standards Institute / Institute of Electrical and Eletronics Engineers. USA (1985)
PLASMA README, http://icl.cs.utk.edu/projectsfiles/plasma/html (accessed on April 8, 2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Milani, C.R., Kolberg, M., Fernandes, L.G. (2011). Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures. In: Palma, J.M.L.M., Daydé, M., Marques, O., Lopes, J.C. (eds) High Performance Computing for Computational Science – VECPAR 2010. VECPAR 2010. Lecture Notes in Computer Science, vol 6449. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19328-6_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-19328-6_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19327-9
Online ISBN: 978-3-642-19328-6
eBook Packages: Computer ScienceComputer Science (R0)