КОРРЕКТНОСТЬ ТЕХНИКИ ДВУХФАЗНОГО БЛОКИРОВАНИЯ ДЛЯ РАСПИСАНИЯ С ОБЩИМИ И МОНОПОЛЬНЫМИ БЛОКИРОВКАМИ
Аннотация
Реляционные базы данных представляют один из наиболее распространен ных форматов хранения структурированной информации. Современные СУБД имеют различные компоненты для обеспечения целостности, безопасности и сохранности данных. Для корректного выполнения операций в базе данных используются транзакции. Помимо соблюдения классических свойств атомарности, согласованности, изолированности и устойчивости транзакций, СУБД должны обладать другими механизмами сохранения согласованного состояния элементов данных с учетом уровней изоляции и конкурентного доступа. В настоящей статье рассмотрены некоторые принципы управления транзакциями, которые применяются для обеспечения целостности реляционной базы данных. В их основе лежат такие понятия как расписание и блокировка. Правильно построенные расписания с блокировками позволяют исключить проблемы конкурентного доступа, возникающие в процессе работы разных транзакций с одними и теми же элементами данных. Именно для этих целей используются различные протоколы блокирования, регулирующие захват и снятие блокировок в рамках выполнения транзакций. Таким образом, гарантируется выполнение требования изолированности в системе. Основная часть данной статьи посвящена механизмам взаимодействия транзакций и построения расписаний, протоколу двухфазного блокирования (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).
