Abstract
Software transactional memory (STM) is a promising approach for concurrency control in parallel computing environment. The non-blocking progress implementations for STM forces transactions to abort. Although this is primarily done to ensure block-freedom, it may lead to poor system performance. This paper proposes a new Abort-Free STM methodology (AFTM) to achieve abort-free execution so that a group of processes, which are contending for a common set of concurrent objects can commit in finite number of steps. The proposed STM allows wait-free, non-blocking execution of multiple read and write transactions on shared data object without aborting any of the transactions. The important properties of AFTM have been proved towards establishing its advantages.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Shavit, N., Touitou, D.: Software transactional memory. In: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 204–213 (1995)
Rachid, G., Romano, P. (eds.): Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST Action Euro-TM IC1001, vol. 8913. Springer (2014)
Perelman, D., Fan, R., Keidar, I.: On maintaining multiple versions in STM. In: Proceedings of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 16–25. ACM (2010)
Attiya, H., Milani, A.: Transactional scheduling for read-dominated workloads. J Parallel Distrib. Comput. 72(10), 1386–1396 (2012)
Cachopo, J., Rito-Silva, A.: Versioned boxes as the basis for memory transactions. Sci. Comput. Program. 63(2), 172–185 (2006)
Fernandes, S.M., Cachopo, J.A.: Lock-free and scalable multi-version software transactional memory. ACM SIGPLAN Not. 46(8), 179–188 (2011)
Riegel, T., Felber, P., Fetzer, C.: A lazy snapshot algorithm with eager validation. In: Distributed Computing, pp. 284–298. Springer, Berlin, Heidelberg (2006)
Aydonat, U., Abdelrahman, T.S.: Relaxed concurrency control in software transactional memory. IEEE Trans. Parallel Distrib. Syst. 23(7), 1312–1325 (2012)
Avni, H., Dolev, S., Fatourou, P., Kosmas, E.: Abort free semanticTM by dependency aware scheduling of transactional instructions. In: Networked Systems, pp. 25–40. Springer (2014)
Ghosh, A., Chaki, N.: The new OFTM algorithm toward abort-free execution. In: Proceedings of the 9th International Conference on Distributed Computing and Information Technology, pp. 255–266. Springer (2013)
Ghosh, A., Chaki, R., Chaki, N.: A new concurrency control mechanism for multi-threaded environment using transactional memory. J. Super Comput. 71(11), 4095–4115 (2015)
Diegues, N., Cachopo, J.: Practical parallel nesting for software transactional memory. In: Distributed Computing, pp. 149–163. Springer (2013)
Marathe, V.J., Scott, M.L.: A qualitative survey of modern software transactional memory systems, University of Rochester Computer Science Department, Technical Report (2004)
Marathe, V.J., Spear, M.F., Heriot, C., Acharya, A., Eisenstat, D., III, W.N.S., Scott, M.L.: The Rochester software transactional memory runtime. http://www.cs.rochester.edu/research/synchronization/rstm (2015)
Scherer III, W.N., Scott, M.L.: Advanced contention management for dynamic software transactional memory. In: Proceedings of 24th annual ACM Symposium on Principles of Distributed Computing, pp. 240–248. ACM (2005)
Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: 22nd Annual ACM Symposium on Principles of Distributed Computing, pp. 92–101 (2003)
Marathe, V.J., Scherer III, W.N., Scott, M.L.: Adaptive software transactional memory. In: Proceedings of the 19th International Symposium on Distributed Computing (DISC), pp. 354–368 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Ghosh, A., Chaki, R., Chaki, N. (2017). Abort-Free STM: A Non-blocking Concurrency Control Approach Using Software Transactional Memory. In: Chaki, R., Saeed, K., Cortesi, A., Chaki, N. (eds) Advanced Computing and Systems for Security. Advances in Intelligent Systems and Computing, vol 567. Springer, Singapore. https://doi.org/10.1007/978-981-10-3409-1_4
Download citation
DOI: https://doi.org/10.1007/978-981-10-3409-1_4
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-3408-4
Online ISBN: 978-981-10-3409-1
eBook Packages: EngineeringEngineering (R0)