High accuracy and interval arithmetic on multicore processors

In this paper we describe the integration and use of a high-accuracy and interval arithmetic library (C-XSC library) on multicore processors using OpenMP and POSIX Threads for the communication between processes. With this integration we have a parallel environment supporting high accuracy and verified computing. The purpose of this work is to provide an environment in which scientific computing problems can be solved with speed, accuracy and reliability, where the result verification may be carried out automatically by the computer. To validate the environment developed in this work, some tests were done and their results will be discussed in this paper.

[1]  G.P. Dimuro,et al.  Towards interval analysis of the load uncertainty in power electric systems , 2004, 2004 International Conference on Probabilistic Methods Applied to Power Systems.

[2]  N Ranaldo,et al.  Parallel Computing: Software Technology, Algorithms, Architectures & Applications , 2004 .

[3]  Michael Zimmer,et al.  Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations , 2011, Reliab. Comput..

[4]  S. Rump.  Validated solution of large linear systems , 1993 .

[5]  Walter Krämer,et al.  An MPI Extension for Verified Numerical Computations in Parallel Environments , 2007, CSC.

[6]  Walter Krämer,et al.  C-XSC 2.0: A C++ Library for Extended Scientific Computing , 2003, Numerical Software with Result Verification.

[7]  Ulrich Kulisch,et al.  Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-Xsc Programs , 1994 .

[8]  Ulrich W. Kulisch,et al.  Numerical Toolbox for Verified Computing I , 1993 .

[9]  Wolfram Luther,et al.  Numerical Software with Result Verification , 2004, Lecture Notes in Computer Science.

[10]  C.A. Holbig,et al.  Parallel Environment with High Accuracy for Resolution of Numerical Problems , 2009, IEEE Latin America Transactions.

[11]  Philippe Olivier Alexandre Navaux,et al.  Parallelization of Krylov Subspace Methods in Multiprocessor PC Clusters , 2003, PARCO.

[12]  Walter Krämer,et al.  Numerical Toolbox for Verified Computing II: Advanced Numerical Problems , 2006 .

[13]  Gerhard Robert Joubert.  Parallel Computing: Software Technology, Algorithms, Architectures and Applications, PARCO 2003, Dresden, Germany , 2004, PARCO.

[14]  Dalcidio Moraes Claudio,et al.  Solving Real Life Applications With High Accuracy , 2005, PARCO.

[15]  Michael Zimmer,et al.  Using C-XSC for High Performance Verified Computing , 2010, PARA.

[16]  Kristján Jónasson,et al.  Applied Parallel and Scientific Computing , 2010, Lecture Notes in Computer Science.

[17]  Luiz Gustavo Fernandes,et al.  Dense Linear System: A Parallel Self-verified Solver , 2008, International Journal of Parallel Programming.

[18]  H. Stetter,et al.  Validation Numerics: Theory And Applications , 2000 .

[19]  Bradford Nichols,et al.  Pthreads programming , 1996 .