1 \documentclass[conference]{IEEEtran}
3 \usepackage[T1]{fontenc}
4 \usepackage[utf8]{inputenc}
5 \usepackage[english]{babel}
6 \usepackage{algorithm,algorithmicx,algpseudocode}
7 \usepackage{graphicx,graphics}
13 \usepackage[autolanguage,np]{numprint}
14 \renewcommand*\npunitcommand[1]{\text{#1}}
17 \usepackage[textsize=footnotesize]{todonotes}
18 \newcommand{\AG}[2][inline]{\todo[color=green!50,#1]{\sffamily\textbf{AG:} #2}\xspace}
22 \title{Optimal Dynamic Frequency Scaling for Energy-Performance of Parallel MPI Programs}
33 University of Franche-Comté
39 \AG{``Optimal'' is a bit pretentious in the title.\\
40 Complete affiliation, add an email address, etc.}
43 The important technique for energy reduction of parallel systems is CPU frequency
44 scaling. This operation used by many researchers to reduce energy consumption in many
45 ways. Frequency scaling operation also has big impact on the performance. In some cases,
46 the performance degradation ratio is bigger than energy saving ratio when the frequency scaled
47 to down level. Therefore, the trade offs between the energy and performance becomes more
48 important topic when using this technique. In this paper we developed an algorithm that
49 select the frequency scaling factor for both energy and performance simultaneously.
50 This algorithm takes into account the communication times when selecting the frequency scaling
51 factor. It is works online without training or profiling to have very small overhead.
52 The algorithm has better energy-performance trade offs compared to other methods.
55 \section{Introduction}
58 The need for computing power is still increasing and it is not expected to slow
59 down in the coming years. To satisfy this demand, researchers and supercomputers
60 constructors have been regularly increasing the number of computing cores in
61 supercomputers (for example in November 2013, according to the TOP500
62 list~\cite{43}, the Tianhe-2 was the fastest supercomputer. It has more than 3
63 millions of cores and delivers more than 33 Tflop/s while consuming 17808
64 kW). This large increase in number of computing cores has led to large energy
65 consumption by these architectures. Moreover, the price of energy is expected to
66 continue its ascent according to the demand. For all these reasons energy
67 reduction became an important topic in the high performance computing field. To
68 tackle this problem, many researchers used DVFS (Dynamic Voltage Frequency
69 Scaling) operations which reduce dynamically the frequency and voltage of cores
70 and thus their energy consumption. However, this operation also degrades the
71 performance of computation. Therefore researchers try to reduce the frequency to
72 minimum when processors are idle (waiting for data from other processors or
73 communicating with other processors). Moreover, depending on their objectives
74 they use heuristics to find the best scaling factor during the computation. If
75 they aim for performance they choose the best scaling factor that reduces the
76 consumed energy while affecting as little as possible the performance. On the
77 other hand, if they aim for energy reduction, the chosen scaling factor must
78 produce the most energy efficient execution without considering the degradation
79 of the performance. It is important to notice that lowering the frequency to
80 minimum value does not always give the most efficient execution due to energy
81 leakage. The best scaling factor might be chosen during execution (online) or
82 during a pre-execution phase. In this paper we emphasize to develop an
83 algorithm that selects a frequency scaling factor that simultaneously takes into
84 consideration the energy consumption and the performance. The
85 main objective of HPC systems is to run the application with less execution
86 time. Therefore, our algorithm selects the scaling factor online with
87 very small footprint. The proposed algorithm takes into account the
88 communication times of the MPI program to choose the scaling factor. This
89 algorithm has ability to predict both energy consumption and execution time over
90 all available scaling factors. The prediction achieved depends on some
91 computing time information, gathered at the beginning of the runtime. We apply
92 this algorithm to seven MPI benchmarks. These MPI programs are the NAS parallel
93 benchmarks (NPB v3.3) developed by NASA~\cite{44}. Our experiments are executed
94 using the simulator SimGrid/SMPI v3.10~\cite{Casanova:2008:SGF:1397760.1398183}
95 over an homogeneous distributed memory architecture. Furthermore, we compare the
96 proposed algorithm with Rauber and Rünger methods~\cite{3}.
97 The comparison's results show that our
98 algorithm gives better energy-time trade off.
100 This paper is organized as follows: Section~\ref{sec.relwork} presents the works from other authors.
101 Section~\ref{sec.ptasks} shows the execution of parallel tasks and sources of idle times. Section~\ref{sec.energy} resumes the
102 energy model of homogeneous platform. Section~\ref{sec.mpip} evaluates the performance of MPI program.
103 Section~\ref{sec.verif} verifies the performance prediction model. Section~\ref{sec.compet} presents
104 the energy-performance trade offs objective function. Section~\ref{sec.optim} demonstrates the proposed
105 energy-performance algorithm. Section~\ref{sec.expe} presents the results of our experiments.
106 Section~\ref{sec.compare} shows the comparison results. Finally, we conclude in Section~\ref{sec.concl}.
108 \section{Related Works}
111 \AG{Consider introducing the models (sec.~\ref{sec.ptasks},
112 maybe~\ref{sec.energy}) before related works}
114 In the this section some heuristics to compute the scaling factor are
115 presented and classified in two parts: offline and online methods.
117 \subsection{The offline DVFS orientations}
119 The DVFS offline methods are static and are not executed during the runtime of
120 the program. Some approaches used heuristics to select the best DVFS state
121 during the compilation phases as for example in Azevedo et al.~\cite{40}. They use
122 dynamic voltage scaling (DVS) algorithm to choose the DVS setting when there are dependency points
123 between tasks. While in~\cite{29}, Xie et al. used breadth-first search
124 algorithm to do that. Their goal is to save energy with time limits. Another
125 approach gathers and stores the runtime information for each DVFS state, then
126 selects the suitable DVFS offline to optimize energy-time
127 trade offs. As an example Rountree et al.~\cite{8}, use liner programming
128 algorithm, while in~\cite{38,34}, Cochran et al. use multi logistic regression
129 algorithm for the same goal. The offline study that shows the DVFS impact on the
130 communication time of the MPI program is~\cite{17}, where Freeh et al. show that these
131 times do not change when the frequency is scaled down.
133 \subsection{The online DVFS orientations}
135 The objective of online DVFS orientations works is to dynamically compute and set the frequency of
136 the CPU during the runtime of the program for saving energy. Estimating and
137 predicting approaches for the energy-time trade offs are developed by Kimura, Peraza, Yu-Liang et al.
138 ~\cite{11,2,31}. These works select the best DVFS setting depending on the slack
139 times. These times happen when the processors have to wait for data from other
140 processors to compute their task. For example, during the synchronous
141 communications that take place in MPI programs, some processors are
142 idle. The optimal DVFS can be selected using learning methods. Therefore, in Dhiman, Hao Shen et al.
143 ~\cite{39,19} used machine learning to converge to the suitable DVFS
144 configuration. Their learning algorithms take big time to converge when the
145 number of available frequencies is high. Also, the communication sections of the MPI
146 program can be used to save energy. In~\cite{1}, Lim et al. developed an
147 algorithm that detects the communication sections and changes the frequency
148 during these sections only. This approach changes the frequency many times
149 because an iteration may contain more than one communication section. The domain
150 of analytical modeling used for choosing the optimal frequency as in Rauber and Rünger~\cite{3}. they
151 developed an analytical mathematical model to determine the
152 optimal frequency scaling factor for any number of concurrent tasks. They set the slowest task to maximum frequency for maintaining performance. In this paper we compare our algorithm with
153 Rauber and Rünger model~\cite{3}, because their model can be used for any number of
154 concurrent tasks for homogeneous platforms. The primary contributions of this paper are:
156 \item Selecting the frequency scaling factor for simultaneously optimizing energy and performance,
157 while taking into account the communication time.
158 \item Adapting our scaling factor to take into account the imbalanced tasks.
159 \item The execution time of our algorithm is very small when compared to other
160 methods (e.g.,~\cite{19}).
161 \item The proposed algorithm works online without profiling or training as
165 \section{Parallel Tasks Execution on Homogeneous Platform}
168 A homogeneous cluster consists of identical nodes in terms of hardware and software.
169 Each node has its own memory and at least one processor which can
170 be a multi-core. The nodes are connected via a high bandwidth network. Tasks
171 executed on this model can be either synchronous or asynchronous. In this paper
172 we consider execution of the synchronous tasks on distributed homogeneous
173 platform. These tasks can exchange the data via synchronous message passing.
176 \subfloat[Sync. Imbalanced Communications]{\includegraphics[scale=0.67]{commtasks}\label{fig:h1}}
177 \subfloat[Sync. Imbalanced Computations]{\includegraphics[scale=0.67]{compt}\label{fig:h2}}
178 \caption{Parallel Tasks on Homogeneous Platform}
181 Therefore, the execution time of a task consists of the computation time and the
182 communication time. Moreover, the synchronous communications between tasks can
183 lead to idle time while tasks wait at the synchronization barrier for other tasks to
184 finish their communications (see figure~(\ref{fig:h1})). The imbalanced communications happen when nodes have to send/receive different amount of data or each node is communicates with different number of nodes. Another source for idle times is the imbalanced computations. This happen when processing different
185 amounts of data on each processor (see figure~(\ref{fig:h2})). In
186 this case the fastest tasks have to wait at the synchronization barrier for the
187 slowest tasks to finish their job. In both cases the overall execution time
188 of the program is the execution time of the slowest task as:
191 \textit{Program Time} = \max_{i=1,2,\dots,N} T_i
193 where $T_i$ is the execution time of task $i$.
195 \section{Energy Model for Homogeneous Platform}
198 The energy consumption by the processor consists of two power metrics: the
199 dynamic and the static power. This general power formulation is used by many
200 researchers~\cite{9,3,15,26}. The dynamic power of the CMOS processors
201 $P_{dyn}$ is related to the switching activity $\alpha$, load capacitance $C_L$,
202 the supply voltage $V$ and operational frequency $f$ respectively as follow:
205 P_\textit{dyn} = \alpha \cdot C_L \cdot V^2 \cdot f
207 The static power $P_{static}$ captures the leakage power consumption as well as
208 the power consumption of peripheral devices like the I/O subsystem.
211 P_\textit{static} = V \cdot N \cdot K_{design} \cdot I_{leak}
213 where V is the supply voltage, N is the number of transistors, $K_{design}$ is a
214 design dependent parameter and $I_{leak}$ is a technology-dependent
215 parameter. Energy consumed by an individual processor $E_{ind}$ is the summation
216 of the dynamic and the static power multiplied by the execution time for example
220 E_\textit{ind} = ( P_\textit{dyn} + P_\textit{static} ) \cdot T
222 The dynamic voltage and frequency scaling (DVFS) is a process that is allowed in
223 modern processors to reduce the dynamic power by scaling down the voltage and
224 frequency. Its main objective is to reduce the overall energy
225 consumption~\cite{37}. The operational frequency \emph f depends linearly on the
226 supply voltage $V$, i.e., $V = \beta \cdot f$ with some constant $\beta$. This
227 equation is used to study the change of the dynamic voltage with respect to
228 various frequency values in~\cite{3}. The reduction process of the frequency are
229 expressed by scaling factor \emph S. The scale \emph S is the ratio between the
230 maximum and the new frequency as in EQ~(\ref{eq:s}).
233 S = \frac{F_\textit{max}}{F_\textit{new}}
235 The value of the scale $S$ is greater than 1 when changing the frequency to
236 any new frequency value~(\emph {P-state}) in governor, the CPU governor is an interface
237 driver supplied by the operating system kernel (e.g. Linux) to lowering core's frequency.
238 The scaling factor is equal to 1 when the frequency set is to the maximum frequency.
239 The energy consumption model for parallel homogeneous platform depends on the scaling factor \emph S. This factor reduces quadratically the dynamic power. Also, this factor increases the
240 static energy linearly because the execution time is increased~\cite{36}. The
241 energy model depending on the frequency scaling factor for homogeneous platform
242 for any number of concurrent tasks was developed by Rauber and Rünger~\cite{3}. This model
243 considers the two power metrics for measuring the energy of the parallel tasks as
244 in EQ~(\ref{eq:energy}):
248 E = P_\textit{dyn} \cdot S_1^{-2} \cdot
249 \left( T_1 + \sum_{i=2}^{N} \frac{T_i^3}{T_1^2} \right) +
250 P_\textit{static} \cdot T_1 \cdot S_1 \cdot N
253 where \emph N is the number of parallel nodes, $T_1 $ is the time of the slowest
254 task, $T_i$ is the time of the task $i$ and $S_1$ is the maximum scaling factor
255 for the slower task. The scaling factor $S_1$, as in EQ~(\ref{eq:s1}), selects
256 from the set of scales values $S_i$. Each of these scales are proportional to
257 the time value $T_i$ depends on the new frequency value as in EQ~(\ref{eq:si}).
260 S_1 = \max_{i=1,2,\dots,F} S_i
264 S_i = S \cdot \frac{T_1}{T_i}
265 = \frac{F_\textit{max}}{F_\textit{new}} \cdot \frac{T_1}{T_i}
267 where $F$ is the number of available frequencies. In this paper we depend on
268 Rauber and Rünger energy model EQ~(\ref{eq:energy}) for two reasons: (1)-this model is used
269 for homogeneous platform that we work on in this paper. 2-we compare our
270 algorithm with Rauber and Rünger scaling model. Rauber and Rünger scaling factor that reduce
271 energy consumption derived from the EQ~(\ref{eq:energy}). They take the
272 derivation for this equation (to be minimized) and set it to zero to produce the
273 scaling factor as in EQ~(\ref{eq:sopt}).
276 S_\textit{opt} = \sqrt[3]{\frac{2}{n} \cdot \frac{P_\textit{dyn}}{P_\textit{static}} \cdot
277 \left( 1 + \sum_{i=2}^{N} \frac{T_i^3}{T_1^3} \right) }
280 \section{Performance Evaluation of MPI Programs}
283 The performance (execution time) of parallel MPI applications depend on
284 the time of the slowest task as in figure~(\ref{fig:homo}). Normally the
285 execution time of the parallel programs are proportional to the operational
286 frequency. Therefore, any DVFS operation for the energy reduction increases the
287 execution time of the parallel program. As shown in EQ~(\ref{eq:energy}) the
288 energy is affected by the scaling factor $S$. This factor also has a great impact
289 on the performance. When scaling down the frequency to the new value according
290 to EQ~(\ref{eq:s}), the value of the scale $S$ has inverse relation with
291 new frequency value ($S \propto \frac{1}{F_{new}}$). Also when decreasing the
292 frequency value, the execution time increases. Then the new frequency value has
293 inverse relation with time ($F_{new} \propto \frac{1}{T}$). This leads to the
294 frequency scaling factor $S$ proportional linearly with execution time ($S
295 \propto T$). Large scale MPI applications such as NAS benchmarks have
296 considerable amount of communications embedded in these programs. During the
297 communication process the processors remain idle until the communication has
298 finished. For that reason any change in the frequency has no impact on the time
299 of communication but it has obvious impact on the time of
300 computation~\cite{17}. We have made many tests on a real cluster to prove that the
301 frequency scaling factor \emph S has a linear relation with computation time
302 only. To predict the execution time of MPI program, the communication time and
303 the computation time for the slower task must be first precisely specified. Secondly,
304 these times are used to predict the execution time for any MPI program as a function of
305 the new scaling factor as in the EQ~(\ref{eq:tnew}).
308 \textit T_\textit{new} = T_\textit{Max Comp Old} \cdot S + T_{\textit{Max Comm Old}}
310 The above equation shows that the scaling factor \emph S has linear relation
311 with the computation time without affecting the communication time. The
312 communication time consists of the beginning times which an MPI calls for
313 sending or receiving till the message is synchronously sent or received. In this
314 paper we predict the execution time of the program for any new scaling factor
315 value. Depending on this prediction we can produce our energy-performance scaling
316 method as we will show in the coming sections. In the next section we make to finishan
317 investigation study for the EQ~(\ref{eq:tnew}).
319 \section{Performance Prediction Verification}
322 In this section we evaluate the precision of our performance prediction methods
323 on the NAS benchmark. We use the EQ~(\ref{eq:tnew}) that predicts the execution
324 time for any scale value. The NAS programs run the class B for comparing the
325 real execution time with the predicted execution time. Each program runs offline
326 with all available scaling factors on 8 or 9 nodes to produce real execution
327 time values. These scaling factors are computed by dividing the maximum
328 frequency by the new one see EQ~(\ref{eq:s}). In all tests, we use the simulator
329 SimGrid/SMPI v3.10 to run the NAS programs.
332 \includegraphics[width=.4\textwidth]{cg_per.eps}\qquad%
333 \includegraphics[width=.4\textwidth]{mg_pre.eps}
334 \includegraphics[width=.4\textwidth]{bt_pre.eps}\qquad%
335 \includegraphics[width=.4\textwidth]{lu_pre.eps}
336 \caption{Fitting Predicted to Real Execution Time}
339 %see Figure~\ref{fig:pred}
340 In our cluster there are 18 available frequency states for each processor from
341 2.5 GHz to 800 MHz, there is 100 MHz difference between two successive
342 frequencies. For more details on the characteristics of the platform refer to
343 table~(\ref{table:platform}). This lead to 18 run states for each program. We
344 use seven MPI programs of the NAS parallel benchmarks: CG, MG, EP, FT, BT, LU
345 and SP. The average normalized errors between the predicted execution time and
346 the real time (SimGrid time) for all programs is between 0.0032 to 0.0133. AS an
347 example, we are present the execution times of the NAS benchmarks as in the
348 figure~(\ref{fig:pred}).
350 \section{Performance to Energy Competition}
353 This section demonstrates our approach for choosing the optimal scaling
354 factor. This factor gives maximum energy reduction taking into account the
355 execution time for both computation and communication times. The relation
356 between the energy and the performance are nonlinear and complex, because the
357 relation of the energy with scaling factor is nonlinear and with the performance
358 it is linear see~\cite{17}. The relation between the energy and the performance
359 is not straightforward. Moreover, they are not measured using the same metric.
360 For solving this problem, we normalize the energy by calculating the ratio
361 between the consumed energy with scaled frequency and the consumed energy
362 without scaled frequency:
365 E_\textit{Norm} = \frac{ E_\textit{Reduced}}{E_\textit{Original}} \\
366 {} = \frac{P_\textit{dyn} \cdot S_i^{-2} \cdot
367 \left( T_1 + \sum_{i=2}^{N}\frac{T_i^3}{T_1^2}\right) +
368 P_\textit{static} \cdot T_1 \cdot S_i \cdot N }{
369 P_\textit{dyn} \cdot \left(T_1+\sum_{i=2}^{N}\frac{T_i^3}{T_1^2}\right) +
370 P_\textit{static} \cdot T_1 \cdot N }
372 By the same way we can normalize the performance as follows:
375 P_\textit{Norm} = \frac{T_\textit{New}}{T_\textit{Old}}
376 = \frac{T_\textit{Max Comp Old} \cdot S +
377 T_\textit{Max Comm Old}}{ T_\textit{Old}}
379 The second problem is the optimization operation for both energy and performance
380 is not in the same direction. In other words, the normalized energy and the
381 performance curves are not in the same direction see figure~(\ref{fig:r2}).
382 While the main goal is to optimize the energy and performance in the same
383 time. According to the equations~(\ref{eq:enorm}) and~(\ref{eq:pnorm}) the
384 scaling factor \emph S reduce both the energy and the performance
385 simultaneously. But the main objective is to produce maximum energy reduction
386 with minimum performance reduction. Many researchers used different strategies
387 to solve this nonlinear problem for example see~\cite{19,42}, their methods add
388 big overhead to the algorithm for selecting the suitable frequency. In this
389 paper we are present a method to find the optimal scaling factor \emph S for
390 optimize both energy and performance simultaneously without adding big
391 overheads. Our solution for this problem is to make the optimization process
392 have the same direction. Therefore, we inverse the equation of normalize
393 performance as follows:
396 P^{-1}_\textit{Norm} = \frac{ T_\textit{Old}}{ T_\textit{New}}
397 = \frac{ T_\textit{Old}}{T_\textit{Max Comp Old} \cdot S +
398 T_\textit{Max Comm Old}}
402 \subfloat[Converted Relation.]{%
403 \includegraphics[width=.4\textwidth]{file.eps}\label{fig:r1}}%
405 \subfloat[Real Relation.]{%
406 \includegraphics[width=.4\textwidth]{file3.eps}\label{fig:r2}}
408 \caption{The Energy and Performance Relation}
410 Then, we can modelize our objective function as finding the maximum distance
411 between the energy curve EQ~(\ref{eq:enorm}) and the inverse of performance
412 curve EQ~(\ref{eq:pnorm_en}) over all available scaling factors. This represent
413 the minimum energy consumption with minimum execution time (better performance)
414 in the same time, see figure~(\ref{fig:r1}). Then our objective function has the
418 \textit{MaxDist} = \max (\overbrace{P^{-1}_\textit{Norm}}^{\text{Maximize}} -
419 \overbrace{E_\textit{Norm}}^{\text{Minimize}} )
421 Then we can select the optimal scaling factor that satisfy the
422 EQ~(\ref{eq:max}). Our objective function can works with any energy model or
423 static power values stored in a data file. Moreover, this function works in
424 optimal way when the energy function has a convex form with frequency scaling
425 factor as shown in~\cite{15,3,19}. Energy measurement model is not the
426 objective of this paper and we choose Rauber and Rünger model as an example with two
427 reasons that mentioned before.
429 \section{Optimal Scaling Factor for Performance and Energy}
432 In the previous section we described the objective function that satisfy our
433 goal in discovering optimal scaling factor for both performance and energy at
434 the same time. Therefore, we develop an energy to performance scaling algorithm
435 ($EPSA$). This algorithm is simple and has a direct way to calculate the optimal
436 scaling factor for both energy and performance at the same time.
437 \begin{algorithm}[tp]
440 \begin{algorithmic}[1]
441 \State Initialize the variable $Dist=0$
442 \State Set dynamic and static power values.
443 \State Set $P_{states}$ to the number of available frequencies.
444 \State Set the variable $F_{new}$ to max. frequency, $F_{new} = F_{max} $
445 \State Set the variable $F_{diff}$ to the scale value between each two frequencies.
446 \For {$i=1$ to $P_{states} $}
447 \State - Calculate the new frequency as $F_{new}=F_{new} - F_{diff} $
448 \State - Calculate the scale factor $S$ as in EQ~(\ref{eq:s}).
449 \State - Calculate all available scales $S_i$ depend on $S$ as\par\hspace{1 pt} in EQ~(\ref{eq:si}).
450 \State - Select the maximum scale factor $S_1$ from the set\par\hspace{1 pt} of scales $S_i$.
451 \State - Calculate the normalize energy $E_{Norm}=E_{R}/E_{O}$
452 \par\hspace{1 pt} as in EQ~(\ref{eq:enorm}).
453 \State - Calculate the normalize inverse of performance\par\hspace{1 pt}
454 $P_{NormInv}=T_{old}/T_{new}$ as in EQ~(\ref{eq:pnorm_en}).
455 \If{ $(P_{NormInv}-E_{Norm} > Dist$) }
456 \State $S_{optimal} = S$
457 \State $Dist = P_{NormInv} - E_{Norm}$
460 \State Return $S_{optimal}$
463 The proposed EPSA algorithm works online during the execution time of the MPI
464 program. It selects the optimal scaling factor by gathering some information
465 from the program after one iteration. This algorithm has small execution time
466 (between 0.00152 $ms$ for 4 nodes to 0.00665 $ms$ for 32 nodes). The data
467 required by this algorithm is the computation time and the communication time
468 for each task from the first iteration only. When these times are measured, the
469 MPI program calls the EPSA algorithm to choose the new frequency using the
470 optimal scaling factor. Then the program set the new frequency to the
471 system. The algorithm is called just one time during the execution of the
472 program. The DVFS algorithm~(\ref{dvfs}) shows where and when the EPSA algorithm is called
474 %\begin{minipage}{\textwidth}
475 %\AG{Use the same format as for Algorithm~\ref{$EPSA$}}
477 \begin{algorithm}[tp]
480 \begin{algorithmic}[1]
481 \For {$J:=1$ to $Some-Iterations \; $}
482 \State -Computations Section.
483 \State -Communications Section.
485 \State -Gather all times of computation and\par\hspace{13 pt} communication from each node.
486 \State -Call EPSA with these times.
487 \State -Calculate the new frequency from optimal scale.
488 \State -Set the new frequency to the system.
494 After obtaining the optimal scale factor from the EPSA algorithm. The program
495 calculates the new frequency $F_i$ for each task proportionally to its time
496 value $T_i$. By substitution of the EQ~(\ref{eq:s}) in the EQ~(\ref{eq:si}), we
497 can calculate the new frequency $F_i$ as follows:
500 F_i = \frac{F_\textit{max} \cdot T_i}{S_\textit{optimal} \cdot T_\textit{max}}
502 According to this equation all the nodes may have the same frequency value if
503 they have balanced workloads. Otherwise, they take different frequencies when
504 have imbalanced workloads. Then EQ~(\ref{eq:fi}) works in adaptive way to change
505 the frequency according to the nodes workloads.
507 \section{Experimental Results}
510 The proposed EPSA algorithm was applied to seven MPI programs of the NAS
511 benchmarks (EP, CG, MG, FT, BT, LU and SP). We work on three classes (A, B and
512 C) for each program. Each program runs on specific number of processors
513 proportional to the size of the class. Each class represents the problem size
514 ascending from the class A to C. Additionally, depending on some speed up points
515 for each class we run the classes A, B and C on 4, 8 or 9 and 16 nodes
516 respectively. Our experiments are executed on the simulator SimGrid/SMPI
517 v3.10. We design a platform file that simulates a cluster with one core per
518 node. This cluster is a homogeneous architecture with distributed memory. The
519 detailed characteristics of our platform file are shown in the
520 table~(\ref{table:platform}). Each node in the cluster has 18 frequency values
521 from 2.5 GHz to 800 MHz with 100 MHz difference between each two successive
524 \caption{Platform File Parameters}
527 \begin{tabular}{|*{7}{l|}}
529 Max & Min & Backbone & Backbone&Link &Link& Sharing \\
530 Freq. & Freq. & Bandwidth & Latency & Bandwidth& Latency&Policy \\ \hline
531 \np{2.5} & \np{800} & \np[GBps]{2.25} &\np[$\mu$s]{0.5}& \np[GBps]{1} & \np[$\mu$s]{50} &Full \\
532 GHz& MHz& & & & &Duplex \\\hline
534 \label{table:platform}
536 Depending on the EQ~(\ref{eq:energy}), we measure the energy consumption for all
537 the NAS MPI programs while assuming the power dynamic is equal to 20W and the
538 power static is equal to 4W for all experiments. We run the proposed EPSA
539 algorithm for all these programs. The results showed that the algorithm selected
540 different scaling factors for each program depending on the communication
541 features of the program as in the figure~(\ref{fig:nas}). This figure shows that
542 there are different distances between the normalized energy and the normalized
543 inversed performance curves, because there are different communication features
544 for each MPI program. When there are little or not communications, the inversed
545 performance curve is very close to the energy curve. Then the distance between
546 the two curves is very small. This lead to small energy savings. The opposite
547 happens when there are a lot of communication, theto finish distance between the two
548 curves is big. This lead to more energy savings (e.g. CG and FT), see
549 table~(\ref{table:factors results}). All discovered frequency scaling factors
550 optimize both the energy and the performance simultaneously for all the NAS
551 programs. In table~(\ref{table:factors results}), we record all optimal scaling
552 factors results for each program on class C. These factors give the maximum
553 energy saving percent and the minimum performance degradation percent in the
554 same time over all available scales.
557 \includegraphics[width=.33\textwidth]{ep.eps}\hfill%
558 \includegraphics[width=.33\textwidth]{cg.eps}\hfill%
559 \includegraphics[width=.33\textwidth]{sp.eps}
560 \includegraphics[width=.33\textwidth]{lu.eps}\hfill%
561 \includegraphics[width=.33\textwidth]{bt.eps}\hfill%
562 \includegraphics[width=.33\textwidth]{ft.eps}
563 \caption{Optimal scaling factors for The NAS MPI Programs}
567 \caption{The EPSA Scaling Factors Results}
570 \begin{tabular}{|l|*{4}{r|}}
572 Program & Optimal & Energy & Performance&Energy-Perf.\\
573 Name & Scaling Factor& Saving \%&Degradation \% &Distance \\ \hline
574 CG & 1.56 &39.23&14.88 &24.35\\ \hline
575 MG & 1.47 &34.97&21.70 &13.27 \\ \hline
576 EP & 1.04 &22.14&20.73 &1.41\\ \hline
577 LU & 1.38 &35.83&22.49 &13.34\\ \hline
578 BT & 1.31 &29.60&21.28 &8.32\\ \hline
579 SP & 1.38 &33.48&21.36 &12.12\\ \hline
580 FT & 1.47 &34.72&19.00 &15.72\\ \hline
582 \label{table:factors results}
583 % is used to refer this table in the text
586 As shown in the table~(\ref{table:factors results}), when the optimal scaling
587 factor has big value we can gain more energy savings for example as in CG and
588 FT. The opposite happens when the optimal scaling factor is small value as
589 example BT and EP. Our algorithm selects big scaling factor value when the
590 communication and the other slacks times are big and smaller ones in opposite
591 cases. In EP there are no communications inside the iterations. This make our
592 EPSA to selects smaller scaling factor values (inducing smaller energy savings).
594 \section{Comparing Results}
597 In this section, we compare our EPSA algorithm results with Rauber and Rünger
598 methods~\cite{3}. He had two scenarios, the first is to reduce energy to optimal
599 level without considering the performance as in EQ~(\ref{eq:sopt}). We refer to
600 this scenario as $R_{E}$. The second scenario is similar to the first
601 except setting the slower task to the maximum frequency (when the scale $S=1$)
602 to keep the performance from degradation as mush as possible. We refer to this
603 scenario as $R_{E-P}$. The comparison is made in tables~(\ref{table:compare
604 Class A},\ref{table:compare Class B},\ref{table:compare Class C}). These
605 tables show the results of our EPSA and Rauber and Rünger scenarios for all the NAS
606 benchmarks programs for classes A,B and C.
608 \caption{Comparing Results for The NAS Class A}
611 \begin{tabular}{|l|l|*{4}{r|}}
613 Method&Program&Factor& Energy& Performance &Energy-Perf.\\
614 Name &Name&Value& Saving \%&Degradation \% &Distance
616 % \rowcolor[gray]{0.85}
617 $EPSA$&CG & 1.56 &37.02 & 13.88 & 23.14\\ \hline
618 $R_{E-P}$&CG &2.14 &42.77 & 25.27 & 17.50\\ \hline
619 $R_{E}$&CG &2.14 &42.77&26.46&16.31\\ \hline
621 $EPSA$&MG & 1.47 &27.66&16.82&10.84\\ \hline
622 $R_{E-P}$&MG &2.14&34.45&31.84&2.61\\ \hline
623 $R_{E}$&MG &2.14&34.48&33.65&0.80 \\ \hline
625 $EPSA$&EP &1.19 &25.32&20.79&4.53\\ \hline
626 $R_{E-P}$&EP&2.05&41.45&55.67&-14.22\\ \hline
627 $R_{E}$&EP&2.05&42.09&57.59&-15.50\\ \hline
629 $EPSA$&LU&1.56& 39.55 &19.38& 20.17\\ \hline
630 $R_{E-P}$&LU&2.14&45.62&27.00&18.62 \\ \hline
631 $R_{E}$&LU&2.14&45.66&33.01&12.65\\ \hline
633 $EPSA$&BT&1.31& 29.60&20.53&9.07 \\ \hline
634 $R_{E-P}$&BT&2.10&45.53&49.63&-4.10\\ \hline
635 $R_{E}$&BT&2.10&43.93&52.86&-8.93\\ \hline
637 $EPSA$&SP&1.38& 33.51&15.65&17.86 \\ \hline
638 $R_{E-P}$&SP&2.11&45.62&42.52&3.10\\ \hline
639 $R_{E}$&SP&2.11&45.78&43.09&2.69\\ \hline
641 $EPSA$&FT&1.25&25.00&10.80&14.20 \\ \hline
642 $R_{E-P}$&FT&2.10&39.29&34.30&4.99 \\ \hline
643 $R_{E}$&FT&2.10&37.56&38.21&-0.65\\ \hline
645 \label{table:compare Class A}
646 % is used to refer this table in the text
649 \caption{Comparing Results for The NAS Class B}
652 \begin{tabular}{|l|l|*{4}{r|}}
654 Method&Program&Factor& Energy& Performance &Energy-Perf.\\
655 Name &Name&Value& Saving \%&Degradation \% &Distance
657 % \rowcolor[gray]{0.85}
658 $EPSA$&CG & 1.66 &39.23&16.63&22.60 \\ \hline
659 $R_{E-P}$&CG &2.15 &45.34&27.60&17.74\\ \hline
660 $R_{E}$&CG &2.15 &45.34&28.88&16.46\\ \hline
662 $EPSA$ &MG & 1.47 &34.98&18.35&16.63\\ \hline
663 $R_{E-P}$&MG &2.14&43.55&36.42&7.13 \\ \hline
664 $R_{E}$&MG &2.14&43.56&37.07&6.49 \\ \hline
666 $EPSA$&EP &1.08 &20.29&17.15&3.14 \\ \hline
667 $R_{E-P}$&EP&2.00&42.38&56.88&-14.50\\ \hline
668 $R_{E}$&EP&2.00&39.73&59.94&-20.21\\ \hline
670 $EPSA$&LU&1.47&38.57&21.34&17.23 \\ \hline
671 $R_{E-P}$&LU&2.10&43.62&36.51&7.11 \\ \hline
672 $R_{E}$&LU&2.10&43.61&38.54&5.07 \\ \hline
674 $EPSA$&BT&1.31& 29.59&20.88&8.71\\ \hline
675 $R_{E-P}$&BT&2.10&44.53&53.05&-8.52\\ \hline
676 $R_{E}$&BT&2.10&42.93&52.80&-9.87\\ \hline
678 $EPSA$&SP&1.38&33.44&19.24&14.20 \\ \hline
679 $R_{E-P}$&SP&2.15&45.69&43.20&2.49\\ \hline
680 $R_{E}$&SP&2.15&45.41&44.47&0.94\\ \hline
682 $EPSA$&FT&1.38&34.40&14.57&19.83 \\ \hline
683 $R_{E-P}$&FT&2.13&42.98&37.35&5.63 \\ \hline
684 $R_{E}$&FT&2.13&43.04&37.90&5.14\\ \hline
686 \label{table:compare Class B}
687 % is used to refer this table in the text
691 \caption{Comparing Results for The NAS Class C}
694 \begin{tabular}{|l|l|*{4}{r|}}
696 Method&Program&Factor& Energy& Performance &Energy-Perf.\\
697 Name &Name&Value& Saving \%&Degradation \% &Distance
699 % \rowcolor[gray]{0.85}
700 $EPSA$&CG & 1.56 &39.23&14.88&24.35 \\ \hline
701 $R_{E-P}$&CG &2.15 &45.36&25.89&19.47\\ \hline
702 $R_{E}$&CG &2.15 &45.36&26.70&18.66\\ \hline
704 $EPSA$&MG & 1.47 &34.97&21.69&13.27\\ \hline
705 $R_{E-P}$&MG &2.15&43.65&40.45&3.20 \\ \hline
706 $R_{E}$&MG &2.15&43.64&41.38&2.26 \\ \hline
708 $EPSA$&EP &1.04 &22.14&20.73&1.41 \\ \hline
709 $R_{E-P}$&EP&1.92&39.40&56.33&-16.93\\ \hline
710 $R_{E}$&EP&1.92&38.10&56.35&-18.25\\ \hline
712 $EPSA$&LU&1.38&35.83&22.49&13.34 \\ \hline
713 $R_{E-P}$&LU&2.15&44.97&41.00&3.97 \\ \hline
714 $R_{E}$&LU&2.15&44.97&41.80&3.17 \\ \hline
716 $EPSA$&BT&1.31& 29.60&21.28&8.32\\ \hline
717 $R_{E-P}$&BT&2.13&45.60&49.84&-4.24\\ \hline
718 $R_{E}$&BT&2.13&44.90&55.16&-10.26\\ \hline
720 $EPSA$&SP&1.38&33.48&21.35&12.12\\ \hline
721 $R_{E-P}$&SP&2.10&45.69&43.60&2.09\\ \hline
722 $R_{E}$&SP&2.10&45.75&44.10&1.65\\ \hline
724 $EPSA$&FT&1.47&34.72&19.00&15.72 \\ \hline
725 $R_{E-P}$&FT&2.04&39.40&37.10&2.30\\ \hline
726 $R_{E}$&FT&2.04&39.35&37.70&1.65\\ \hline
728 \label{table:compare Class C}
729 % is used to refer this table in the text
731 As shown in these tables our scaling factor is not optimal for energy saving
732 such as Rauber's scaling factor EQ~(\ref{eq:sopt}), but it is optimal for both
733 the energy and the performance simultaneously. Our $EPSA$ optimal scaling factors
734 has better simultaneous optimization for both the energy and the performance
735 compared to Rauber and Rünger energy-performance method ($R_{E-P}$). Also, in
736 ($R_{E-P}$) method when setting the frequency to maximum value for the
737 slower task lead to a small improvement of the performance. Also the results
738 show that this method keep or improve energy saving. Because of the energy
739 consumption decrease when the execution time decreased while the frequency value
742 Figure~(\ref{fig:compare}) shows the maximum distance between the energy saving
743 percent and the performance degradation percent. Therefore, this means it is the
744 same resultant of our objective function EQ~(\ref{eq:max}). Our algorithm always
745 gives positive energy to performance trade offs while Rauber and Rünger method
746 ($R_{E-P}$) gives in some time negative trade offs such as in BT and
747 EP. The positive trade offs with highest values lead to maximum energy savings
748 concatenating with less performance degradation and this the objective of this
749 paper. While the negative trade offs refers to improving energy saving (or may
750 be the performance) while degrading the performance (or may be the energy) more
754 \includegraphics[width=.33\textwidth]{compare_class_A.pdf}
755 \includegraphics[width=.33\textwidth]{compare_class_B.pdf}
756 \includegraphics[width=.33\textwidth]{compare_class_c.pdf}
757 \caption{Comparing Our EPSA with Rauber and Rünger Methods}
762 In this paper we develop the simultaneous energy-performance algorithm. It is works based on the trade off relation between the energy and performance. The results showed that when the scaling factor is big value leads to more energy saving. Also, it show that when the the scaling factor is small value leads to the fact that the scaling factor has bigger impact on performance than energy. Then the algorithm optimize the energy saving and performance in the same time to have positive trade off. The optimal trade off refer to maximum distance between the energy and the inversed performance curves. Also, the results explained when setting the slowest task to maximum frequency usually not have a big improvement on performance.
764 \section*{Acknowledgment}
767 Computations have been performed on the supercomputer facilities of the
768 Mésocentre de calcul de Franche-Comté. As a PhD student , M. Ahmed Fanfakh , would
769 likes to thank the University of Babylon /Iraq for supporting my scholarship program that allows me
770 working on this paper.
772 % trigger a \newpage just before the given reference
773 % number - used to balance the columns on the last page
774 % adjust value as needed - may need to be readjusted if
775 % the document is modified later
776 %\IEEEtriggeratref{15}
778 \bibliographystyle{IEEEtran}
779 \bibliography{IEEEabrv,my_reference}
786 %%% ispell-local-dictionary: "american"
789 % LocalWords: Fanfakh Charr FIXME Tianhe DVFS HPC NAS NPB SMPI Rauber's Rauber
790 % LocalWords: CMOS EQ EPSA Franche Comté Tflop Rünger