МЕТОД ЛОКАЛЬНОГО ВІДНОВЛЕННЯ ПРОЦЕСІВ ІНФОРМАЦІЙНОЇ СИСТЕМИ НА МОБІЛЬНІЙ ПЛАТФОРМІ

Анотація

Предметом дослідження в статті є локальні порушення внутрішнього стану окремих процесів інформаційної системи на мобільній платформі, які унеможливлюють коректне продовження виконання без спеціального відновлювального впливу. Мета роботи – розроблення методу локального відновлення процесів інформаційної системи на мобільній платформі, який у разі локального порушення внутрішнього стану процесу забезпечує продовження його виконання за допомогою ідемпотентного повторного виконання й детермінованого відтворення мінімально достатнього локального стану в умовах обмежених ресурсів і переривчастої зв’язності. У статті необхідно виконати такі завдання: формалізувати локальний стан процесу й ознаки його порушення; встановити класи кроків процесу за допустимістю повторного виконання; розробити правило вибору між мікровідновленням і мікроперезапуском; запропонувати метод детермінованого відтворення мінімально достатнього локального стану процесу; виконати модельне дослідження ефективності запропонованого методу порівняно з повним перезапуском процесу й відкладеним сервісним відновленням. Досягнуті результати. Розроблено формалізацію локального стану процесу у вигляді вектора, що містить номер поточного кроку, внутрішні дані процесу, вхідні дані кроку, службові познаки виконання та кратність фіксації результату поза межами процесу. Локальне порушення стану визначено через вектор неузгодженості та скалярний показник локального пошкодження стану процесу. Запропоновано правило локального відновлення, яке формалізує вибір між мікровідновленням і мікроперезапуском з огляду на очікуваний стан процесу після відновлювальної дії, співвідношення між вимогами дії та доступними часом і ресурсами, оцінки дублювання зовнішнього результату, відповідності поточного стану умовам повторного запуску. Розроблено метод детермінованого відтворення мінімально достатнього локального стану процесу, який задає вибір опорної точки повторного запуску й формування сукупності координат локального стану, вхідних даних і службових познак, необхідних для коректного продовження виконання. Результати модельного дослідження показали, що запропонований метод забезпечує швидше зменшення показника локального пошкодження стану процесу, менше значення накопичувального показника відхилення відновлення, вищу ймовірність успішного повернення процесу до коректного виконання, менший середній час відновлення, менший обсяг даних, потрібних для повторного запуску, і меншу оцінку ймовірності дублювання зовнішнього результату. Висновки: запропонований метод є доцільним як окремий процесний механізм у системі забезпечення живучості інформаційної системи на мобільній платформі, оскільки дає змогу скоротити тривалість локальних порушень виконання процесів і підвищити живучість системи без переходу до повного перезапуску або сервісного відновлення в разі, коли локальне відновлення є достатнім.