Метод для согласованного выполнения семейства распределенных асинхронно взаимосвязанных транзакций
Аннотация
В работе предлагается метод обнаружения RW-конфликтов по разделяемым данным, возникающих во время конкурентного выполнения набора распределенных транзакций, который предназначен для предотвращения связанных с таким типом конфликтов аномалий выполнения
Ключевые слова
Полный текст:
PDFЛитература
Herlihy M., Moss J. E. B. Transactional memory: architectural support for lock-free data
structures // SIGARCH Comput. Archit. News. 1993. Vol. 21, No. 2. P. 289–300.
Lomet D. B. Process structuring, synchronization, and recovery using atomic actions //
SIGOPS Oper. Syst. Rev. 1977. Vol. 11, No. 2. P. 128–137.
Liskov B., Scheifler R. Guardians and Actions: Linguistic Support for Robust, Distributed
Programs // ACM Trans. Program. Lang. Syst. 1983. Vol. 5, No. 3. P. 381–404.
Hoare C. A. R. Monitors: an operating system structuring concept // Commun. ACM. 1974.
Vol. 17, No. 10. P. 549–557.
Saad M. M., Ravindran B. HyFlow: a high performance distributed software transactional
memory framework // Proceedings of the 20th international symposium on High performance
distributed computing. HPDC ’11. 2011. P. 265–266.
Saad M. M., Ravindran B. Transactional Forwarding Algorithm: Tech. rep.: ECE Dept.,
Virginia Tech, 2011.
Bocchino R. L., Adve V. S., Chamberlain B. L. Software transactional memory for large scale
clusters // Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice
of parallel programming. PPoPP ’08. 2008. P. 247–258.
Tel G. Introduction to Distributed Algorithms. MCCME, Moscow. 2009.
Eswaran K. P., Gray J. N., Lorie R. A., Traiger I. L. The notions of consistency and predicate
locks in a database system // Commun. ACM. 1976. Vol. 19, No. 11. P. 624–633.
Bernstein P. A., Goodman N. Concurrency Control in Distributed Database Systems //
ACM Comput. Surv. 1981. Vol. 13, No. 2. P. 185–221.
Dice D., Shalev O., Shavit N. Transactional locking II // Proceedings of the 20th
international conference on Distributed Computing. DISC’06. 2006. P. 194–208.
Guerraoui R., Kapalka M. On the correctness of transactional memory // Proceedings of
the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming.
PPoPP ’08. 2008. P. 175–184.
Kung H. T., Robinson J. T. On optimistic methods for concurrency control // ACM Trans.
Database Syst. 1981. Vol. 6, No. 2. P. 213–226.
Lamport L. Time, clocks, and the ordering of events in a distributed system // Commun.
ACM. 1978. Vol. 21, No. 7. P. 558–565.
Zhang B., Ravindran B. Brief Announcement: Relay: A Cache-Coherence Protocol for
Distributed Transactional Memory // Proceedings of the 13th International Conference on
Principles of Distributed Systems. OPODIS ’09. 2009. P. 48–53.
Sridharan S., Vetter J. S., Kogge P. M. Scalable Software Transactional Memory for Global
Address Space Architectures: Tech. Rep. FTGTR-2009-04: Future Technologies Group, Oak
Ridge National Lab, 2009.
Peluso S., Ruivo P., Romano P. et al. When Scalability Meets Consistency: Genuine
Multiversion Update-Serializable Partial Data Replication // Distributed Computing Systems
(ICDCS), 2012 IEEE 32nd International Conference. 2012. P. 455–465.
Peluso S., Romano P., Quaglia F. SCORe: a scalable one-copy serializable partial replication
protocol // Proceedings of the 13th International Middleware Conference. Middleware ’12.
P. 456–475.
Mattern F. Virtual Time and Global States of Distributed Systems // Proc. Workshop on
Parallel and Distributed Algorithms / Ed. by C. M. et al. North-Holland / Elsevier: 1989.
P. 215–226.
Manassiev K., Mihailescu M., Amza C. Exploiting distributed version concurrency in a
transactional memory cluster // Proceedings of the eleventh ACM SIGPLAN symposium on
Principles and practice of parallel programming. PPoPP ’06. 2006. P. 198–208.
Mishra S., Turcu A., Palmieri R., Ravindran B. HyflowCPP: A Distributed Transactional
Memory Framework for C++ // 12th IEEE International Symposium on Network Computing
and Applications. NCA 2013. Boston, USA: IEEE Computer Society, 2013.
Herlihy M., Sun Y. Distributed transactional memory for metric-space networks //
Proceedings of the 19th international conference on Distributed Computing. DISC’05. 2005.
P. 324–338.
Danilov I.G. DSTM_P1: Distributed transactional memory prototype // 11th Conference
on high performance computing. HPC 2011. Nizhni Novgorod, Russia, 2011. P. 102-107.
Danilov I.G. On one approach to implement software transactional memory for distributed
computing. IZVESTIYA SFedU. Series: Engineering sciences. 2012. No. 6(131). P. 91-95
DOI: http://dx.doi.org/10.14529/cmse140303