An Exploratory Environment for Concurrency Control Algorithms

Designing, implementing, and debugging concurrency control algorithms in a real system is a complex, tedious, and errorprone process. Further, understanding concurrency control algorithms and distributed computations is itself a difficult task. Visualization can help with both of these problems. Thus, we have developed an exploratory environment in which people can prototype and test various versions of concurrency control algorithms, study and debug distributed computations, and view performance statistics of distributed systems. In this paper, we describe the exploratory environment and show how it can be used to explore concurrency control algorithms for the interactive steering of distributed computations.

Authors:

• Jinhua Guo

Keywords:

• Consistency
• Distributed Computing
• InteractiveSteering
• Simulation
• Visualization

References:

[1] J. Guo, "Consistent, Interactive Steering of Distributed Computations:
Algorithms and Implementation," Ph.D. Dissertation, Department of
Computer Science, University of Georgia, 2002.
[2] D. Hart and E. Kraemer. "Consistency Considerations in the Interactive
Steering of Computations", International Journal of Parallel and
Distributed Systems and Networks, 2(3), 1999, pp 171-179.
[3] E. Kraemer and J. T. Stasko. "Creating an accurate portrayal of
Concurrent Executions" IEEE Concurrency, 6(1), 1998, pp 36-46.
[4] E. Kraemer, D. Hart, and G-C. Roman, "Balancing Consistency and Lag
in Transaction-Based Computational Steering," Proceedings of the
Thirty-First Annual Hawaii International Conference on System
Sciences, pp 137-147, 1998.
[5] L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed
System", Communications of the ACM, 21(7): 558-565, 1978.
[6] D.W. Miller, J. Guo, E. Kraemer and Y.Xiong, "On-the-fly Calculation
and Verification of Consistent Steering Transactions", IEEE/ACM Super
Computing 2001 (SC2001), Denver, CO.
[7] H. Vuppula, E. Kraemer, and D. Hart, "Algorithms for Collection of
Global Snapshots: An Empirical Evaluation," Proceedings of the ISCA
Conference on Parallel and Distributed Computing, pp 197-204, 2001.