Modeling and Analysis of Multi-version Concurrent Control

A multi-version concurrent control (MVCC) is widely spread as an important scheme to ensure the data integrity even in on-line storage services such as Dropbox as well as database management system. The scheme of MVCC is to make a snapshot of the current data before access to the data, and to compare the snapshot with the original data just before the update is committed. This discipline is called first-committer-wins rule (FCWR). This paper focuses on the performance evaluation of MVCC based on a stochastic model. According to queueing analysis, we derive quantitative performance measures from the model analytically. Further, we reveal the effectiveness of MVCC by comparing with the serializable policy.