An Exploratory Environment for Concurrency Control Algorithms

Authors: Jinhua Guo

Abstract:

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: Consistency, Distributed Computing, InteractiveSteering, Simulation, Visualization

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1329432

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.