X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rce2015.git/blobdiff_plain/f1ca3116c910d634d5282b5b3e4dc929cae46560..af016b677c3b80035457ffcfea85a9809f3ee6ce:/paper.tex?ds=inline diff --git a/paper.tex b/paper.tex index 1391f0f..59c4a67 100644 --- a/paper.tex +++ b/paper.tex @@ -107,13 +107,13 @@ %% help developers to better tune their applications for a given multi-core %% architecture. -%% In this paper we focus our attention on the simulation of iterative algorithms to solve sparse linear systems on large clusters. We study the behavior of the widely used GMRES algorithm and two different variants of the Multisplitting algorithms: one using synchronous iterations and another one with asynchronous iterations. +%% In this paper we focus our attention on the simulation of iterative algorithms to solve sparse linear systems on large clusters. We study the behavior of the widely used GMRES algorithm and two different variants of the Multisplitting algorithms: one using synchronous iterations and another one with asynchronous iterations. %% For each algorithm we have simulated %% different architecture parameters to evaluate their influence on the overall -%% execution time. +%% execution time. %% The simulations confirm the real results previously obtained on different real multi-core architectures and also confirm the efficiency of the asynchronous Multisplitting algorithm on distant clusters compared to the synchronous GMRES algorithm. -The behavior of multi-core applications is always a challenge to predict, especially with a new architecture for which no experiment has been performed. With some applications, it is difficult, if not impossible, to build accurate performance models. That is why another solution is to use a simulation tool which allows us to change many parameters of the architecture (network bandwidth, latency, number of processors) and to simulate the execution of such applications. +The behavior of multi-core applications is always a challenge to predict, especially with a new architecture for which no experiment has been performed. With some applications, it is difficult, if not impossible, to build accurate performance models. That is why another solution is to use a simulation tool which allows us to change many parameters of the architecture (network bandwidth, latency, number of processors) and to simulate the execution of such applications. In this paper we focus on the simulation of iterative algorithms to solve sparse linear systems. We study the behavior of the GMRES algorithm and two different variants of the multisplitting algorithms: using synchronous or asynchronous iterations. For each algorithm we have simulated different architecture parameters to evaluate their influence on the overall execution time. The simulations confirm the real results previously obtained on different real multi-core architectures and also confirm the efficiency of the asynchronous multisplitting algorithm on distant clusters compared to the GMRES algorithm. @@ -460,7 +460,13 @@ where the real-valued function $\phi(x,y,z)$ is the solution sought, $f(x,y,z)$ \end{equation} until convergence where $h$ is the grid spacing between two adjacent elements in the 3D computational grid. -In the parallel context, the 3D Poisson problem is partitioned into $L\times p$ sub-problems such that $L$ is the number of clusters and $p$ is the number of processors in each cluster. We apply the three-dimensional partitioning instead of the row-by-row one in order to reduce the size of the data shared at the sub-problems boundaries. In this case, each processor is in charge of parallelepipedic block of the problem and has at most six neighbors in the same cluster or in distant clusters with which it shares data at boundaries. +In the parallel context, the 3D Poisson problem is partitioned into $L\times p$ +sub-problems such that $L$ is the number of clusters and $p$ is the number of +processors in each cluster. We apply the three-dimensional partitioning instead +of the row-by-row one in order to reduce the size of the data shared at the +sub-problems boundaries. In this case, each processor is in charge of +parallelepipedic block of the problem and has at most six neighbors in the same +cluster or in distant clusters with which it shares data at boundaries. \subsection{Study setup and simulation methodology} @@ -518,29 +524,40 @@ the program output results: Upon the network characteristics, another impacting factor is the volume of data exchanged between the nodes in the cluster and between distant clusters. This parameter is application dependent. - In a grid environment, it is common to distinguish, on the one hand, the - "intra-network" which refers to the links between nodes within a cluster and - on the other hand, the "inter-network" which is the backbone link between - clusters. In practice, these two networks have different speeds. - The intra-network generally works like a high speed local network with a - high bandwidth and very low latency. In opposite, the inter-network connects - clusters sometime via heterogeneous networks components through internet with - a lower speed. The network between distant clusters might be a bottleneck - for the global performance of the application. - - -\subsection{Comparison between GMRES and two-stage multisplitting algorithms in synchronous mode} -In the scope of this paper, our first objective is to analyze when the synchronous Krylov two-stage method has better performance than the classical GMRES method. With a synchronous iterative method, better performance means a smaller number of iterations and execution time before reaching the convergence. - -Table~\ref{tab:01} summarizes the parameters used in the different simulations: the grid architectures, the network of inter-clusters backbone links and the matrix sizes of the 3D Poisson problem. However, for all simulations we fix the network parameters of the intra-clusters links: the bandwidth $bw$=10Gbs and the latency $lat=8\mu$s. In what follows, we will present the test conditions, the output results and our comments. + In a grid environment, it is common to distinguish, on one hand, the + \textit{intra-network} which refers to the links between nodes within a + cluster and on the other hand, the \textit{inter-network} which is the + backbone link between clusters. In practice, these two networks have + different speeds. The intra-network generally works like a high speed + local network with a high bandwidth and very low latency. In opposite, the + inter-network connects clusters sometime via heterogeneous networks components + through internet with a lower speed. The network between distant clusters + might be a bottleneck for the global performance of the application. + + +\subsection{Comparison between GMRES and two-stage multisplitting algorithms in +synchronous mode} +In the scope of this paper, our first objective is to analyze +when the synchronous Krylov two-stage method has better performance than the +classical GMRES method. With a synchronous iterative method, better performance +means a smaller number of iterations and execution time before reaching the +convergence. + +Table~\ref{tab:01} summarizes the parameters used in the different simulations: +the grid architectures (i.e. the number of clusters and the number of nodes per +cluster), the network of inter-clusters backbone links and the matrix sizes of +the 3D Poisson problem. However, for all simulations we fix the network +parameters of the intra-clusters links: the bandwidth $bw$=10Gbs and the latency +$lat=8\mu$s. In what follows, we will present the test conditions, the output +results and our comments. \begin{table} [ht!] \begin{center} \begin{tabular}{ll} \hline -Grid architecture & 2$\times$16, 4$\times$8, 4$\times$16 and 8$\times$8\\ +Grid architecture & 2$\times$16, 4$\times$8, 4$\times$16 and 8$\times$8\\ \multirow{2}{*}{Network inter-clusters} & $N1$: $bw$=10Gbs, $lat=8\mu$s \\ - & $N2$: $bw$=1Gbs, $lat=50\mu$s \\ + & $N2$: $bw$=1Gbs, $lat=50\mu$s \\ \multirow{2}{*}{Matrix size} & $Mat1$: N$_{x}\times$N$_{y}\times$N$_{z}$=150$\times$150$\times$150\\ & $Mat2$: N$_{x}\times$N$_{y}\times$N$_{z}$=170$\times$170$\times$170 \\ \hline \end{tabular} @@ -554,15 +571,17 @@ Grid architecture & 2$\times$16, 4$\times$8, 4$\times$16 a In this section, we analyze the simulations conducted on various grid configurations and for different sizes of the 3D Poisson problem. The parameters of the network between clusters is fixed to $N2$ (see -Table~\ref{tab:01}). Figure~\ref{fig:01} shows, for all grid configurations and a -given matrix size 170$^3$ elements, a non-variation in the number of iterations -for the classical GMRES algorithm, which is not the case of the Krylov two-stage -algorithm. In fact, with multisplitting algorithms, the number of splitting (in -our case, it is the number of clusters) influences on the convergence speed. The -higher the number of splitting is, the slower the convergence of the algorithm -is (see the output results obtained from configurations 2$\times$16 vs. 4$\times$8 and configurations 4$\times$16 vs. 8$\times$8). - -The execution times between both algorithms is significant with different grid architectures. The synchronous Krylov two-stage algorithm presents better performances than the GMRES algorithm, even for a high number of clusters (about $32\%$ more efficient on a grid of 8$\times$8 than GMRES). In addition, we can observe a better sensitivity of the Krylov two-stage algorithm (compared to the GMRES one) when scaling up the number of the processors in the computational grid: the Krylov two-stage algorithm is about $48\%$ and the GMRES algorithm is about $40\%$ better on 64 processors (grid of 8$\times$8) than 32 processors (grid of 2$\times$16). +Table~\ref{tab:01}). Figure~\ref{fig:01} shows, for all grid configurations and +a given matrix size of 170$^3$ elements, a non-variation in the number of +iterations for the classical GMRES algorithm, which is not the case of the +Krylov two-stage algorithm. In fact, with multisplitting algorithms, the number +of splitting (in our case, it is equal to the number of clusters) influences on the +convergence speed. The higher the number of splitting is, the slower the +convergence of the algorithm is (see the output results obtained from +configurations 2$\times$16 vs. 4$\times$8 and configurations 4$\times$16 vs. +8$\times$8). + +The execution times between both algorithms is significant with different grid architectures. The synchronous Krylov two-stage algorithm presents better performances than the GMRES algorithm, even for a high number of clusters (about $32\%$ more efficient on a grid of 8$\times$8 than GMRES). In addition, we can observe a better sensitivity of the Krylov two-stage algorithm (compared to the GMRES one) when scaling up the number of the processors in the computational grid: the Krylov two-stage algorithm is about $48\%$ and the GMRES algorithm is about $40\%$ better on 64 processors (grid of 8$\times$8) than 32 processors (grid of 2$\times$16). \begin{figure}[ht] \begin{center} @@ -593,7 +612,7 @@ efficient for distributed systems with high latency networks. \end{figure} \subsubsection{Network latency impacts on performances\\} -Figure~\ref{fig:03} shows the impact of the network latency on the performances of both algorithms. The simulation is conducted on a computational grid of 2 clusters of 16 processors each (i.e. configuration 2$\times$16) interconnected by a network of bandwidth $bw$=1Gbs to solve a 3D Poisson problem of size $150^3$. According to the results, a degradation of the network latency from $8\mu$s to $60\mu$s implies an absolute execution time increase for both algorithms, but not with the same rate of degradation. The GMRES algorithm is more sensitive to the latency degradation than the Krylov two-stage algorithm. +Figure~\ref{fig:03} shows the impact of the network latency on the performances of both algorithms. The simulation is conducted on a computational grid of 2 clusters of 16 processors each (i.e. configuration 2$\times$16) interconnected by a network of bandwidth $bw$=1Gbs to solve a 3D Poisson problem of size $150^3$. According to the results, a degradation of the network latency from $8\mu$s to $60\mu$s implies an absolute execution time increase for both algorithms, but not with the same rate of degradation. The GMRES algorithm is more sensitive to the latency degradation than the Krylov two-stage algorithm. \begin{figure}[ht] \centering @@ -613,8 +632,8 @@ Figure~\ref{fig:04} reports the results obtained for the simulation of a grid of \end{figure} \subsubsection{Matrix size impacts on performances\\} -In these experiments, the matrix size of the 3D Poisson problem is varied from $50^3$ to $190^3$ elements. The simulated computational grid is composed of 4 clusters of 8 processors each interconnected by the network $N2$ (see Table~\ref{tab:01}). Obviously, as shown in Figure~\ref{fig:05}, the execution times for both algorithms increase with increased matrix sizes. For all problem sizes, GMRES algorithm is always slower than the Krylov two-stage algorithm. Moreover, for this benchmark, it seems that the greater the problem size is, the bigger the ratio between execution times of both algorithms is. We can also observe that for some problem sizes, the convergence (and thus the execution time) of the Krylov two-stage algorithm varies quite a lot. %This is due to the 3D partitioning of the 3D matrix of the Poisson problem. -These findings may help a lot end users to setup the best and the optimal targeted environment for the application deployment when focusing on the problem size scale up. +In these experiments, the matrix size of the 3D Poisson problem is varied from $50^3$ to $190^3$ elements. The simulated computational grid is composed of 4 clusters of 8 processors each interconnected by the network $N2$ (see Table~\ref{tab:01}). Obviously, as shown in Figure~\ref{fig:05}, the execution times for both algorithms increase with increased matrix sizes. For all problem sizes, GMRES algorithm is always slower than the Krylov two-stage algorithm. Moreover, for this benchmark, it seems that the greater the problem size is, the bigger the ratio between execution times of both algorithms is. We can also observe that for some problem sizes, the convergence (and thus the execution time) of the Krylov two-stage algorithm varies quite a lot. %This is due to the 3D partitioning of the 3D matrix of the Poisson problem. +These findings may help a lot end users to setup the best and the optimal targeted environment for the application deployment when focusing on the problem size scale up. \begin{figure}[ht] \centering @@ -662,7 +681,7 @@ benchmarks have been performed with various combinations of the grid resource in Table~\ref{tab:02}. In order to compare the execution times, Table~\ref{tab:03} reports the relative gain between both algorithms. It is defined by the ratio between the execution time of GMRES and the execution time of the -multisplitting. +multisplitting. \LZK{Quelle table repporte les gains relatifs?? Sûrement pas Table II !!} \RCE{Table III avec la nouvelle numerotation} The ratio is greater than one because the asynchronous