<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>V. Kuharsky);</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Analyzing specifics of scalability laws for proper modeling of a system's throughput</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Volodymyr Kuharsky</string-name>
          <email>volodymyr_kukharskyy@tntu.edu.ua</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dmytro Mykhalyk</string-name>
          <email>d.mykhalyk@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yuri Humen</string-name>
          <email>h_yuri@ukr.net</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>CITI'2024: 2nd International Workshop on Computer Information Technologies in Industry 4.0</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Ternopil Ivan Puluj National Technical University</institution>
          ,
          <addr-line>Ruska str. 56, Ternopil 46001</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <volume>000</volume>
      <fpage>0</fpage>
      <lpage>0001</lpage>
      <abstract>
        <p>The article revisits scalability laws to refine system throughput modeling practices. Amdahl's Law, Gustafson's Law, and the Universal Scalability Law are critically analyzed: considering their individual merits and limitations in capturing the essence of system scalability. With theoretical insights and empirical data, this research provides practical guidelines for selecting the most suitable scalability model to ensure accurate and effective modeling of system throughput in diverse computing environments.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Scalability</kwd>
        <kwd>throughput</kwd>
        <kwd>speedup factor</kwd>
        <kwd>Amdahl's Law</kwd>
        <kwd>Universal Scalability Law</kwd>
        <kwd>coherence</kwd>
        <kwd>crosstalk</kwd>
        <kwd>serial 1</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        •
