Mathematical Problems in Engineering

Volume 2010 (2010), Article ID 268093, 17 pages

http://dx.doi.org/10.1155/2010/268093

## A Novel Parallel Algorithm Based on the Gram-Schmidt Method for Tridiagonal Linear Systems of Equations

Mechanical and Aerospace Engineering Department, Science and Research Branch, Islamic Azad University (IAU), Tehran 1477-893855, Iran

Received 8 June 2010; Revised 19 September 2010; Accepted 6 December 2010

Academic Editor: David Chelidze

Copyright © 2010 Seyed Roholah Ghodsi and Mohammad Taeibi-Rahni. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

This paper introduces a new parallel algorithm based on the Gram-Schmidt orthogonalization method. This parallel algorithm can find almost exact solutions of tridiagonal linear systems of equations in an efficient way. The system of equations is partitioned proportional to number of processors, and each partition is solved by a processor with a minimum request from the other partitions' data. The considerable reduction in data communication between processors causes interesting speedup. The relationships between partitions approximately disappear if some columns are switched. Hence, the speed of computation increases, and the computational cost decreases. Consequently, obtained results show that the suggested algorithm is considerably scalable. In addition, this method of partitioning can significantly decrease the computational cost on a single processor and make it possible to solve greater systems of equations. To evaluate the performance of the parallel algorithm, speedup and efficiency are presented. The results reveal that the proposed algorithm is practical and efficient.

#### 1. Introduction

Linear systems of equations occur frequently in many fields of engineering and mathematics. Different approaches have been used to solve the linear systems of equations [1], for example, factorization. There are different factorization methods, such as Givens transformations, Householder transformations, and Gram-Schmidt orthogonalisation.

A considerable amount of study has been done on parallel factorization algorithms [2, 3]. In addition, some numerical libraries and softwares have supplied the factorization, such as ScaLAPACK [4], and Parallel Linear Algebra Software for Multicore Architectures (PLASMA) [5]. PLASMA Tile factorization is provided for multicore system architectures using the block algorithms [6].

Tridiagonal system is a well known form that arises in areas such as linear algebra, partial differential equations, orthogonal polynomials, and signal processing. Problem of solving tridiagonal systems on parallel computers has been studied widely. It seems that first parallel tridiagonal system solver, referred to as cyclic reduction, was introduced by Hockney in 1965 [7]. Throughout more than forty years since then, different parallel algorithms have been proposed and developed. The recursive doubling algorithm was presented by Stone for fine grained parallel systems in 1973 [8]. Wang suggested a partitioning algorithm for coarse grained systems in 1981 [9]. The classical method is the inverse of the matrix containing unknown elements; recently, an explicit formula was given by Kilic [10].

In this paper, we consider a novel parallel algorithm based on the modified Gram-Schmidt orthogonalization method [11]. This method is a kind of factorization, in which firstly orthogonal and upper-triangular matrices are computed and then the solution of the system of equations is found using these matrices. Amodio et al. proposed a parallel factorization for tridiagonal matrices [12, 13]. On the other hand, parallel implementation of modified Gram-Schmidt algorithm has been studied in different literatures [14–17]. Although the proposed method in this paper is currently developed and verified for tridiagonal systems, the authors are working on extension of the method to other systems.

The scalability of parallel algorithms is a vital problem, so different techniques have been developed to overcome it such as processors load balancing [18] and reducing the number of synchronizations [19]. The obtained results show that the suggested parallel algorithm is practically scalable.

Therefore, the objective of this paper is to propose an efficient parallel algorithm. In Section 2, the factorization is introduced as a base of this algorithm. In Section 3, the procedure of the suggested parallel algorithm is completely described. A numerical example is given in Section 4. In Section 5, accuracy, speedup, and efficiency of the algorithm are evaluated. Finally, conclusions are given in Section 6.

#### 2. Factorization

