ABSTRACT
Performance is a high-priority consideration when designing concurrent or distributed systems. The process of designing such a system is complicated by two factors: (1) the current state-of-the-art in concurrent system design is very ad hoc — software design principles for concurrent systems are still in their infancy, and (2) performance evaluation of concurrent systems is quite difficult and it is especially difficult to relate aspects of the design to aspects of the implementation. This paper reports on work with a performance modeling technique for concurrent or distributed systems that allows structured design to be related to the implementation of the concurrency control component of the system. First, a General Process Model (GPM) is used to organize system design information into a six level hierarchy. The abstract performance properties of each level in the hierarchy have been established using concurrency control theory. Next, we describe how to translate the structured system design into efficient concurrency control techniques, using elements of this theory. Finally, a prototype automated design evaluation tool which serves as a central component of the design methodology is described.
- 1.Aho, A.V., Kernighan, B.W. and Weinberger, P.J., "AWK- A Pattern Scanning and Processing Language", UNIX Programmer's Manual, Vol. 2A, Seventh Edition (January 1979), Bell Laboratories.Google Scholar
- 2.Chandra, A., Kozen, D. and Stockmeyer, L.I., "Alternation", Journal of the A.C.M., Vol. 28, No. 1 (January 1981), pp. 114-133. Google ScholarDigital Library
- 3.Ellis, C.S., "Concurrent Search and Insertion in 2-3 Trees", Acta lnformatica, Vol. 14 (1980), pp. 63-86.Google ScholarDigital Library
- 4.Ellis, C.S., "Distributed Data Structures: A Case Study", LE.E.E. Transactions on Computers, Vol. C-34, No. 12 (December 1985), pp. 1178-1185.Google Scholar
- 5.Hickey, T. and Cohen, J., "Performance Analysis of On-The-Fly Garbage Collection", Communications of the A.C.M., Vol. 27, No. 11, (Nov. 1984), pp. 1143-1154. Google ScholarDigital Library
- 6.Jipping, M.J., "An Information-Based Methodology for the Design of Concurrent Systems", Ph.D. Thesis. Technical Report 86-01, The University of Iowa, Iowa City, Iowa, May 1986. Google ScholarDigital Library
- 7.Khayat, M.G., "A Concurrency Measure", LE.E.E. Transactions o{ Software Engineering, Vol. SE-10, No. 6 (Nov. 1984), pp. 804-810.Google ScholarDigital Library
- 8.Kiessling, W. and Landherr, G., "A Quantitative Comparison of Lock protocols for Centralized Databases", Proceedings of the 1989 Conference on Very Large Database Systems, Florence, Italy (Oct. 1983), pp. 120-130. Google ScholarDigital Library
- 9.Papadimitriou, C.H. and Yannakakis, M., "The Complexity of Reliable Concurrency Control", Proceedings of the 1985 Conference on Principles of Distributed Con,puting, Portland, Oregon, March 1985, pp. 230-234. Google ScholarDigital Library
- 10.Weihl, W.E., "Data-dependent Concurrency Control and Recovery", Proceeding8 of the Second Annual A.C.M. Symposium on Principles of Distributed Computing, Montreal, Canada (Aug. 1983). Google ScholarDigital Library
Index Terms
- Predicting performance of concurrency control designs
Recommendations
Predicting performance of concurrency control designs
Performance is a high-priority consideration when designing concurrent or distributed systems. The process of designing such a system is complicated by two factors: (1) the current state-of-the-art in concurrent system design is very ad hoc — software ...
Semantics-based concurrency control: beyond commutativity
The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency ...
Rethinking serializable multiversion concurrency control
Multi-versioned database systems have the potential to significantly increase the amount of concurrency in transaction processing because they can avoid read-write conflicts. Unfortunately, the increase in concurrency usually comes at the cost of ...
Comments