Abstract
We study the problem of finding a safe and tight lower-bound on the load-balancing objective often found in real-time systems. Our approach involves the formulation of the Multiple Bounded Change-Making Problem which we efficiently solve by using a new symmetry-breaking algorithm. An experimental evaluation shows that the computed lower-bound is optimal in more than 70% of the cases and is able to find more than four times as many decidedly optimal solutions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bosi, F., Milano, M.: Enhancing clp branch and bound techniques for scheduling problems. Software-Practice and Experience 31(1), 17–42 (2001)
Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 191–206. Springer, Heidelberg (1997)
Chao, H.-Y., Harper, M.P.: A tighter lower bound for optimal bin packing. Operations Research Letters 18, 133–138 (1995)
Chen, G.-H., Yur, J.-S.: A branch-and-bound-with-underestimates algorithm for the task assignment problem with precedence constraint. In: Proc. of the IEEE Int’l Conf. on Distributed Computing Systems, Paris, France, May 28-June 1, pp. 494–501 (1990)
Chu, W.W., Lan, L.M.-T.: Task allocation and precedence relations for distributed real-time systems. IEEE Trans. on Computers 36(6), 667–679 (1987)
Ekelin, C., Jonsson, J.: A CLP framework for allocation and scheduling in embedded real-time systems. Tech. Rep. 01-12, Dept. of Computer Engineering, Chalmers University of Technology, S-412 96 Göteborg, Sweden (2001)
Ekelin, C., Jonsson, J.: Evaluation of search heuristics for embedded system scheduling problems. In: Proc. of the Int’l Conference on Principles and Practice of Constraint Programming, Paphos, Cyprus, November 26-December 1, pp. 640–654 (2001)
Ekelin, C., Jonsson, J.: A lower-bound algorithm for minimizing network communication in real-time systems. In: Proc. of the Int’l Conference on Parallel Processing, Vancouver, Canada, August 18-21, pp. 343–351 (2002)
Frisch, A., Hnich, B., Kiziltan, Z., Miguel, I., Walsh, T.: Global constraints for lexicographic orderings. In: Proc. of the Int’l Conference on Principles and Practice of Constraint Programming, Ithaca, New York, September 2002, pp. 93–108 (2002)
Johnson, D.S.: Near-Optimal Bin-Packing Algorithms. Ph.D. thesis, Massachusetts Institute of Technology (1974)
Korf, R.E.: A new algorithm for optimal bin packing. In: Proc. of the National Conference on Artificial Intelligence, Edmonton, Canada, July 2002, pp. 731–736 (2002)
Kulanoot, A.: Algorithms for Some Hard Knapsack Problems. Ph.D. Thesis, School of Mathematics and Statistics, Curtin University of Technology, Perth, Australia (January 2000)
Intelligent Systems Laboratory. SICStus Prolog User’s Manual. Swedish Institute of Computer Science (1995)
Martello, S., Toth, P.: Knapsack Problems: Algorithms and Computer Implementations. Wiley, Chichester (1990)
Milano, M., van Hoeve, W.J.: Reduced cost-based ranking for generating promising subproblems. In: Proc. of the Int’l Conference on Principles and Practice of Constraint Programming, Ithaca, New York, September 2002, pp. 1–16 (2002)
Wu, S.S., Sweeting, D.: Heuristic algorithms for task assignment and scheduling in a processor network. Parallel Computing 20(1), 1–14 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ekelin, C., Jonsson, J. (2004). A Lower-Bound Algorithm for Load Balancing in Real-Time Systems. In: Papatriantafilou, M., Hunel, P. (eds) Principles of Distributed Systems. OPODIS 2003. Lecture Notes in Computer Science, vol 3144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27860-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-27860-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22667-3
Online ISBN: 978-3-540-27860-3
eBook Packages: Springer Book Archive