КОРРЕКТНОСТЬ ТЕХНИКИ ДВУХФАЗНОГО БЛОКИРОВАНИЯ ДЛЯ РАСПИСАНИЯ С ОБЩИМИ И МОНОПОЛЬНЫМИ БЛОКИРОВКАМИ
DOI:
https://doi.org/10.17308/sait/1995-5499/2025/3/172-179Ключевые слова:
база данных, ACID, транзакция, блокировка, расписание, согласованное состояние, двухфазное блокированиеАннотация
Реляционные базы данных представляют один из наиболее распространен ных форматов хранения структурированной информации. Современные СУБД имеют различные компоненты для обеспечения целостности, безопасности и сохранности данных. Для корректного выполнения операций в базе данных используются транзакции. Помимо соблюдения классических свойств атомарности, согласованности, изолированности и устойчивости транзакций, СУБД должны обладать другими механизмами сохранения согласованного состояния элементов данных с учетом уровней изоляции и конкурентного доступа. В настоящей статье рассмотрены некоторые принципы управления транзакциями, которые применяются для обеспечения целостности реляционной базы данных. В их основе лежат такие понятия как расписание и блокировка. Правильно построенные расписания с блокировками позволяют исключить проблемы конкурентного доступа, возникающие в процессе работы разных транзакций с одними и теми же элементами данных. Именно для этих целей используются различные протоколы блокирования, регулирующие захват и снятие блокировок в рамках выполнения транзакций. Таким образом, гарантируется выполнение требования изолированности в системе. Основная часть данной статьи посвящена механизмам взаимодействия транзакций и построения расписаний, протоколу двухфазного блокирования (2PL) в общем виде. Целью работы является исследование протокола 2PL при использовании блокировок двух типов — общих и монопольных, доказательство его корректности в этом случае. Представленный результат позволяет сделать вывод о том, что данный протокол может корректно использоваться для наборов разных типов блокировок, что может служить основой развития метода двухфазного блокирования в дальнейших исследованиях.
Библиографические ссылки
Gray J. Notes on Data Base Operating Systems // Operating Systems: An Advanced Course. – Springer, 1978. – Vol. 60. – P. 393–481.
Haerder T., Reuter A. Principles of Transaction-Oriented Database Recovery // ACM Computing Surveys. – 1983. – Vol. 15, № 4. – P. 287-317.
Gray J., Reuter A. Transaction Processing: Concepts and Techniques. – San Francisco: Morgan Kaufmann, 1993. – 1070 p.
Traiger I., Galtieri C., Gray J., Lindsay B. Transactions and Consistency in Distributed Database Systems // IBM Research Laboratory. – San Jose, California, 1979. – 17 p.
Gray J. A Transaction Model // IBM Research Laboratory. – San Jose, California, 1980.
Eswaran K. P., Gray J. N., Lorie R. A., Traiger I. L. The notions of consistency and predicate locks in a database system // Communications of the ACM. – 1976. Vol. 19, № 11. – P. 624633.
Гарсиа-Молина Г., Ульман Джеффри Д., Уидом Д. Системы баз данных. Полный курс / Г. Гарсиа-Молина, Д. Ульман, Д. Уидом; пер. с англ. – М. : Вильямс, 2003. – 1088 с.
Махортов С. Д. РСУБД: основы отказоустойчивых систем : учебное пособие для вузов / С. Д. Махортов. – 2-е изд. – Воронеж, 2010. – 136 с.
Загрузки
Опубликован
Выпуск
Раздел
Лицензия
- Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая по истечении 6 месяцев после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.
- Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
