Программное обеспечение модели отказоустойчивой ВС

Модуль

Описание

Main.cpp

Центральный модуль. Запуск инициализации системы. Запуск маршрутизатора. Запуск модуля эмуляции каналов связи. Запуск ФЗ.

Router.cpp

Функции маршрутизатора

Commun.cpp

Функции модуля коммуникации

Vote.cpp

Функции голосования и анализатора отказов.

task.cpp

Функциональная задача.

Описание

void router()

void GetRoute(int CpuNum)

Поиск всех кратчайших по числу транзитных передач путей в графе ВС до узла CpuNum.

Описание

int InitLinkEmul (const char *IniFile)

Инициализация модуля эмуляции каналов связи по файлу инициализации IniFile, выделение буферов приема информации для каждого канала, создание и соединение каналов связи (неименованные каналы или сокеты).

Возвращает 0 в случае успеха, -1 – в случае ошибки в файле IniFile.

void FinishLinkEmul (void)

Завершение работы модуля эмуляции каналов связи.

static SOCKET ConnectServerSocket (const char *ServName, int Port)

Создание клиентского сокета номером Port и соединение его с сервером.

static SOCKET CreateServerSocket (SOCKET *PrimSock, int Port)

Создание серверного сокета номером Port и ожидание соединения с клиентом.

static int CreatePipeServer (int Port, HANDLE *pipeRead, HANDLE *pipeWrite)

Создание серверного неименованного канала с номером Port. По указателям pipeRead и

pipeWrite возвращаются файловые дескрипторы на чтение и запись.

static int CreatePipeClient (int Port, HANDLE *pipeRead, HANDLE *pipeWrite)

Создание клиентского неименованного канала с номером Port. По указателям pipeRead и

pipeWrite возвращаются файловые дескрипторы на чтение и запись.

int LinkOut (int Link, void *Addr, int Length)

Посылка данных по заданному каналу связи Link, начиная с адреса Addr, Length байт с приемом квитанции от адресата.

int LinkIn (int Link, void *Addr, int Length)

Прием данных по заданному каналу связи Link, в буфер начиная с адреса Addr, Length байт с контролем целостности пакета и отправкой квитанции.

int Receive (int Chan, int From, void *DataAddr, int DataLength)

Выборка данных из канального буфера Chan, пришедших от ПЭ From, начиная с адреса Addr, Length байт.

int Send (int Chan, void *DataAddr, int DataLength)

Посылка данных по каналу Chan, начиная с адреса DataAddr, длиной DataLength байт.

static DWORD WINAPI LinkThreadFunc (LPVOID lpvThreadParm)

Задача прослушивания канала связи lpvThreadParm в фоновом режиме, расшифровка заголовка пакета, прием информационных частей посылки, запись в канальный буфер, выдача сигнала о приходе данных.

Описание

void InitializeVoteBuffers()

void RestoreCpuFault()

Сброс информации о накопленных отказах ПЭ

void RestoreLinkFault()

Сброс информации о накопленных отказах каналов связей

int compare(struct BUFFER b1,struct BUFFER b2)

Провести элементарную проверку (сравнение) буферов функциональной информации

int TrippleFault()

Определение сбоя одного и того же элемента ВС на протяжении трех циклов.

void consolidate()

Функция анализа отказов, принятие консолидированного решения, активизации реконфигуратора.

void VoteThread()

Задача голосования, активизирующаяся по заполнению канальных буферов, активизирующая обмен в сети результатами голосования и передающая управление анализатору отказов.

Описание

static int CheckCpuLinks (int Cpu)

void reconfig(struct SYSTEM* M)

Процедура реконфигурации, путем изменения системных таблиц по информации об отказе. Активизация маршрутизатора для перестройки системных таблиц.

Описание

void TaskLoop()

Описание

void KillCpu( int Cpu, int type )

type=0 – отказ ФЗ, внесение искажений при вычислении ФЗ.

void KillLink( int Link, int type )