A factorization of a nonsingular matrix is a decomposition of the matrix into a unitary orthogonal matrix (i.e.,) and an upper-triangular matrix as where the decomposition is unique. One of the most well-known methods is the Classical Gram-Schmidt (CGS) process. To overcome numerical instability, the modified Gram-Schmidt algorithm (MGS) is preferred after a simple change in the classical algorithm [20]. Each column of orthogonal matrix can be normalized as follows: where is a column of orthogonal matrix and . Column is determined from previously computed orthogonal columns , where , as where denotes the projection operator of the column onto the column and where, presents the inner product of the columns and . Loss of orthogonality depends on matrix , and the amount of deviation from orthogonality is minimized when is a well-conditioned matrix [21].

Additionally, an upper-triangular matrix is constructed column by column as where is a typical element of upper-triangular matrix and .

Furthermore, the factorization can be used as a part of solution of a linear system of equations. To obtain the solution of a linear system we consider the factorization Then we multiply the transpose of by both sides of (2.7), where and . Finally, a linear system with an upper-triangular coefficient matrix is achieved as where . The final step is computing the matrix by usual back substitution.

#### 3. Parallel Algorithm

The concept of novel parallel algorithm based on the Gram-Schmidt method will be described here. The parallel implementation of the Gram-Schmidt method is not efficient compared with other methods, particularly when it is employed to solve a tridiagonal system of equations. However, some modifications allow appropriate conditions needed to parallelize the Gram-Schmidt method. In the Gram-Schmidt method, computation of each column of the orthogonal and upper-triangular matrices depends on the previously computed columns of the orthogonal matrix.

Most of the elements of a tridiagonal matrix are zero, except for those on three diagonals. Each term of projection operator in (2.3) consists of inner product of one column of this tridiagonal matrix with a computed column of orthogonal matrix. When most of the elements of one of these columns are zero, then a few elements of projection operator can be nonzero. As a result, only the last two terms of projection operator in the computation of each column of orthogonal matrix are nonzero, as

Figure 1 shows the terms of (2.3) for the first six columns of orthogonal matrix.

As a result, computation of each column of the orthogonal and upper-triangular matrices depends only on the two previous adjacent columns of the orthogonal matrix. It means that, if the column () of orthogonal matrix is computing, only two computed columns () and () of matrix and the column () of matrix are requested, as This property is a base of our parallel algorithm. In this situation, if we omit two adjacent columns of matrix , then all terms of projection operator for the next columns are zero. It means that the relation of columns of orthogonal matrix in (2.3) is disrupted. In order to use this feature, if two columns of matrix, for instance, and, are transferred to the end of matrix, the next corresponding columns in the orthogonal matrix are disconnected from the previous ones. It means that and and as a result, This transformation decreases the amount of computation significantly.

The parallel algorithm is achieved by partitioning the matrix into ( is the number of processors) blocks of fairly equal size, that is, each block contains approximately columns, and each processor is concerned with computing only its block. The computation can be done mostly independently by each processor, but at some points, communication is required. The first column of the matrix owned by processor is denoted as, where for and.

To disconnect the relationship between adjacent blocks, two columns between them, that is, and for, are transferred to the end of matrix (3.4). These transferred columns make another partition, as shown in Figure 2. Therefore, the number of columns of the new block is: It should be noticed that the place of each element of matrix corresponding to the transferred columns of matrix is also changed.

Each processor, except for the last one, can start computing some columns of the orthogonal and upper-triangular matrices that are related to the columns of its own block without receiving any data from other processors. This feature plays a significant role in improving the speedup of the algorithm. If processor is responsible for a block consisting of columns from to, it computes the columns from to of the orthogonal matrix with a minimum request for data of other partition, and the same holds for to of the upper-triangular matrix. All the blocks, except the last one, only need data of the last block, because the first two and last two columns of each block have some relation to some columns of the last block.

