CC BY
12Relationship Invariants Based Sojourn Time Approximation for the Fork-Join Queueing System
Roman S. Khabarov
MSA named after A.F.Mozhaysky Saint Petersburg, Russia xabarov1985@gmail.com
Vladimir A. Lokhvitckii MSA named after A.F.Mozhaysky Saint Petersburg, Russia lokhv_va@mail.ru
Andry S. Dudkin MSA named after A.F.Mozhaysky Saint Petersburg, Russia andry-ll@mail.ru
Abstract
The approximation method of task sojourn time in the fork-join queuing system based on relationship invariants is proposed. The idea is in application of intuitive proportion between the certain queuing systems time characteristics. It is shown that, compared with the known methods, the proposed approximation is more accurate with server utilization higher then 0.7.
3 service channels. In the case of Fork-Join, the freed channel may be occupied by the subtask of the next task (Figure 1). When organizing the Split-Merge service (Figure 2), a block occurs at the time of task entering, and the freed channels are idle, waiting for the last of the subtasks of the current task to be serviced.
B3 B2 B1
A1
A2 A3
Figure 1: Task service chart in Fork-Join queueing system
1 Introduction
To evaluate the efficiency of query processing in systems using distributed and parallel computing technologies, queuing systems like Split-Merge and Fork-Join are used.
The general idea of the Split-Merge and Fork-Join systems functioning is as follows: tasks received in the system are "split" into n sub-tasks, each of which is sent to the channel with numbers 1, 2, ..., n, respectively. Processed subtasks fall into the synchronization buffer, where they wait for the servicing completion of their related subtasks. At the end servicing of the last related subtask, synchronization occurs, i.e. aggregation, after which task leaves the system. It is regarded that synchronization occurs instantly. The difference between the Split-Merge and Fork-Join systems is shown in Figures 1 and 2 for the example of
Copyright c by the paper's authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). In: A. Khomonenko, B. Sokolov, K. Ivanova (eds.): Selected Papers of the Models and Methods of Information Systems Research Workshop, St. Petersburg, Russia, 4-5 Dec. 2019, published at http://ceur-ws.org.
C2 C1 B3
A1
B2
A2
A3
Figure 2: Task service chart in Split-Merge queueing system
A rather large number of works has been devoted to the Fork-Join and Split-Merge processes [Alom2014, Bacc1985, Bacc1989, Fior2015, Flat1979, Harr2003, Khab2019, Nels1988, 0lv2014, Ryzh1980, Ryzh2015, Qui2015, Var2002, Varma1994, Wright1992]. For the Split-Merge system in [Harr2003], an exact solution was obtained to determine the maximum service time of independent channels with exponential service time and various intensities, as well as approximations for the case of a general distribution. In [Fior2015], the mentioned distribution was obtained for homogeneous and heterogeneous servers, and its representation in matrix-exponential form made it possible to find both the first and the moments of higher orders. It should be noted that this method is characterized by high
computational complexity, which is a consequence of the laborious operations of inversion and the Kronecker product of matrices that are included in it. The use of Kronecker algebra is associated with a significant additional memory consumption, as well as many redundant operations with zero operands. In [Ryzh2019], an exact solution was found for an arbitrary distribution of services based on Chebyshev-Laguerre numerical integration. The solution has a relatively low complexity and high accuracy. For Fork-Join systems, the exact expression for the average sojourn time with an arbitrary service distribution was obtained only for a system with two channels [Bacc1985, Fior2015]. For the case n > 2 and exponential service, using various methods, approximations of the average sojourn time were obtained in [Nels1988, Var2002, Varma1994]. We give below a brief summary of the results. In [Flat1979], an exact formula is given for the average sojourn time for n = 2, and the exponential distribution of the service time
V: = H 2 -
P
,,( m )
(1)
where Hn = V" 1/i for n = 2 , H2 = 1.5, p = l / / - system utilization,
sojourn time in
v((M) = ((p-X) - average M / M /1 queueing system.
In [Nels1988], Nelson and Tantawi proposed an approximation for the average sojourn time in a Fork-Join queueing system with n service channels
H
4 + —
f
H 11
1 - Hn H
\
p
2 0
12-p 1
8 ¡-X
, n > 2. (2)
In [Var2002], Varki and Merchant proposed a formula
H +-
p
n 1
I-
(1 - 2p)£-
2(1 -P) èl~t i-P 1
l=i i(i - Pp
n > 2.
(3)
In [Varma1994], Varma proposed a method for approximating the sojourn time based on a combination
of high and low system utilization interpolation methods:
V: » [Hn +(V„ -Hn)p]--—, (4)
where V = [;i(-1)'-1
i ) (m -1)!
Jm=1
m
•m+1
In this paper, we propose a method for finding the average sojourn time for a Fork-Join queueing system with an arbitrary service distribution based on the approximation of relationship invariants.
2 Method idea
In [Ryzh2015], to find the time characteristics of multichannel queueing system with priorities, a method was used based on the invariants idea of the relationship between the desired characteristics:
Mk / Gk / n » Mk / Gk/1 •
M / G / n M / G/1 '
(5)
All designations are given in Kendall notation. Calculation methods for the systems indicated on the right are considered known. In particular, iterative methods of Takahashi-Takami or matrix-geometric progression are used to calculate systems [Ryzh1980, Taka1976]. For the non-priority systems M / G /1 and M / G / n with a non-uniform task flow, the total intensity of the task flow and the weighted average moments of the servicing distribution were used. As an approximation of the service time, it is proposed to use a second-order hyperexponential distribution H2 applicable for values of the coefficient of
variation, both smaller and larger than 1.0. For example, when replacing the gamma distribution with the parameter 1 < a < 2 by H2 -approximation, one
of the "probabilities" will be negative, and the other will exceed 1.0. As computational experiments show [Ryzh2015], these paradoxical intermediate results do not interfere with the successful calculation of queueing system using known numerical methods [Taka1976].
8
v
+
vi ~ —
Here we present the scheme proposed in [Ryzh2015] for the implementation of conversion invariants for an «-channel priority system:
a) By multiplying the channel rate by n, we obtain the equivalent single-channel system rate.
b) Calculate the waiting time distribution moments [wt .} for all types of requests i and the order
of the moments j = 1, 3.
c) For the same initial data on the weighted average service times and the total intensity of the incoming flow A as applied to the M / H2 /1 system, calculate the number of requests stationary distribution {pt} and the average requests number in the queue:
¥
0(1) = £ (i - 1)p..
i=1
d) For the M / H2 / n system, it is similar to carry out the calculation of state probabilities at initial service intensities and obtain the average queue length:
Q(n) = £ (i - n)P,.
i=n+1
e) Recalculate the waiting time distribution moments in the system with priorities for all i and j for the multichannel case:
W,j = . Q(n)lQ(1).
f) Using them, according to relation (5), obtain the sojourn time distribution moments of each task type in a multichannel system.
We propose a similar approach for finding the average sojourn time in the Fork-Join queueing system with the number of channels. We rewrite the proportion (5) in the following form
„ M / G / n
FJn » FJ2--. (6)
n 2 M/G/2
Fork-Join queuing systems
Here FJ' and FJ~
with n and 2 channels, respectively. To find the average sojourn time in FJ2 , we use the formula (1). The calculation of the remaining queueing systems from the right-hand side of (6) will be carried out by known methods [Ryzh1980, Taka1976]. To ensure the equality of system utilization values, when calculating M / G / n queuing systems, the initial moments of service time for were multiplied by nj 2 .
3 Calculation results
The following are the results of calculations of the average sojourn time in the queueing system (Figures 3-8) in comparison with the methods proposed in [Nels 1988,Var2002,Varma1994] (formulas (2), (3), (4)) and simulation data. The comparison was carried out depending on the system utilization and the number of service channels at three values of the service time coefficient of variation {0.5, 1.0, 1.5}.
Figure 3: Average sojourn time depending on the number of service channels, u = 0.5, p=0.9
Figure 4: Average sojourn time depending on the number of service channels, u = 1.0, p=0.9
Figure 5: Average sojourn time depending on the number of service channels, u = 1.5, p=0.9
n = 4, v = 0.5
5
4,5
0,5 0,6 0,7 0,8 0,9
system utilization
Figure 6: Average sojourn time depending on the system utilization, u = 0.5, n=4
n — 4, v — 1.0
5
4,5
0,5 0,6 0,7 0,8 0,9
system utilization
Figure 7: Average sojourn time depending on the system utilization, u = 1.0, n=4
Figure 8: Average sojourn time depending on the system utilization, u = 1.5, n=4
As can be seen from the figures, the accuracy of approximation by the method of invariants of the ratio is higher than calculated by the formulas (2-4). Moreover, at low p values, the method of invariant relations gives underestimated estimates of the average sojourn time, especially when increasing the coefficient of variation of the service time. Since the proposed method (as well as other approximation methods compared here) allows us to estimate only the average sojourn time of task in the system, if higher moments are necessary, the Split-Merge calculation method mentioned above should be used, since the estimated values of the sojourn time estimates in this case are the upper bound stay in Fork-Join queuing system.
4 Summary
The relation invariants method showed well average sojourn time approximation accuracy for Fork-Join queueing system. Calculation results and simulation data comparison showed that the proposed approximation accuracy increases as system utilization increasing. At high the service time coefficient of variation values, the method gives underestimated sojourn time of the task in the system. If it is necessary to find the upper bounds of sojourn time higher moments, it is recommended to use the method proposed in [Khab2019,Ryzh2019]
Acknowledgments
The study was carried out with the financial support of
the Russian Foundation for Basic Research, project
number 18-29-22064 \18.
References
[Alom2014] Alomari F., Menasce D.A. Efficient Response Time Approximation for Multiclass Fork and Join Queues in Open and Close Queueing Networks. IEEE Transaction on Parallel and Distributed Systems, vol. 25. pp.1437-1446, 2014.
[Bacc1989] Baccelli F., Makowski A.M., Shwartz A. The Fork-Join Queue and Related Systems with Synchronization Constraints: Stochastic Ordering and Computable Bounds. Advances in Applied Probability, vol. 21. No. 3. Pp. 629-660, 1989.
[Bacc1985] Baccelli F. Two parallel queues created by arrivals with two demands. The M/G/2 symmetrical case. Technical report INRIA-Rocquencourt, no. 426, 1985.
[Fior2015] Fiorini P., Lipsky L. Exact Analysis of Some Split-Merge Queues. Performance Evaluation Review, vol. 43. No. 2. pp. 51-53, 2015.
[Flat1979] Flatto, L., Hahn S. Two parallel queues created by arrivals with two demands. SIAM Journal on Applied Mathematics, vol. 44. Pp.1041-1053, 1979.
[Harr2003] Harrison P.G., Zertal S. Queueing models with maxima of service times. Computer Performance Evaluation. Modelling Techiniques and Tools, pp. 152-168, 2003.
[Khab2019] Khabarov R.S., Lokhvitckii V.A. Model' otsenivaniya operativnosti mnogopotochnoi obrabotki zadach v raspredelennoi vychislitel'noi srede s uchetom protsessov Split-Join. Vestnik Rossiyskogo novogo universiteta. Seriya "Slozhnye sistemy: modeli, analiz i upravlenie" [Efficiency
evaluating model of tasks multy-threading processing in a distributed computing environment with Split-Join processes]. Vestnik of Russian New University. Series "Complex systems: models, analisys, management", no. 1. Pp. 26-34, 2019 (In Russ.).
[Nels1988] Nelson, R., Tantawi A.N. Approximate analysis of fork/join synchronization in parallel queues. IEEE Transactions on Computers, vol. 37. Pp. 739-743, 1988.
[0lv2014] Olvera-Cravioto M., Ruiz-Lacedelli O. Parallel queues with synchronization. In arXiv preprint https://arXiv:1501.00186, 2014.
[Ryzh1980] Ryzhikov Y.I., Khomonenko A.D. Iterativnyj metod rascheta mnogokanalnyh system s proizvolnym raspredeleniem vremeni obsluzhivaniya [An iterative method for calculating multichannel systems with an arbitrary distribution of service time]. Problemy upravleniya i teoriya informacii [Management problems and information theory], no. 3, Pp. 32-38, 1980 (In Russ.).
[Ryzh2015] Ryzhikov Y.I., Khomonenko A.D. Raschet mnogokanal'nyh sistem obsluzhivaniya s absolyutnym i otnositel'nym prioritetami na osnove invariantov otnosheniya [Calculation of multi-channel queueing systems with preemptive and non-preemptive priorities based on relationship invariants]. Intellektual'nie technologii na transporte [Intellectual Technologies on Transport], no. 3, Pp. 11-17, 2015 (In Russ.).
[Ryzh2019] Ryzhikov Y.I., Lokhvitckii V.A., Khabarov R.S. Metod rascheta dlitel'nosti obrabotki zadach v sisteme massovogo obsluzhivaniya s uchetom processov Split-Join [Method for calculating the duration of processing tasks in a queuing system taking into account Split-Join processes]. Izvestiya vysshikh uchebnykh zavedeniy.
Priborostroenie [Journal of Instrument Engineering], vol. 62. No. 5. Pp. 419-423, 2019 (In Russ.).
[Taka1976] Takahashi Y., Takami Y. A numerical method for the steady-state probabilities of a GI/G/c queuing system in a general class. J. of the Operat. res. soc. of Japan, vol. 19(2). Pp. 147-157, 1976.
Qui2015] Qiu Z., Perez J.G., Harrison P.G. Beyond the mean in fork-join queues: Efficient approximation for response-time tails. Performance evaluations, vol. 91. pp. 99-106, 2015.
[Var2002] Varki E., Merchant A., Chen H. The M/M/1 Fork-Join Queue with Variable Subtasks. http://www.cs .unh.edu/varki/publication/2000 -nov-open.pdf, Accessed 19 Nov 2019.
[Varma1994] Varma S., Makowski A.M. Interpolation Approximations for Symmetric Fork-Join Queues. Performance evaluations, vol. 20. Pp. 245-265, 1994.
[Wright1992] Wright P.E. Two parallel processors with coupled inputs. Advances in Applied Probability, vol. 24. Pp. 986-1007, 1992.
