Abstract
The preemptive open shop scheduling to minimize makespan finds surprisingly many prominent applications in telecommunication and information technology. Those include: satellite-switched time-division multiple access method used to allocate the communication bandwidth provided by a satellite link to carry traffic between earth stations; scheduling reconfigurable data centers; file transfer; scheduling crossbar switches to guarantee 100% throughput for traffic with given rates; multimessage unicasting and multicasting; scheduling and bandwidth allocation problem. The open shop scheduling also finds important applications in scheduling theory where it is a key component of the two-phase for preemptive scheduling.
Access provided by Autonomous University of Puebla. Download chapter PDF
11.1 Introduction
Before we present more applications of open shop scheduling to real-life problems and scheduling theory let us briefly summarize the applications discussed in previous chapters of this book. Chapter 4 presents applications to University timetabling, Chap. 6 presents application to scheduling wireless networks with primary interference, Chap. 5 presents applications to product design and scheduling customer orders among other applications of open shop scheduling where operations of a job can be processed concurrently, Chaps. 7 and 8 present application to scheduling large oncology centers, Chap. 9 presents application to timetabling and just-in-time scheduling, and Chap. 10 presents applications to scheduling without intermediate storage and optical networks. Other applications are also listed in Ahmadian et al. [1].
This chapter introduces further applications of open shop scheduling. Those include satellite-switched time-division multiple access method used to allocate the communication bandwidth provided by a satellite link to carry traffic between earth stations; scheduling reconfigurable data centers; file transfer ; scheduling crossbar switches to guarantee 100% throughput for traffic with given rates; multimessage unicasting and multicasting; scheduling and bandwidth allocation problem; and scheduling theory. Majority of those applications permit preemptions which allow for polynomial-time algorithms when it comes to makespan minimization. Details will be described in the following sections.
11.2 Satellite Communication
Satellite communication systems have been built to connect a large number of earth stations. The satellite-switched time-division multiple access (SS/TDMA) method has been used to allocate the communication bandwidth provided by a satellite link to carry traffic between earth stations, see Inukai [30], and Lewandowski and Liu [35] for further references to the SS/TDMA method. In a nutshell, a satellite equipped with spot-beam antennas, and a switch periodically switches the connections between uplink beams and downlink beams to connect beam zones. A TDMA frame is a sequence of time slots of different durations. In each of the time slots, a different switching mode determines a specific set of interconnections so that the traffic between zones is routed without conflicts. The SS/TDMA time slot assignment problem instance is defined by an n × n non-negative traffic matrix \(\mathcal {T}\) where t ij is the amount of traffic which is to be routed from the uplink beam i to the downlink beam j, and n is the number of spot-beams . The quantities t ij may be expressed in terms of some basic traffic units such as a number of T1 channels, Inukai [30], or they can be the amount of time, Inukai [30], and Dell’Amico and Martello [18]. We let t ij to be the amount of time in our discussion. The problem is to find a switching mode matrix S i, and a time duration t i for each time slot so as to meet the traffic demand defined by \(\mathcal {T}\) within the shortest possible TDMA frame. A switching mode matrix is a square n × n matrix where at most one entry in each row and column is equal to 1, and all other entries are equal to 0. To find a solution to the time slot assignment problem let us have a closer look at the traffic matrix \(\mathcal {T}\). The total demand for its row i is equal to R i =∑j t ij which is the amount of time required by the uplink beam i to transmit information to all downlink beams, and the total demand for its column j is equal to C j =∑i t ij which is the amount of time required by the downlink beam j to receive information from all uplink beams. Clearly, the TDMA frame cannot be shorter than
Due to Birkhoff–von Neumann theorem we can get the frame of length α as follows. We take the following (2n) × (2n) matrix:
where the diagonal matrix
complements each row sum of \(\mathcal {D}\) to α, and the diagonal matrix
complements each column sum of \(\mathcal {D}\) to α. By the theorem there are (2n) × (2n) permutations matrices P 1, …, P q and positive numbers t 1, …, t q such that t 1 + …t q = 1 and
Let S i be the submatrix of the permutation matrix P i lying in the rows 1, …, n and the columns 1, …, n of P i, i = 1, …, q. Clearly, the matrices S i are switching modes and
Thus there are q time slots with durations αt 1, …, αt q. Since t 1 + …t q = 1 the total duration is equal to α. The number of permutation matrices q ≤ n 2 − n + 1, see Horn and Johnson [29]. The decomposition in (11.1) is not unique. Gonzalez and Sahni [26] would view the matrix \(\mathcal {T}\) as an instance of an open shop problem with preemptions and makespan minimization and solve the problem to optimality by their algorithm running in time \(O(r(r+n\log n))\) where r is the number of positive entries in \(\mathcal {T}\). In their solution a matching of jobs with machines would correspond to a switching mode, and a TDMA frame would correspond to an open shop preemptive schedule. Interestingly enough the algorithm of Gonzalez and Sahni preceded this of Inukai [30]. The latter seems to have been designed exclusively with the SS/TDMA time slot assignment in mind. The reader is referred to Dell’Amico and Martello [18] for detailed comparison of the algorithms by Gonzales and Sahni [26], and Inukai [30] in a broader historical context.
Inukai [30] emphasizes reduction of the number q as an important secondary criterion for the SS/TDMA time slot assignment problem . Clearly, the secondary criterion naturally carries over to the open shop with preemptions problem, \(O|\text{pmtn}|C_{\max }\). A well known upper bound on q is n 2 − n + 1, see Horn and Johnson [29]. The algorithm of Inukai reduces that bound to n 2 − 2n + 2. Farahat and Mirsky [23] prove that this bound is the best possible. Brualdi [4], and Brualdi and Gibson [5] provide further analysis of the Birkhoff algorithm for doubly stochastic matrices. The minimization of q is NP-hard in the strong sense which was recently proved by Dufossé and Uçar [22]. Kulkarni et al. [33] further prove that the minimization of q is not fixed parameter tractable, and show polynomial-time algorithm for q = 2, 3. Dufossé et al. [21] show that a family of heuristics based on the original proof of Birkhoff can miss optimal decompositions which was earlier conjectured by Brualdi [4].
Lewandowski and Liu [35] extend the TDMA time slot assignment problem to take into account the ability to demultiplex each of the uplink beams into at most k signals, transmit each of these signals to different downlink beams, and then multiplex up to k of these signals into each of the downlink beams. For the open shop this means that at most k operations of each job can be processed at a time, and at most k jobs can be processed by each machine at a time. Observe that the single-operation machine model studied in Sect. 8.1 permits each stage to processed several jobs at a time by allowing parallel identical machines in each stage, yet it still requires at most one operation of each job to be processed at a time. The concurrent open shops in Chap. 4 on the other hand allow all operations of each job to be processed in parallel. We have the following lower bound for the makespan of the frame:
see Lewandowski and Liu [35]. de Werra [13] gives the following decomposition of the traffic matrix \(\mathcal {T}\):
where each matrix Z 1, …, Z q is a 0, 1 matrix with at most k 1’s in each row, and at most k 1’s in each column, and importantly
The decomposition can be computed in polynomial time using network flow algorithms, see de Werra [10, 11, 13].
11.3 Reconfigurable Data Centers
Reconfigurable data centers and software defined networks connect servers within a data center by optical connections , Chen et al. [8]. An advantage of such network technology is that as traffic between servers changes over time, the network topology can be reconfigured to better match the change and to prevent localized bottlenecks . A traffic matrix in a reconfigurable data center represents traffic that needs to be routed among a set of n servers. A route is a matching between senders and receivers. The change between routes however requires moving laser pointers and receivers that comes at a cost, Kulkarni et al. [33]. Therefore, finding a shortest schedule for a given traffic matrix with as few as possible preemptions improves performance of the routing algorithms .
11.4 Crossbar Switches
An input-buffered crossbar switch with n input ports and n output ports has a buffer for each input port. In such a switch, time is slotted and synchronized so that packets from different input buffers can be read out simultaneously within a time slot. In a time slot, a crossbar switch sets up a connection pattern corresponding to a permutation matrix . As a permutation matrix is a one-to-one mapping from input ports to output ports, packets destined to the same output ports cannot be transmitted at the same time, Chang et al. [7]. A crossbar switch scheduling algorithm needs to guarantee 100% throughput for traffic with given rates r i,j from input i to output j. The rates are specified by an n × n traffic rate matrix
The traffic rate matrix needs to be substochastic , total of each row and column must not exceed 1, Horn and Johnson [29], in order for 100% throughput to be achieved at all. Chang et al. [7] propose a scheduling algorithm that guarantees 100% throughput for substochastic matrices. The algorithm first finds a convex combination of permutation matrices for a substochastic \(\mathbb {R}\). This stage is based on Birkhoff–von Neumann theorem; however, algorithms for makespan minimization for open shop with preemptions like the one by Gonzales and Sahni [26] can also be used for this stage. The convex combination of permutation matrices is then used by fair queueing algorithms, see Demers et al. [19] and Chapter 10 in Kubiak [32], to switch between permutation matrices to guarantee 100% throughput for traffic defined by the traffic rate matrix \(\mathbb {R}\).
11.5 Multimessage Unicasting and Multicasting
Gonzalez [27] considers multimessage unicasting and multicasting problem where processors communicate by sending and receiving messages over a fully connected network. Each processor can send or receive a message; however, no processor may send more than one message at a time, and no processor may receive more than one message at a time. There are t i,j messages to be sent from processor i to processor j. The problem is to find a shortest possible communication schedule for all messages to be transmitted. This problem reduces to a preemptive open shop where each processor i in the communication network represents a job J i and a machine M i, and the processing time of operation O i,h equals t i,h, Gonzalez [27] and [25]. The multimessage unicasting is a special case of multimessage multicasting where the same message needs to be sent to many processors. The algorithms for the latter transform the multicasting problem into a unicasting problem and apply the open shop algorithms to solve the unicasting problem, see Gonzalez [28].
11.6 Scheduling and Wavelength Assignment problem
Bampis and Rouskas [2] study the following scheduling and wavelength assignment problem . Consider sources s = 1, …, n and destinations d = 1, …, n and an n × n matrix P where p s,d is the number of packets to be transmitted from s to d. The transmission happens at a certain wavelength assigned to the destination node d. Typically there are fewer wavelengths, m, than destination nodes, thus several destination nodes may be assigned to the same wavelength. Hence a wavelength is a machine. For a given assignment of destination nodes to machines, we obtain an open shop where a source node s is a job made up of m operations corresponding to wavelengths. The operation of job s on machine h is made up of all destinations d assigned to the same wavelength h. Thus s transmits at wavelength h to all destinations d with that wavelength. If it does so, it cannot use any other wavelength machine at the same time (at most one operation of a job can be processed at a time). To illustrate the problem consider the following source to destination matrix:
Assuming three wavelengths M 1, M 2, and M 3 and the assignment of destinations 1 and 4 to M 1, 2 and 5 to M 2, and 3 to M 3 we obtain a three-machine open shop
The source 2 uses the wavelength M 1 to transmit 3 packets to d = 1 and 6 packets to d = 4, it uses the wavelength M 2 to transmit 3 packets to d = 2 and 1 packet to d = 5, and it uses the wavelength M 3 to transmit 3 packets to d = 3. This corresponds to job J 2 with operations having processing time 9 on M 1, processing time 4 on M 2, and processing time 3 on M 3. A schedule for job J 2 and the remaining four jobs is given in Fig. 11.1.
11.7 Scheduling Theory
The application to scheduling theory have been observed in the study of the two-phase method for preemptive scheduling in de Werra [12, 14]. We illustrate this method using the scheduling on unrelated processors with preemptions to minimize makespan problem, \(R|\text{pmtn}|C_{\max }\). An instance of the problem is specified, like in the open shop problem, by an n × m non-negative real matrix
However its entries have a different meaning than in the open shop scheduling problem. To explain the difference suppose for the time being that preemptions are not allowed. Then each job J i is completely processed by one of the m machines. If that machine is machine M h, then the job J i processing time equals p i,h. The remaining processing times of job J i, or the remaining entries in row i, are then irrelevant for the solution. Now returning to the preemptive case let us take a convex combination p i,1 x i,1 + ⋯ + p i,m x i,m of the processing times of job J i , i = 1, …, n. For given n convex combinations, one for each job, we obtain the following instance of the open shop:
where
The solution to the instance \(\mathbb {P}_x\) of the open shop problem \(O|\text{pmtn}|C_{\max }\) with makespan \(C_{\max }=\varDelta (\mathbb {P}_x)\) can be found in polynomial time, see Sect. 3.7. The solution solves \(R|\text{pmtn}|C_{\max }\) by scheduling fraction x i,h of processing time p i,h of J i on machine M h. In other words job J i has now m operations O i,1, …, O i,m with processing times p i,1 x i,1, …, p i,m x i,m, respectively. Thus to find an optimal solution to \(R|\text{pmtn}|C_{\max }\) one needs to find the coefficients x i,h that minimize \(\varDelta (\mathbb {P}_x)\). This can be done by solving a linear program, see Lawler and Labetoulle [34], Brucker [6] and Błażewicz et al. [3]. A similar two-phase approach based on LP and reduction to open shop works for
11.8 Data Migration and File Transfer Scheduling
Data migration problem arises whenever large amount of data need to be rapidly transferred to new locations within storage area networks in order to better respond to changing demand for data. During the migration the network still needs to provide efficient though unlikely best service. Therefore it is important to compute as short as possible data migration schedule that produces the target data layout. Coffman et al. [9], see also Gandhi et al. [24] and Khuller et al. [31], introduce file transfer multigraph G = (V, E) to model the problem. The vertices in V represent storage devices (computers or computer centers). The labeled edges correspond to the files to be transferred between the vertices. The label p i,j of an edge (i, j) represents transfer time required to transfer the file between i and j. Each vertex i completes transfers only after all edges incident with v in G complete transfers. The key constraint is that no two edges incident with the same vertex can be transferred at the same time. This constrain can be relaxed by increasing the maximum number of simultaneous file transfers to more than one by increasing the number of communication ports at vertices, see Coffman et al. [9]. The problem can be recast as open shop scheduling with simultaneity constraints, see de Werra [15] de Werra and Erschler [16] de Werra et al. [17], as it was shown in Chap. 6 for wireless networking with primary interference.
From a different angle, each vertex in G corresponds to machine in open shop. Each edge (i, j) labeled with p i,j is a bi-processor job with processing time p i,j. The job needs to be processed on machines i and j simultaneously for exactly p i,j units of time. The problem becomes a subproblem of the problem \(P|\text{fix}_j| C_{\max }\) with |fixj| = 2, see Drozdowski [20], where each job is assigned a fixed subset of parallel machines to be processed on simultaneously.
Problems
11.1
Find more applications of preemptive open shop scheduling in scheduling theory, see Sect. 11.7.
References
M.M. Ahmadian, M. Khatami, A. Salehipour, T.C.E. Cheng, Four decates of research on the open-shop scheduling problem to minimize makespan. Eur. J. Oper. Res. (2021). https://doi.org/10.1016/j.ejor.2021.03.026
E. Bampis, G.N. Rouskas, The scheduling and wavelength assignment problem in optical wdm networks. J. Lightwave Tech. 20, 782–789 (2002)
J. Błażewicz, K. Ecker, E. Pesch, G. Schmidt, J. Wȩglarz, Handbook on Scheduling: From Theory to Applications. International Handbooks on Information Systems (Springer, 2007)
R.A. Brualdi, Notes on the Birkhoff algorithm for doubly stochastic matrices. Can. Math. Bull. 25, 127–147 (1982)
R.A. Brualdi, P.M. Gibson, Convex polyhedra of doubly stochastic matrices: I. applications of permanent function. J. Comb. Theory A 22, 194–230 (1977)
P. Brucker, Scheduling Algorithms (Springer, 1995)
C.-S. Chang, W.-J. Chen, H.-Y. Huang, On Service Guarantees for Input Buffered Crossbar Switches: A Capacity Decomposition Approach by Birkhoff and von Neumann, in Seventh International Workshop on Quality of Service (IEEE, 1999), pp. 79–86
K. Chen, A. Singla, A. Singh, K. Ramachandran, L. Xu, Y. Zhang, X. Wen, Y. Chen, Osa: An optical switching architecture for data center networks with unprecedented flexibility. IEEE/ACM Trans. Netw. 22, 498–511 (2014)
E.G. Coffman Jr., M.R. Garey, D.S. Johnson, A.S. LaPaugh, Scheduling file transfers. SIAM J. Comput. 14, 744–780 (1985)
D. de Werra, A decomposition property of polyhedra. Mathematical Programming 30, 261–266 (1984)
D. de Werra, Preemptive scheduling, linear programming and network flows. SIAM J. Alg. Disc. Meth. 5, 11–20 (1984)
D. de Werra, On the two-phase method for preemptive scheduling. Eur. J. Oper. Res. 37, 227–235 (1988)
D. de Werra, A note on SS/TDMA satellite communication. Linear Algebra Appl. 135, 69–77 (1990)
D. de Werra, Almost nonpreemptive schedules. Ann. Oper. Res. 26, 243–256 (1990)
D. de Werra, Extensions of coloring models for scheduling purposes. Eur. J. Oper. Res. 92, 474–492 (1996)
D. de Werra, J. Erschler, Open shop with some additional constraints. Graphs Comb. 12, 81–93 (1996)
D. de Werra, N.V.R. Mahadev, U. Peled, Edge chromatic scheduling with simultaneity constraints. SIAM J. Disc. Math., 631–641 (1993)
M. Dell’Amico, S. Martello, Open shop, satellite communication and a theorem by Egerváry (1931). Oper. Res. Lett. 18, 207–211 (1996)
A. Demers, S. Keshav, S. Shenkar, Analysis and symulation of a fair queueing algorithm. Internetworking Res. Exp. 1, 3–26 (1990)
M. Drozdowski, Scheduling multiprocessor tasks - an overview. Eur. J. Oper. Res. 94, 215–230 (1996)
F. Dufossé, K. Kaya, I. Panagiotas, B. Uçar, Further notes on Birkhoff-von Neumann decompsition od doubly stochastic matrices. Linear Algebra Appl. 554, 68–78 (2018)
F. Dufossé, B. Uçar, Notes on Birkhoff-von Neumann decomposition of doubly stochastic matrices. Linear Algebra Appl. 479, 108–115 (2016)
H.K. Farahat, L. Mirsky, Permutation endomorphisis and refinment of a theorem of Birkhoff. Proc. Camb. Philos. Soc. 56, 322–328 (1960)
R. Gandhi, M.M. Halldórsson, G. Kortsarz, H. Shachnai, Improved results for data migration and open shop scheduling. ACM Trans. Algorithms 2, 116–129 (2006)
T. Gonzalez, Open shop scheduling, in eds. by Joseph Y-T. Leung, Handbook on Scheduling: Algorithms, Models, and Performance Analysis (Chapman and Hall/CRC, 2004), pp. 6–1 to 6–14
T. Gonzalez, S. Sahni, Open shop scheduling to minimize finish time. J. ACM 23, 665–679 (1976)
T.F. Gonzalez, Complexity and approximations for multimessage multicasting. J. Par. Dist. Comput. 55, 215–235 (1998)
T.F. Gonzalez, Simple algorithms for multimessage multicasting with forwarding. Algorithmica 29, 511–533 (2001)
R.A. Horn, C.R. Johnson, Matrix Analysis, 2nd edn. (Cambridge University Press, 2013)
T. Inukai, An efficient SS/TDMA time slot assignment algorithm. IEEE Trans. Commun. 27, 1449–1455 (1979)
S. Khuller, Y. Kim, Y.C. Wan, Algorithms for data migrantion with cloning, in Proc. of the 22nd ACM Symposium on Principles od Database Systems, pp. 27–36 (2003)
W. Kubiak, Proportional Optimization and Fairness (Springer, 2009)
J. Kulkarni, E. Lee, M. Singh, Minimum Birkhoff-von Neumann decomposition, in Proc. 19th International Conference on Integer Programming and Combinatorial Optimization (IPCO), pp. 343–354, Waterloo, ON, Canada (2017)
E.L. Lawler, J. Labetoulle, On preemptive scheduling on unrelated parallel processors by linear programming. J. ACM 25, 612–619 (1978)
J.L. Lewandowski, C.L. Liu, SS/TDMA stellite communications with k-permutation switching modes. SIAM J. Alg. Disc. Meth. 8, 519–534 (1987)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kubiak, W. (2022). Applications of Preemptive Open Shop Scheduling. In: A Book of Open Shop Scheduling. International Series in Operations Research & Management Science, vol 325. Springer, Cham. https://doi.org/10.1007/978-3-030-91025-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-91025-9_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-91024-2
Online ISBN: 978-3-030-91025-9
eBook Packages: Business and ManagementBusiness and Management (R0)