To achieve more speedup, another switching is used in each block, except for the last block. The last two columns in each block are transferred between the second and third columns of block. This switching causes the first four columns to be computed firstly and then be sent to the last processor before other columns of block are determined. As a result, all processors are in use simultaneously, and the efficiency of the parallel algorithm increases.

Lastly, all columns of the orthogonal and upper-triangular matrices are computed with the least network transaction. To show the final result, each processor sends its block to the last processor.

The next step is to find the solution of the linear system of equations. According to (2.7), the values of and should be determined. Because data of each block of matrix and also matrix exist in each processor, the computation of these matrices can be done without any request to the other processors' data.

Finally, the unknown matrix is obtained by a back substitution procedure. In this step, each processor just needs to communicate with the last processor. The back substitution is started from the last processor which consists of columns. The last elements of the unknown matrix are computed using just the last processor and are sent to other ones. Because the elements of matrix are computed, the last processor can compute independently, the last terms of each linear equation. As a result, instead of columns, just one column is needed to broadcast to the other processors. Then the other processors compute the related unknown elements with the received data. The complete flowchart of described parallel algorithm is shown in Figure 3.

It may seem that the amount of computation in the last processor is more than the others. However, it should be mentioned that the number of columns in the last block is less than the number of columns in the others. If the number of unknowns increases, the difference between size of the last block and other blocks becomes greater.

#### 4. Example

Let be a 15 × 15 nonsingular tridiagonal matrix. The results of three cases are presented here and compared with each other; we use the label case (a) for one processor, case (b) for two, and case (c) for three. In Figure 4, the transformations of two columns in case (b) (two processors) and four columns in case (c) (three processors) are shown.

The computed orthogonal matrices in the three cases are presented in Figure 5. The number of nonzero elements is 135 in case (a), 97 in case (b), and “93” in case (c). Hence, the computational cost decreases as the computational power (i.e., the number of processors) increases. This situation is an ideal condition for a parallel algorithm.

Finally, the upper-triangular matrices are shown in Figure 6. Notice that, in cases (b) and (c), the elements in the last row of each block are zero, except for elements that belong to the last processors, in addition to an element which is equal to 1. Therefore, the back substitution procedure in each block does not require the data of the other processors, only the last processor. This feature is also significant for solving a huge system of equations.

#### 5. Results

The testbed specification is shown in Table 1. The results of using up to 16 processors are presented here. The numerical experiment is done on a parallel system with MIMD (Multiple Data, Multiple Instruction) structure and shared memory [22]. The language of parallel processing that is used in this paper is standard MPI [23].

The results of the procedure described above consist of different aspects. Its main purpose was to find the solution of a tridiagonal system of equations in a fast and efficient manner. The other achievements were computing the orthogonal and upper-triangular matrices which are useful computations in different fields. This entire procedure in a sequential form requires number of operations, where is the number of equations. The complexity of the parallel algorithm is where is the ratio of the number of equations to the number of processors. Furthermore, as mentioned in Section 3, the number of zero elements raises as the number of blocks increases. This feature can be thought of as being on route to linear complexity.

Choosing a proper method to solve tridiagonal system of equations depends on different criteria, such as the order of complexity, accuracy and variety of achievements. For instance, the order of complexity of Gaussian elimination without pivoting is, but it is not well suited for parallel processing [24]. On the other hand, in spite of favorable order of complexity of parallel iterative algorithms, their main focus is just on solution of the system with good enough accuracy but without any further outcomes.

The complexities of different factorization methods in sequential form are brought here as follows [25]:(1)Gram-Schmidt: ,(2)Householder: ,(3)Given: ,(4)Fast Given: .

There are some important points to justify our algorithm. The first is the accuracy of obtained results. Obviously, the accuracy of direct solvers, that is, mostly exact, is better than that of the iterative ones. The second item is the variety of results, such as computing the orthogonal and upper-triangular matrices. The decomposition is usually used to solve the linear least squares problem and find the eigenvalues of system. The third is the scalability of the algorithm, which is a crucial parameter for success of a parallel algorithm, that is, the proposed algorithm can employ more processors to solve larger problems efficiently. Consequently, development of this efficient algorithm based on the factorization is valuable and practical. Some sequential and parallel factorization methods are investigated by Demmel et al. [26].

