Модели процессов согласования реплик в базах данных Nosql

Алгоритм: 
STOP = 0 //флаг остановки моделирования пользователем 
CALL(SetResultFileName, FILE_NAME) 
CALL(SetTotalProgress, NKL_ARR_SIZE * LMBD_ARR_SIZE) 
ЦИКЛ по количеству элементов массива i = 0..NKL_ARR_SIZE-1
ЦИКЛ по количеству элементов массива j = 0..LBMD_ARR_SIZE-1 
ЗАПУСТИТЬ модель на время ITER_TIME с параметрами 
NKL_ARR[i], LMBD_ARR[j]. 
ЗАПИСАТЬ результаты моделирования в файл FILE_NAME 
STOP = CALL(SetProgress, i * j) 
ЕСЛИ (STOP == 1) ТО КОНЕЦ АЛГОРИТМА 
КОНЕЦ ЦИКЛА 
КОНЕЦ ЦИКЛА 
CALL(SetFinishVersions) 
КОНЕЦ АЛГОРИТМА 
На рисунке 4.5 представлен пример окна с результатами моделирования, 
полученных с помощью инструментального средства. Моделирование было 
выполнено при входных данных, изображенных на рисунке 4.3. 

---

122 
Рисунок 4.5 – Пример результатов моделирования процесса ведения версий 
записи. 
4.3.
 
Подсистема для работы с моделями отказов и восстановления 
доступа к записи 
На третьей вкладке программы (см. рисунок 4.6) доступна работа с 
моделями отказов и восстановления доступа к записи в базах данных NoSQL.
При помощи инструментального средства можно получить оценку 
вероятности отказа в доступе к какой-либо записи базы данных NoSQL 
аналитическим (выражение (2.41)) и /или имитационным методом. 
Для моделей отказов можно задавать несколько значений для одного 
процесса моделирования для следующих входных параметров: размер кластера 
(число узлов), количество ремонтных бригад, число реплик и время наработки на 
отказ узла (через точку с запятой).
Окно программы (третья вкладка) содержит элементы управления для 
настройки исходных данных (они одинаковы как для аналитической, так и для 
имитационной модели), кнопку для расчета вероятности по аналитической 
модели и кнопку запуска имитационной модели. Имитационное моделирование 

---

123 
выполняется в среде GPSS посредством проведения эксперимента на языке PLUS. 
Текст программы на PLUS и модели на GPSS генерируется инструментальным 
средством автоматически после ввода исходных данных.
Схема работы инструментального средства с имитационной моделью 
отказов практически совпадает с имитационной моделью ведения версий записи 
(см. рисунок 4.4). Отличие заключается в том, что вместо функции 
SetFinishVersions 
(стрелка «Закончить моделирование» на рисунке 4.4) 
используется функция 
SetFinishReliability 
библиотеки 
NoSQLGPSSLib.dll
, которая 
сообщает системе, что моделирование завершено и необходимо осуществить 
возврат в главное окно программы. После этого таблица с результатами 
аналитических 
расчетов 
дополняется 
результатами 
имитационного 
моделирования. 
Алгоритм работы программы на языке PLUS. 
Вход: массив изменяемых параметров ARR, размер массива изменяемых 
параметров ARR_SIZE, имя файла с результатами FILE_NAME, время одного 
прогона модели ITER_TIME.