МЕТОД УМЕНЬШЕНИЯ КОЛИЧЕСТВА ВЗАИМОПРОВЕРОК ПРИ САМОТЕСТИРОВАНИИ МНОГОПРОЦЕССОРНЫХ СИСТЕМ
Journal Title: Радіоелектронні і комп’ютерні системи - Year 2018, Vol 0, Issue 4
Abstract
Предметом исследования в данной работе являются процессы тестирования в многопроцессорных системах, в первую очередь - отказоустойчивых систем управления, когда число m допустимых отказов из n процессоров заранее известно и ограничено. Топология межпроцессорных связей может быть описана направленным графом типа циркулянт, где число входных и выходных каналов связи каждого процессора с другими процессорами системы не менее m. Целью является минимизация количества взаимопроверок в системе при выполнении ее самотестирования. Задачи: разработать эффективный метод организации взаимотестирования процессоров в многопроцессорных системах и алгоритм его выполнения, дать оценку количества элементарных проверок, доказать ее справедливость. Получены следующие результаты. На базе известного метода диагностирования многопроцессорных систем с регулярной структурой и m≤4 при параллельном и независимом тестировании сформулирована задача организации процесса тестирования для любых m < (n ⁄ 2), который назван последовательным и при котором в каждый момент времени в тестировании участвует лишь одна пара процессоров. Особенности такой организации: выбор следующей пары осуществляется на основе анализа предыстории процесса. Предложен алгоритм выполнения метода. В качестве модели неисправностей выбрана модель Препараты-Метца-Чена как наиболее близкая к реальности. Выводы. Научная новизна полученных результатов состоит в следующем: предложен метод организации самотестирования многопроцессорных систем с топологией связей, описываемых графом-циркулянтом (с не менее m входных и m выходных стрелок), который позволяет сократить количество взаимопроверок в системе. Доказано, что состояние (исправен-неисправен) всех процессоров системы может быть установлено после выполнения не более n+2m взаимопроверок. Практическое значение – метод позволяет уменьшить потери времени, затрачиваемые системой на самотестирование, а, значит, повысить её производительность, поскольку эту задачу система выполняет постоянно в процессе эксплуатации. Преимущества выбранной топологии: она пригодна для любых целочисленных значений величины n.
Authors and Affiliations
Виталий Романкевич, Алексей Романкевич, Дарина Ахмедова
СРАВНИТЕЛЬНЫЙ АНАЛИЗ АЛГОРИТМОВ ОБНАРУЖЕНИЯ НЕИЗВЕСТНЫХ СИГНАЛОВ С УЧЁТОМ СОВОКУПНОСТИ ПОКАЗАТЕЛЕЙ КАЧЕСТВА
Предметом данной статьи является задача обнаружения неизвестных сигналов в условиях повышенной априорной неопределённости, что может иметь место во время определения незанятых частотных каналов в когнитивных радиосетях....
КОНЦЕПЦІЯ ОПТИМАЛЬНОЇ ФОРМИ ПРЕДСТАВЛЕННЯ ЛОГІЧНИХ ФУНКЦІЙ ТА ПРОБЛЕМИ ЇЇ ВПРОВАДЖЕННЯ
В статті представлено концепцію оптимальної форми представлення логічних функцій як важливого напрямку структурного вдосконалення цифрових пристроїв на основі реалізації логічних функцій в альтернативних формах представл...
МЕТОД СИНТЕЗА МНОГОКОМПОНЕНТНОЙ МОДЕЛИ АТРИБУТИВНЫХ ПРИЗНАКОВ ОБЪЕКТОВ
Предметом изучения в статье являются процессы формирования аналитических описаний атрибутивных признаков объектов для решения прикладных задач статистического распознавания образов объектов на многоканальных изображениях...
ПОВЫШЕНИЕ ЭФФЕКТИВНОСТИ ВЕТРОЭНЕРГЕТИЧЕСКОЙ УСТАНОВКИ С ВЕРТИКАЛЬНОЙ ОСЬЮ ВРАЩЕНИЯ
Рассмотрены вопросы, связанные с повышением эффективности функционирования ветроэнергетической установки с вертикальной осью вращения. Представлен обзор вариантов конструктивного исполнения ветроэнергетических установок...
ГРАНИЦЫ КРАМЕРА-РАО И БХАТТАЧАРИЯ ДЛЯ ОЦЕНКИ ПОТЕНЦИАЛЬНОЙ ТОЧНОСТИ СУБПИКСЕЛЬНОГО СОВМЕЩЕНИЯ ИЗОБРАЖЕНИЙ
Предметом изучения в статье являются теоретические нижние границы оценок параметров применительно к задаче совмещения изображений. Целью является исследование и сравнительный анализ границ Крамера-Рао и Бхаттачария. Зада...