Abstract
This paper introduces SERH – Scheduling by Edge Reversal with Hibernation, a novel distributed algorithm for the scheduling of atomic shared resources in the context of dynamic load reconfiguration. The new algorithm keeps the simplicity and daintiness of the Scheduling by Edge Reversal (SER) distributed algorithm, originally conceived to support the heavy load condition. Both SER and SERH distributed algorithms share the same communication and computational complexities and can also be seen as graph dynamics where the messages exchanged between a processing node and its neighbors are represented as “edge reversal” operations upon directed acyclic graphs representing the target distributed system. Nevertheless, SERH allows such distributed system to deal with the situation of having processing nodes leaving the heavy load behavior and going into a “hibernating” state, and vice versa. It is shown here that SERH has a communication cost approximately 25% lower than the traditional Chandy and Misra’s distributed solution, when operating near to heavy load conditions. In order to illustrate the usefulness of SERH in this interesting situation, an application in the distributed control of traffic lights of a road junction is also presented here.
Supported by CNPq, CAPES (Brazil) and CNR (Italy).
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
Agrawala, D., El Abbadi, A.: An efficient solution to the distributed mutual exclusion problem. In: Proceedings of the 8th Annual ACM Symposium on Principles of Distributed Computing, pp. 193–200 (August 1989)
Agrawala, D., El Abbadi, A.: Exploiting logical structures in replicated databases. Inf. Proc. Letters 33, 255–260 (1990)
Arnold, A., Naimi, M., Tréhel, M.: A logn distributed mutual exclusion algorithm based on the path reversal. Journal of Parallel and Distributed Computing 34, 1–13 (1996)
Barbosa, V., Gafni, E.: Concurrency in heavily loaded neighborhood-constrained systems. ACM Transactions on Programming Languages and Systems 11(4), 562–584 (1989)
Barbosa, V.C.: Concurrency in Systems with Neighborhood Constraints. Ph.D. thesis, UCLA Computer Science Department, Los Angeles (1986)
Carvalho, D., França, F.M.G., Protti, F.: Pseudo-code of Scheduling by Edge Reversal with Hibernation (2004), http://www.if.ufrj.br/~carvalho/serh.html
Carvalho, O.S.F., Roucariol, G.: On mutual exclusion in computer networks. Communications of ACM 26(2), 145–147 (1983)
Chandy, K.M., Misra, J.: The drinking philosopher’s problem. ACM Transactions on Programming Languages and Systems 6(4), 632–646 (1984)
Dijkstra, E.W.: Hierarchical ordering of sequencial processes. Acta Informatica 1(2), 115–138 (1971)
Gafni, E.M., Bertsekas, D.P.: Distributed algorithms for generating loop-free routes in networks with frequently changing topology. IEEE Transactions on Communications 29(1), 11–18 (1981)
Gifford, K.D.: Weighted voting for replicated data. In: Proceedings of the 7th Annual ACM Symposium on Principles of Distributed Computing, pp. 150–159 (1989)
Goldman, K., Hoffert, J.: A modification to the chandy-misra dining philosophers algorithm to suport dynamic resource conflict graphs. submetido para Information Processing Letters
Plouzeau, N., Helary, J.M., Raynal, M.: A distributed algorithm for mutual exclusion in an arbritary network. The Computer Journal 31(4), 289–295 (1988)
Joung, Y.-J.: Asynchronous group mutual exclusion. In: Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing (PODC 1998), pp. 51–60. Association for Computing Machinery, New York (1998)
Kramer, J., Magee, J.: The Evolving Philosophers Problem: Dynamic Change Management. IEEE Transactions on Software Engineering 16(11), 1293–1306 (1990)
Le Lann, G.: Distributed systems: towards of formal approach. In: IFIP Congress, pp. 155–160. North-Holland, Amsterdam (1977)
Lynch, N.A., Tuttle, M.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of 7th ACM Symposium on Operating Systems Principles, pp. 137–151 (1987)
Maekawa, M.A.: A \(\sqrt{n}\) algorithm for mutual exclusion in decentralized systems. ACM Transactions on Computer Systems 3(2), 145–159 (1985)
Martin, J.A.: Distributed mutual exclusion on a ring of processors. Science of Computer Programming 5, 256–276 (1985)
Molina, H.G., Barbara, D.: How to assign votes in a distributed system. Jornal of the ACM 32(4), 150–159 (1985)
Raymond, K.: A tree-based algorithm for distributed mutual exclusion. ACM Transactions on Computer Systems 7(1), 61–77 (1989)
Raynal, M.: Prime numbers as a tool to design distributed algorithms. Inf. Process. Lett. 33(1), 53–58 (1989)
Raynal, M.: A simple taxonomy for distributed mutual exclusion algorithms. Operation Systems Review 25, 47–50 (1991)
Rhee, I.: A fast distributed modular algorithm for resource allocation. In: Proceedings og the 15th International Conference on distributed Computer Systems (ICDCS 1995), pp. 161–168 (1995)
Saxena, P.C., Rai, J.: A survey of permission-based distributed mutual exclusion algorithms. Computer Standards and Interfaces 25, 159–181 (2003)
Walter, J.E., Welch, J.L., Vaidya, N.H.: A mutual exclusion algorithm for ad hoc mobile networks. Wireless Networks: The Journal of Mobile Communication, Computation and Information 7 (2001)
Welch, J.L., Lynch, N.A.: A modular drinking philosophers algorithm. Distributed Computing 6, 233–244 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carvalho, D., Protti, F., De Gregorio, M., França, F.M.G. (2005). A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy Load. In: Higashino, T. (eds) Principles of Distributed Systems. OPODIS 2004. Lecture Notes in Computer Science, vol 3544. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11516798_31
Download citation
DOI: https://doi.org/10.1007/11516798_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27324-0
Online ISBN: 978-3-540-31584-1
eBook Packages: Computer ScienceComputer Science (R0)