computer simulations to tackle issues such as natural gas dehydration for use as a motor
fuel [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] and to study problems related to gas transport in solids and the diffusion of benzene
using scalable computer modeling [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Let's dive behind the meaning of the “scalability
laws” to understand better what they are and what they offer in the system’s throughput
modeling.
      </p>
    </sec>
    <sec id="sec-2">
      <title>2. Main Part</title>
      <p>
        So, what are the scalability laws? Unfortunately, in terms of combining computational
power, 1 + 1 does not equal 2. It could be some sort of cost-effective for batch work, but this
combination was not effective for OLTP (Online transaction processing) and other real-time
computations.[
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]
      </p>
      <p>
        Gene Amdahl made an early attempt to quantify the speedup factor – a number that
shows how much additional performance a system will get by adding more computational
units to that system to battle the increasing load.[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] Later became known as Amdahl’s Law.
He simplistically assumed that a fraction of p of the program’s execution time was infinitely
parallelizable with no overhead, while the remaining fraction, 1 – p, is totally sequential.[
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]
work that can be parallelized.
system behavior with retrograde speedup.[
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]
      </p>
      <p>Neil Gunther proposed a slightly different approach to scalability quantification. His
model not only uses the serial penalty but also introduces a coherence or crosstalk penalty
which results in delays for data to become consistent during the execution for
multiprocessor environments. Gunther’s Law later became known as the Universal
Scalability Law. It can be described as follows:
 →∞
lim  ( ) =</p>
      <p>1
1 − 
(2)
(3)
where N – number of computational units,  - fraction between 0 and 1 represents a
serial penalty in the workload,  - a fraction between 0 and 1, represents a coherence
penalty in the workload.
maximum throughput increase.</p>
      <p>In application throughput modeling N can represent the number of active users for</p>
      <p>
        If =0, then equation (3) simplifies to the well-known Amdahl’s Law[
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]:
which stacks fast for workloads with high numbers of parallelism.
      </p>
      <p>In terms of capacity planning, [7] USL has a sufficient number of parameters for
predicting the effects of concurrency, contention, and coherency delay, but it can’t be super
precise because the scalability of any particular system should be considered in light of
many factors simultaneously.</p>
      <p>Another approach was proposed by Dr. John Gustafson to overcome the pessimistic
results of Amdahl’s Law speedup dependence from a serial delay as described in (2). Instead
of fixing the parallelizable part of the workload, it fixes the running time.[8] In other words,
it answers the following question: How much of the execution time would this problem have
taken if it ran on a serial processor instead of a multicore or multiprocessor system?[9]
Gustafson’s observations show more generally that the serial fraction of the workload does
not theoretically limit parallel speed enhancement. Algebraically it can be described as
follows:
 ( ) =  −  ( − 1),
(4)
(5)
where S – scaled speedup over N number of computational units,  - a fraction between
0 and 1 representing the serial part of the workload.</p>
      <p>Later, [10] J. Gustafson summarized his work: “The model is not a contradiction of
Amdahl's law as some have stated, but an observation that Amdahl's assumptions don't
match the way people use parallel processors. People scale their problems to match the
power available, in contrast to Amdahl's assumption that the problem is always the same
no matter how capable the computer.”</p>
      <p>Figure 4 shows how parallel processing can reduce the execution time.</p>
      <p>Even after Gustafson’s Law provided a more optimistic perspective on parallel
computing compared to Amdahl’s Law it omits the complexities of modern software design
and can poorly predict scaled speedup for algorithms with nonlinear runtimes.[11]</p>
    </sec>
    <sec id="sec-3">
      <title>3. Results discussion</title>
      <p>After careful analysis of the three proposed laws in this article, the authors advise using the
Universal Scalability Law for scalability predictions of real-world systems. Because neither
Amdahl’s Law nor Gustafson-Barsis Law takes into account the coherence penalty that is
almost inevitable in today’s multicore and multiprocessor world and, at the same time, the
most significant part of the USL equation that will kick diminishing returns early on for
throughput scaling that can lead to overall performance degradation.</p>
      <p>To achieve better results in throughput modeling using USL, try to use measurement data
for throughput and concurrency obtained from stable workloads. USL works best for
constant workloads with no variability. Still, the authors admit that obtaining such
measurements can sometimes be unrealistic because of the significant complexities in the
design and function of real-world applications.</p>
    </sec>
    <sec id="sec-4">
      <title>4. Conclusions</title>
      <p>All three models can model the capacity of the system throughput. Amdahl’s Law provides
a straightforward way to estimate the maximum achievable throughput by considering the
proportion of the workload that can be parallelized but completely ignores parallel
crosstalk which is inevitable in modern applications.</p>
      <p>Gustafson’s Law recognizes the potential for adjusting the problem size to fully utilize
additional resources, which can lead to higher system throughput in parallel environments,
but also ignores the parallel crosstalk, which can result in more theoretical throughput
values.</p>
      <p>Universal Scalability Law accounts for saturation effects that may occur as system
resources are increased, providing insights into the maximum achievable throughput and
the diminishing returns of adding more resources, more practical than the first two but has
a cost of additional complexity and more experienced researchers when determining
coefficients for an actual system.</p>
      <p>In summary, each law has its strengths and weaknesses, and the choice of model
depends on the specific characteristics of the system being analyzed and the level of detail
required in the analysis.
[7] B. Shwartz, E. Fortune Forecasting MySQL Scalability with Universal Scalability Law
URL:https://www.percona.com/sites/default/files/white-paper-forecastingmysql-scalability.pdf
[8] J. Gustafson Gustafson’s Law, (2011) ResearchGate.net. doi:
10.1007/978-0-38709766-4_78
[9] J. Gustafson Reevaluating Amdahl’s Law (1988).</p>
      <p>URL:http://www.johngustafson.net/pubs/pub13/amdahl.pdf
[10] J. Gustafson Gustafson’s Law. URL:
http://www.johngustafson.net/glaw.html
[11] L. Snyder Type Architectures, shared memory, and the corollary of modest
potential (1986) doi: 10.1146/annurev.cs.01.060186.001445</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Petryk</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Khimitch</surname>
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Petryk</surname>
            <given-names>M.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fraissard</surname>
            <given-names>J</given-names>
          </string-name>
          .
          <article-title>Experimental and computer simulation studies of dehydration on microporous adsorbent of natural gas used as motor fuel</article-title>
          .
          <source>Fuel</source>
          . Vol.
          <volume>239</volume>
          ,
          <fpage>1324</fpage>
          -
          <lpage>1330</lpage>
          (
          <year>2019</year>
          ) https://doi.org/10.1016/j.fuel.
          <year>2018</year>
          .
          <volume>10</volume>
          .134
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>Petryk</surname>
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Leclerc</surname>
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Canet</surname>
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fraissard</surname>
            <given-names>J</given-names>
          </string-name>
          .
          <article-title>Modeling of gas transport in a microporous solid using a sclice selection procedure: Application to the diffusion of benzene in ZSM5</article-title>
          .
          <source>Catalysis Today</source>
          . Vol.
          <volume>139</volume>
          ,
          <string-name>
            <surname>Issue</surname>
            <given-names>3</given-names>
          </string-name>
          ,
          <fpage>234</fpage>
          -
          <lpage>240</lpage>
          (
          <year>2008</year>
          ) https://doi.org/10.1016/j.cattod.
          <year>2008</year>
          .
          <volume>05</volume>
          .034
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <surname>T. Critchley</surname>
          </string-name>
          <article-title>High Performance IT Services 1st edition</article-title>
          . Auerbach Publications 2016
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>Mark D.</given-names>
            <surname>Hill</surname>
          </string-name>
          ,
          <string-name>
            <surname>Michael R. Marty</surname>
          </string-name>
          <article-title>Amdahl's Law in the Multicore Era URL</article-title>
          :https://static.googleusercontent.com/media/research.google.com/en//pubs /archive/34400.pdf
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <surname>Neil</surname>
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Gunther</surname>
          </string-name>
          <article-title>A New Interpretation of Amdahl's Law and</article-title>
          Geometric Scaling https://doi.org/10.48550/arXiv.cs/0210017
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>C.</given-names>
            <surname>Poola</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Saxena</surname>
          </string-name>
          <article-title>On Extending Amdahl's Law to Learn Computer Performance URL: https://arxiv</article-title>
          .org/abs/2110.07822
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>