{"title":"An Exploratory Environment for Concurrency Control Algorithms","authors":"Jinhua Guo","volume":14,"journal":"International Journal of Computer and Information Engineering","pagesStart":595,"pagesEnd":604,"ISSN":"1307-6892","URL":"https:\/\/publications.waset.org\/pdf\/980","abstract":"Designing, implementing, and debugging concurrency\r\ncontrol algorithms in a real system is a complex, tedious, and errorprone\r\nprocess. Further, understanding concurrency control\r\nalgorithms and distributed computations is itself a difficult task.\r\nVisualization can help with both of these problems. Thus, we have\r\ndeveloped an exploratory environment in which people can prototype\r\nand test various versions of concurrency control algorithms, study\r\nand debug distributed computations, and view performance statistics\r\nof distributed systems. In this paper, we describe the exploratory\r\nenvironment and show how it can be used to explore concurrency\r\ncontrol algorithms for the interactive steering of distributed\r\ncomputations.","references":"[1] J. Guo, \"Consistent, Interactive Steering of Distributed Computations:\r\nAlgorithms and Implementation,\" Ph.D. Dissertation, Department of\r\nComputer Science, University of Georgia, 2002.\r\n[2] D. Hart and E. Kraemer. \"Consistency Considerations in the Interactive\r\nSteering of Computations\", International Journal of Parallel and\r\nDistributed Systems and Networks, 2(3), 1999, pp 171-179.\r\n[3] E. Kraemer and J. T. Stasko. \"Creating an accurate portrayal of\r\nConcurrent Executions\" IEEE Concurrency, 6(1), 1998, pp 36-46.\r\n[4] E. Kraemer, D. Hart, and G-C. Roman, \"Balancing Consistency and Lag\r\nin Transaction-Based Computational Steering,\" Proceedings of the\r\nThirty-First Annual Hawaii International Conference on System\r\nSciences, pp 137-147, 1998.\r\n[5] L. Lamport, \"Time, Clocks, and the Ordering of Events in a Distributed\r\nSystem\", Communications of the ACM, 21(7): 558-565, 1978.\r\n[6] D.W. Miller, J. Guo, E. Kraemer and Y.Xiong, \"On-the-fly Calculation\r\nand Verification of Consistent Steering Transactions\", IEEE\/ACM Super\r\nComputing 2001 (SC2001), Denver, CO.\r\n[7] H. Vuppula, E. Kraemer, and D. Hart, \"Algorithms for Collection of\r\nGlobal Snapshots: An Empirical Evaluation,\" Proceedings of the ISCA\r\nConference on Parallel and Distributed Computing, pp 197-204, 2001.","publisher":"World Academy of Science, Engineering and Technology","index":"Open Science Index 14, 2008"}