Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 30576
An Exploratory Environment for Concurrency Control Algorithms

Authors: Jinhua Guo


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.

Keywords: Distributed Computing, Simulation, Visualization, Consistency, InteractiveSteering

Digital Object Identifier (DOI):

Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 1387


[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.