The obtained results are mostly exact. The accuracy of the algorithm was investigated using two methods. The first method was a norm of to evaluate error over all computed unknowns, and the second one was a norm of to determine the accuracy of the orthogonal matrix. The level of error for systems of order = 10 000, 20 000, 30 000, and 40 000 is shown in Table 2. The order of error in these cases is acceptable. The final results, that is, the computed unknown, became more accurate in larger matrices. Moreover, the level of orthogonality is high in all cases.

Furthermore, this algorithm includes a new and interesting parallel feature. The parallel algorithm can decrease the computational cost and the requested memory on a single processor. The MPI can be used on a single processor to divide it into different parts. In other words, the parallel algorithm based on the MPI library can be executed on different parts of a processor in the same way as it is executed on a network of parallel CPUs. The enormous number of equations causes the processor to return the “insufficient virtual memory” error. Increasing the number of blocks in the matrix results in increasing the amount of zero elements and decreasing the size of the requested memory (physical and virtual). In Figure 7, the size of the requested memory for a matrix of order = 20 000 and 50 000 is shown. For instance, computation of a matrix of order = 50 000 was not possible on a specified processor with a single block. However, the computation was done on this processor with 4 blocks using 4.75 GB of memory. When the number of blocks was 16, the used memory decreased to 1.48 GB. The consumed time to find the solution of a system of equations of order = 20 000 and = 50 000 is presented in Figure 8. It is shown that when the number of blocks increased, time consumption was reduced. The rate of reduction nearly vanished when the number of blocks reached 16.

The key issue in the parallel processing of a single application is speedup, especially its dependence on the number of processors used. Speedup is defined as a factor by which the execution time for the application changes: where, , , and are the number of processor, the executing time of the sequential algorithm, and the executing time of the parallel algorithm with processors, respectively.

On the other hand, the efficiency of parallel processing is a performance metric which is defined as It is a value, typically between zero and one, estimating how well utilized the processors are in solving the problem, compared to how much effort is wasted in communication and synchronization.

To investigate the ability of the parallel algorithm, the CPU time (), the speedup (), and the efficiency () were considered in different cases (Table 3). The mentioned orders are 20 000, 40 000, 60 000, 80 000, and 100 000. The first column shows the computational time in a sequential case. A critical problem in solving a large system of equations using one processor, as mentioned before (e.g., order more than 50 000 in this study), is insufficient memory. To conquer this obstacle, the virtual memory was increased to 10 GB. Although using virtual memory can remove the “insufficient memory” error, it causes the speed of the computation to decrease, leading to inefficiency. The memory problem is completely solved in the parallel algorithm because each processor just needs to have the data of its block. For instance, if the order of matrix is 100 000, then in two processors the order of the data is 50 000, and in three processors it will reach to about 33 000. Therefore, the size of a huge system of equations does not create any computational limitation on the parallel cases.

The speedup and efficiency curves for the computation of a tridiagonal system of equations from orders 20 000 to 100 000 using different numbers of processors are presented in Figures 9–11. The comparison between computation times of different sizes of systems of equations using up to 16 processors is shown in Figure 9. The rate of time reduction was greater in larger systems. For instance, the time was reduced from 267 milliseconds to 22 milliseconds, that is, 11 times less than sequential form.

The amount of speedup in different problem sizes is shown in Figure 10. When the order of the system was 20 000 and the number of processors was greater than 12, the speedup decreased. The reason for this inefficiency is the effect of network delay on computation time. On the other hand, in the larger problem sizes, this problem does not exist.

