Towards Lock-Free Distributed Transactions

Rustem Kamun, Askhat Omarov, Timur Umarov, Sanzhar Altayev


For the last 40 years storage systems evolved greatly from traditional relational databases to distributed storage systems. Such dramatic changes are caused by exponential growth of Internet and mostly defined by its users and services (Int, 2014). For the past recent years both industrial and academic projects have recognized the necessity for strong consistency and ACID transactional semantics in large distributed storage systems. The main objective of this paper is to provide such strong consistency in the manner of Googles TrueTime described in (Corbett et al., 2013). We address the limitations of Google Spanner for general-purpose transactions. The result of this paper is a clock synchronization protocol (CSP) for transactions at scale.


  1. (2014). Internet growth statistics. http://www. Accessed: 2015-03-30.
  2. Allen, S. (2015). The future of leap seconds. http://www.˜sla/leapsecs/onlinebib.html. Accessed: 2015-02-20.
  3. Corbett, J. C., Dean, J., and Epstein, M. (2013). Spanner: Googles globally distributed database. ACM Transactions on Computer Systems, 31.
  4. Cristian, F. and Fetzer, C. (1994). Probabilistic internal clock synchronization. In Reliable Distributed Systems, 1994. Proceedings., 13th Symposium on, pages 22-31.
  5. David Bermbach, J. K. (2013). Consistency in distributed storage systems: An overview of models, metrics and measurement approaches. In Proceedings of the International Conference on Networked Systems (NETYS).
  6. Fidge, C. (1988). Timestamps in message-passing systems that preserve the partial ordering. In Proceedings of the 11th Australian Computer Science Conference 02/1988, pages 10:56-66.
  7. Gilbert, S. (2012). Perspectives on the cap theorem. Computer, 45:30-36.
  8. Iwanicki, K., van Steen, M., and Voulgaris, S. (2006). Gossip-based clock synchronization for large decentralized systems. In Self-Managed Networks, Systems, and Services. Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings, volume 3996, pages 28-42.
  9. Kulkarni, S. S., Demirbas, M., Madeppa, D., Avva, B., and Leone, M. (2014). Logical physical clocks and consistent snapshots in globally distributed databases. In The 18th International Conference on Principles of Distributed Systems.
  10. Lakshman, A. and Malik, P. (2010). Cassandra: a decentralized structured storage system. ACM SIGOPS Operating Systems Review, 44:35-40.
  11. Lamport, L. (1978). Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21:558-565.
  12. Marzullo, K. and Owicki, S. (1983). Maintaining the time in a distributed system. In PODC 7883 Proceedings of the second annual ACM symposium on Principles of distributed computing, pages 295-305.
  13. Mills, D. L. (1995). Improved algorithms for synchronizing computer network clocks. IEEE/ACM Transactions on Networking (TON), 3:245-254.
  14. Moon, S., Skelly, P., and Towsley, D. (1999). Estimation and removal of clock skew from network delay measurements. In INFOCOM 7899. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE, volume 1.
  15. Vogels, W. (2009). Eventually consistent. Communications of the ACM - Rural engineering development, 52:40- 44.

Paper Citation

in Harvard Style

Kamun R., Omarov A., Umarov T. and Altayev S. (2015). Towards Lock-Free Distributed Transactions . In Proceedings of the Fifth International Symposium on Business Modeling and Software Design - Volume 1: BMSD, ISBN 978-989-758-111-3, pages 247-252. DOI: 10.5220/0005887802470252

in Bibtex Style

author={Rustem Kamun and Askhat Omarov and Timur Umarov and Sanzhar Altayev},
title={Towards Lock-Free Distributed Transactions},
booktitle={Proceedings of the Fifth International Symposium on Business Modeling and Software Design - Volume 1: BMSD,},

in EndNote Style

JO - Proceedings of the Fifth International Symposium on Business Modeling and Software Design - Volume 1: BMSD,
TI - Towards Lock-Free Distributed Transactions
SN - 978-989-758-111-3
AU - Kamun R.
AU - Omarov A.
AU - Umarov T.
AU - Altayev S.
PY - 2015
SP - 247
EP - 252
DO - 10.5220/0005887802470252