Abstract
Program observation involves formulating a query about the behavior of a program and then observing the program as it executes in order to determine the result of the query. Observation is used in software development to track down bugs and clarify understanding of a program's behavior, and in software testing to ensure that a program behaves as expected for a given input set. RCL is a recursive logic built upon conjunctive global predicates. Computational structures of common paradigms such as butterfly synchronization and distributed consensus can be expressed easily in RCL. A nonintrusive decentralized algorithm for detecting RCL predicates is developed and proven correct.
Research supported in part by NSF Grant CCR 9110605, TRW faculty assistantship award, GM faculty fellowship, a grant from IBM, and an MCD University Fellowship.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Ö. Babaoglu and K. Marzullo. Consistent global states of distributed systems: fundamental concepts and mechanisms, in Distributed Systems, chapter 4. ACM Press, Frontier Series. (S. J. Mullender Ed.), 1993.
C. Chase and V. K. Garg. On techniques and their limitations for the global predicate detection problem. In Proc. of the Workshop on Distributed Algorithms, France, September 1995.
H. K. Chiou and W. Korfhage. Enf event predicate detection in distributed systems. In Proc. of the Principles of Distributed Computing, pages 91–100, Los Angeles, CA, 1994. ACM.
R. Cooper and K. Marzullo. Consistent detection of global predicates. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 163–173, Santa Cruz, CA, May 1991. ACM/ONR.
C. J. Fidge. Partial orders for parallel debugging. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):183–194, January 1989.
E. Fromentin, M. Raynal, V. K. Garg, and A. I. Tomlinson. On the fly testing of regular patterns in distributed computations. In Proc. of the 23rd Intl. Conf. on Parallel Processing, St. Charles, IL, August 1994.
V. K. Garg and C. Chase. Distributed algorithms for detecting conjunctive predicates. In Proc. of the IEEE International Conference on Distributed Computing Systems, pages 423–430, Vancouver, Canada, June 1995.
V. K. Garg, C. Chase, J. R. Mitchell, and R. Kilgore. Detecting conjunctive channel predicates in a distributed programming environment. In Proc. of the 28th Hawaii International Conference on System Sciences, pages 232–241, Vol II, January 1995.
V. K. Garg, A. I. Tomlinson, E. Fromentin, and M. Raynal. Expressing and detecting general control flow properties of distributed computations. In Proc. of the 7th IEEE Symposium on Parallel and Distributed Processing, San Antonio, TX, October 1995.
V. K. Garg and B. Waldecker. Detection of unstable predicates in distributed programs. In Proc. of 12th Conference on the Foundations of Software Technology & Theoretical Computer Science, pages 253–264. Springer Verlag, December 1992. Lecture Notes in Computer Science 652.
V. K. Garg and B. Waldecker. Detection of weak unstable predicates in distributed programs. IEEE Transactions on Parallel and Distributed Systems, 5(3):299–307, March 1994.
V. K. Garg and B. Waldecker. Detection of strong unstable predicates in distributed programs. IEEE Transactions on Parallel and Distributed Systems, Submitted.
D. Haban and W. Weigel. Global events and global breakpoints in distributed systems. In Proc. of the 21 st International Conference on System Sciences, volume 2, pages 166–175, January 1988.
G. Hoagland. A debugger for distributed programs. Master's thesis, University of Texas at Austin, Dept. of Electrical and Computer Engineering, Austin, TX, August 1991.
M. Hurfin, N. Plouzeau, and M. Raynal. Detecting atomic sequences of predicates in distributed computations. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 32–42, San Diego, CA, May 1993. ACM/ONR. (Reprinted in SIGPLAN Notices, Dec. 1993).
L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–565, July 1978.
B. P. Miller and J. Choi. Breakpoints and halting in distributed programs. In Proc. of the 8 th International Conference on Distributed Computing Systems, pages 316–323, San Jose, CA, July 1988. IEEE.
R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing, 7(3):149–174, 1994.
A. I. Tomlinson. Observation and Verification of Software for Distributed Systems. PhD thesis, University of Texas at Austin, Dept. of Electrical and Computer Engineering, Austin, TX, August 1995.
A. I. Tomlinson and V. K. Garg. Detecting relational global predicates in distributed systems. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 21–31, San Diego, CA, May 1993. (Reprinted in SIGPLAN Notices, Dec. 1993).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tomlinson, A.I., Garg, V.K. (1995). Observation of software for distributed systems with RCL. In: Thiagarajan, P.S. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1995. Lecture Notes in Computer Science, vol 1026. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60692-0_49
Download citation
DOI: https://doi.org/10.1007/3-540-60692-0_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60692-5
Online ISBN: 978-3-540-49263-4
eBook Packages: Springer Book Archive