It is encouraging to note that, with an increase in problem size, the efficiency of the parallel algorithm increases. In Figure 11, the efficiency of different executions is presented. It is obvious that the rate of reduction in the efficiency of the parallel algorithm decreased by raising the problem size. This characteristic makes this parallel algorithm a practical subroutine in numerical computations.

In addition, the speedup of proposed algorithm is compared with parallel Cycle Reduction algorithm (Figure 12). Cycle Reduction is a well-known algorithm for solving system of equations [27]. The speedup of both algorithms is shown in two orders of system of equations, that is, = 200 000 and 400 000. Obviously, the speedup of proposed algorithm is more than that of Cycle Reduction and also would be greater by increasing number of equations and processors.

#### 6. Conclusion

In this paper, a novel parallel algorithm based on the Gram-Schmidt method was presented to solve a tridiagonal linear system of equations in an efficient way. Solving linear systems of equations is a famous problem in different scientific fields, especially systems in the tridiagonal form. Therefore, the efficiency and accuracy of the algorithm can play a vital role in the entire solution procedure.

In this parallel algorithm, the coefficient matrix is partitioned according to the number of processors. After that, some columns in each block are switched. Therefore, the corresponding orthogonal and upper-triangular matrices are computed by each processor with a minimum request from the other partitions' data. Finally, the system of equations is solved almost exactly.

The proposed algorithm has some remarkable advantages, which include the following:(1)the ability to find almost exact solutions to tridiagonal linear systems of equations of different sizes, as well as the corresponding orthogonal and upper-triangular matrices;(2)considerable reduction of computation cost proportional to the number of processors and blocks;(3)increasing the efficiency of the algorithm by raising the size of the system of equations;(4)the significant ability of a single processor using the MPI library; the requested memory decreases by partitioning the matrix, and hence the computational speed increases.

The orders of the systems of equations that are presented in this paper range from 10 000 to 100 000. The results show that the suggested algorithm is scalable and completely practical.

#### References

