A queuing model-based approach for the analysis of transactional memory systems

作者：Yu Xiao^*; He Zhengyu; Hong Bo

来源：Concurrency and Computation: Practice and Experience (CCPE) , 2013, 25(6): 808-825.

DOI：10.1002/cpe.2867

• transactional memory
• queuing model
• performance analysis

In this paper, we develop an analytical model of the execution efficiency of transactional memory (TM) systems. This model employs queuing theory to analyze the impact of an essential set of TM design parameters including the conflict rate, number of conflict detection/resolution points, and implementation overhead. The model is validated via extensive experiments. To demonstrate the effectiveness of the model, we further study the performance impact of two factors. Our study shows that, for a given TM-based program, the frequency of performing conflict detection can be carefully chosen to minimize the mean transaction completion time. Our study also demonstrated the importance of reducing implementation overhead. We expect our study to be useful for designing TM systems and applications.

• 出版日期2013-4