Методика приведення розкладу транзакції до еквівалентної послідовної форми

Abstract

Розроблено узагальнену методику приведення довільних розкладів транзакцій до еквівалентної послідовної форми. Пропонується застосування циклічного виконання певних процесів для забезпечення здатності до впорядкування будь-якого набору транзакцій, а отже забезпечення можливості їх паралельного (переміжного) виконання. А для забезпечення коректності паралельної обробки інформації необхідно організувати динамічне формування еквівалентного послідовного розкладу операцій у рамках означеного фрейму, який зсувається під час роботи системи. Вище наведені операції покладені в основу розроблених алгоритмів та дає можливість не лише достовірно розпізнати виникнення тупиків у процесі паралельного використання транзакцій, але й автоматично ліквідувати такі конфлікти і, таким чином, зводити будь-які розклади до еквівалентної послідовної форми.