- B. N. Datta,
*Numerical Linear Algebra and Applications*, SIAM, Philadelphia, Pa, USA, 2nd edition, 2010. View at Zentralblatt MATH - D. P. O'Leary and P. Whitman, “Parallel QR factorization by householder and modified Gram-Schmidt algorithms,”
*Parallel Computing*, vol. 16, no. 1, pp. 99–112, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - A. Pothen and P. Raghavan, “Distributed orthogonal factorization: givens and Householder algorithms,”
*SIAM Journal on Scientific and Statistical Computing*, vol. 10, no. 6, pp. 1113–1134, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Blackford, J. Choi, A. Cleary et al.,
*ScaLAPACK Users’ Guide*, SIAM, Philadelphia, Pa, USA, 1997. - E. Agullo, J. Dongarra, B. Hadri et al., “PLASMA 2.0 users’ guide,” Tech. Rep., ICL, UTK, 2009. View at Google Scholar
- A. Buttari, J. Langou, J. Kurzak, and J. Dongarra, “Parallel tiled QR factorization for multicore architectures,”
*Concurrency Computation Practice and Experience*, vol. 20, no. 13, pp. 1573–1590, 2008. View at Publisher · View at Google Scholar · View at Scopus - R. W. Hockney, “A fast direct solution of Poisson's equation using Fourier analysis,”
*Journal of the Association for Computing Machinery*, vol. 12, pp. 95–113, 1965. View at Google Scholar · View at Zentralblatt MATH - H. S. Stone, “An efficient parallel algorithm for the solution of a tridiagonal linear system of equations,”
*Journal of the Association for Computing Machinery*, vol. 20, pp. 27–38, 1973. View at Google Scholar · View at Zentralblatt MATH - H. H. Wang, “A parallel method for tridiagonal equations,”
*ACM Transactions on Mathematical Software*, vol. 7, no. 2, pp. 170–183, 1981. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - E. Kilic, “Explicit formula for the inverse of a tridiagonal matrix by backward continued fractions,”
*Applied Mathematics and Computation*, vol. 197, no. 1, pp. 345–357, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - G. H. Golub and C. F. van Loan,
*Matrix Computations*, Johns Hopkins Studies in the Mathematical Sciences, Johns Hopkins University Press, Baltimore, Md, USA, 3rd edition, 1996. - P. Amodio, L. Brugnano, and T. Politi, “Parallel factorizations for tridiagonal matrices,”
*SIAM Journal on Numerical Analysis*, vol. 30, no. 3, pp. 813–823, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - P. Amodio and L. Brugnano, “The parallel $QR$ factorization algorithm for tridiagonal linear systems,”
*Parallel Computing*, vol. 21, no. 7, pp. 1097–1110, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. R. Ghodsi, B. Mehri, and M. Taeibi-Rahni, “A parallel implementation of Gram-Schmidt algorithm for dense linear system of equations,”
*International Journal of Computer Applications*, vol. 5, no. 7, pp. 16–20, 2010. View at Google Scholar - R. Doallo, B. B. Fraguela, J. Touriño, and E. L. Zapata, “Parallel sparse modified Gram-Schmidt QR decomposition,” in
*Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking*, vol. 1067 of*Lecture Notes In Computer Science*, pp. 646–653, 1996. - E. L. Zapata, J. A. Lamas, F. F. Rivera, and O. G. Plata, “Modified Gram-Schmidt $QR$ factorization on hypercube SIMD computers,”
*Journal of Parallel and Distributed Computing*, vol. 12, no. 1, pp. 60–69, 1991. View at Publisher · View at Google Scholar - L. C. Waring and M. Clint, “Parallel Gram-Schmidt orthogonalisation on a network of transputers,”
*Parallel Computing*, vol. 17, no. 9, pp. 1043–1050, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - B. Kruatrachue and T. Lewis, “Grain size determination for parallel processing,”
*IEEE Software*, vol. 5, no. 1, pp. 23–32, 1988. View at Publisher · View at Google Scholar · View at Scopus - A. W. Lim and M. S. Lam, “Maximizing parallelism and minimizing synchronization with affine partitions,”
*Parallel Computing*, vol. 24, no. 3-4, pp. 445–475, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - L. Giraud, J. Langou, and M. Rozloznik, “The loss of orthogonality in the Gram-Schmidt orthogonalization process,”
*Computers & Mathematics with Applications*, vol. 50, no. 7, pp. 1069–1075, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Björck and C. C. Paige, “Loss and recapture of orthogonality in the modified Gram-Schmidt algorithm,”
*SIAM Journal on Matrix Analysis and Applications*, vol. 13, no. 1, pp. 176–190, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - T. Wittwer,
*An Introduction to Parallel Programming*, VSSD uitgeverij, 2006. - M. Snir and W. Gropp,
*MPI: The Complete Reference*, MIT Press, Cambridge, UK, 2nd edition, 1998. - T. M. Austin, M. Berndt, and J. D. Moulton, “A memory efficient parallel tridiagonal solver,” Tech. Rep. LA-UR 03-4149, Mathematical Modeling and Analysis Group, Los Alamos National Laboratory, Los Alamos, NM, USA, 2004. View at Google Scholar
- W. M. Lioen and D. T. Winter, “Solving large dense systems of linear equations on systems with virtual memory and with cache,”
*Applied Numerical Mathematics*, vol. 10, no. 1, pp. 73–85, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Demmel, L. Grigori, M. F. Hoemmen, and J. Langou, “Communication-optimal parallel and sequential QR and LU factorizations,” Tech. Rep. UCB/EECS-2008-89, Electrical Engineering and Computer Sciences University of California at Berkeley, Berkeley, Calif, USA, 2008. View at Google Scholar
- P. Amodio, “Optimized cyclic reduction for the solution of linear tridiagonal systems on parallel computers,”
*Computers & Mathematics with Applications*, vol. 26, no. 3, pp. 45–53, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH