Predicate control: Synchronization in distributed computations with look-ahead

Journal of Parallel and Distributed Computing

Volumn 64, Issue 2, 2004, Pages 219-237

  Tarafdar, Ashis ^a   Garg, Vijay K ^b  

^a AKAMAI TECHNOLOGIES   (United States)

^b The University of Texas at Austin   (United States)

Author keywords

Distributed computation; Distributed Debugging; Mutual Exclusion; Predicate Control; Predicate Detection; Rollback Recovery; Synchronization

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER SCIENCE; CONSTRAINT THEORY; PARALLEL PROCESSING SYSTEMS; PROGRAM DEBUGGING; SYNCHRONIZATION;

DISTRIBUTED COMPUTATION; DISTRIBUTED DEBUGGING; MUTUAL EXCLUSION; PREDICATE CONTROL; PREDICATE DETECTION; ROLLBACK RECOVERY;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 2942538181     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpdc.2003.11.004     Document Type: Article

References (40)

1. [AHKM96] Ahuja R., Ho A., Konstantinidou S., Messina P. A quantitative study of parallel scientific applications with explicit communication. J. Supercomput. 10(1):1996;5-24.
2. [BA90] Ben-Ari M. Principles of Concurrent and Distributed Programming. 1990;Prentice-Hall, Englewood Cliffs, NJ.
3. [BHS+95] D. Bailey, T. Harris, W. Saphir, R. van der Wijngaart, A. Woo, M. Yarrow, The NAS Parallel Benchmarks 2.0. Technical Report NAS-95-020, NASA Ames Research Center, 1995.
4. [BM93] Babaoglu O., Marzullo K. Consistent global states of distributed systems: fundamental concepts and mechanisms. Mullender S. Distributed Systems. 1993;Addison-Wesley, Reading, MA. (Chapter 4).
5. [BV95] S. Bulgannawar, N.H. Vaidya, A distributed K-mutual exclusion algorithm, in: Proceedings of the 15th International Conference on Distributed Computing Systems, IEEE, Vancouver, Canada, 1995, pp. 153-160.
6. [CC98] S. Chandra, P.M. Chen, How fail-stop are faulty programs? in: Proceedings of the Symposium on Fault-tolerant Computing (FTCS), Munich, Germany, IEEE, June 1998.
7. [CHP71] Courtois P.J., Heymans F., Parnas D.L. Concurrent control with "readers" and "writers" Comm. ACM. 14(10):October 1971;667-668.
8. [CL85] Chandy K.M., Lamport L. Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Systems. 3(1):February 1985;63-75.
9. [CM91] R. Cooper, K. Marzullo, Consistent detection of global predicates, in: Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California, 1991, pp. 163-173.
10. [CS98] J.D. Choi, H. Srinivasan, Deterministic replay of Java multithreaded applications, in: Second SIGMETRICS Symposium on Parallel and Distr. Tools, August 1998, pp. 48-59.
11. [Fid91] Fidge C. Logical time in distributed computing systems. IEEE Comput. 24(8):August 1991;28-33.
12. [Fin97] S.A. Fineberg, NAS Application I/O (BTIO) Benchmark. http://parallel.nas.nasa.gov/MPI-IO/btio/index.html , 1997.
13. [Gar96] Garg V.K. Principles of Distributed Systems. 1996;Kluwer Academic Publishers, Dordrecht.
14. [GW96] Garg V.K., Waldecker B. Detection of strong unstable predicates in distributed programs. IEEE Trans. Parallel Distrib. Systems. 7(12):December 1996;1323-1333.
15. [HJK93] S.-T. Huang, J.-R. Jiang, Y.-C. Kuo, k-coteries for fault-tolerant k entries to a critical section, in: Proceedings of the 13th International Conference on Distributed Computing Systems, IEEE, 1993, pp. 74-81.
16. [HK93] Y. Huang, C. Kintala, Software implemented fault tolerance: technologies and experience, in: Proceedings IEEE Fault-tolerant Computers Symposium, June 1993, pp. 138-144.
17. [KN94] D. Kotz, N. Nieuwejaar, Dynamic file-access characteristics of a production parallel scientific workload, in: Proceedings of Supercomputing '94, 1994, pp. 640-649.
18. [Lam77] Lamport L. Concurrent reading and writing. Comm. ACM. 20(11):November 1977;806-811.
19. [Lam78] Lamport L. Time, clocks, and the ordering of events in a distributed system. Comm. ACM. 21(7):July 1978;558-565.
20. [Mat89] F. Mattern, Virtual time and global states of distributed systems, in: Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms, Elsevier, North-Holland, Amsterdam, 1989, pp. 215-226.
21. [MBB+92] K. Makki, P. Banta, K. Been, N. Pissinou, E. Park, A token based distributed k mutual exclusion algorithm, in: Proceedings of the Symposium on Parallel and Distributed Processing, IEEE, December 1992, pp. 408-411.
22. [MG00] N. Mittal, V.K. Garg, Debugging distributed programs using controlled re-execution, in: Proceedings of the 19th ACM Symposium on Principles of Distributed Computing, Portland, USA, July 2000, pp. 239-248.
23. [MSWW81] Maggiolo-Schettini A., Wedde H., Winkowski J. Modeling a solution for a control problem in distributed systems by restrictions. Theoret. Comput. Sci. 13(1):January 1981;61-83.
24. [Net93] R.H.B. Netzer, Optimal tracing and replay for debugging shared-memory parallel programs, in: Proceedings of ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, USA, May 1993, pp. 1-11. Also available as ACM SIGPLAN Notices Vol. 28, No. 12.
25. [NM92] R.H.B. Netzer, B.P. Miller, Optimal tracing and replay for debugging message-passing parallel programs, in: Supercomputing'92, November 1992, pp. 502-511.
26. [NM95] Netzer R.H.B., Miller B.P. Optimal tracing and replay for debugging message-passing programs. J. Supercomput. 8(4):1995;371-388.
27. [Ray86] Raynal M. Algorithms for Mutual Exclusion. 1986;MIT Press, Cambridge, MA.
28. [Ray88] Raynal M. Distributed Algorithms and Protocols. 1988;Wiley, New York.
29. [Ray89] Raymond K. A distributed algorithm for multiple entries to a critical section. Inform. Process. Lett. 30:February 1989;189-193.
30. [RC96] M. Russinovich, B. Cogswell, Replay for concurrent nondeterministic shared-memory applications, in: Proceedings ACM SIGPLAN Conference on Programming Languages and Implementation (PLDI), 1996, pp. 258-266.
31. [RZ97] M. Ronnse, W. Zwaenepoel, Execution replay for TreadMarks, in: Proceedings of the Fifth EUROMICRO Workshop on Parallel and Distributed Processing (PDP'97), January 1997, pp. 343-350.
32. [Sin93] Singhal M. A taxonomy of distributed mutual exclusion. J. Parallel Distrib. Comput. 18:1993;94-101.
33. [SR92] Srimani P.K., Reddy R.L. Another distributed algorithm for multiple entries to a critical section. Inform. Process. Lett. 41:January 1992;51-57.
34. [Tar00] A. Tarafdar, Software fault tolerance in distributed systems using controlled re-execution, Ph.D. thesis, University of Texas at Austin, August 2000, available as Technical Report CS-TR-00-38 at the Department of Computer Sciences, University of Texas at Austin, on-line at www.cs.utexas.edu .
35. [TG94] A.I. Tomlinson, V.K. Garg, Maintaining global assertions on distributed systems, in: Computer Systems and Education, Tata McGraw-Hill, New York, 1994, pp. 257-272.
36. [TG98] A. Tarafdar, V.K. Garg, Predicate control for active debugging of distributed programs, in: Proceedings of the Ninth Symposium on Parallel and Distributed Processing, IEEE, Orlando, USA, April 1998, pp. 763-769.
37. [TG99] A. Tarafdar, V.K. Garg, Software fault tolerance of concurrent programs using controlled re-execution, in: Proceedings of the 13th International Symposium on Distributed Computing, Bratislava, Slovak Republic, September 1999, pp. 210-224.
38. [TG03] A. Tarafdar, V.K. Garg, Predicate control: synchronization in distributed computations with look-ahead, Technical Report ECE-PDS-2003-005, Parallel and Distributed Systems Laboratory, ECE Department University of Texas at Austin, 2003, available via ftp or WWW at maple.ece.utexas.edu as Technical Report TR-PDS-2003-005.
39. [Ve193] M.G. Velazquez, A survey of distributed mutual exclusion algorithms, Technical Report 93-116, Computer Science Department, Colorado State University, 1993.
40. [WHF+97] Wang Y.M., Huang Y., Fuchs W.K., Kintala C., Suri G. Progressive retry for software failure recovery in message-passing applications. IEEE Trans. Comput. 46(10):October 1997;1137-1141.