МЕТОД УМЕНЬШЕНИЯ КОЛИЧЕСТВА ВЗАИМОПРОВЕРОК ПРИ САМОТЕСТИРОВАНИИ МНОГОПРОЦЕССОРНЫХ СИСТЕМ
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
Виталий Романкевич, Алексей Романкевич, Дарина Ахмедова
GENERALIZED ATOMIC WAVELETS
The problem of big data sets processing is considered. Efficiency of algorithms depends mainly on the appropriate mathematical tools. Now there exists a wide variety of different constructive tools for information analys...
МЕТОДОЛОГІЧНІ ЗАСАДИ ОЦІНЮВАННЯ ТА ЗАБЕЗПЕЧЕННЯ БЕЗПЕКИ КРИТИЧНИХ ІНФОРМАЦІЙНИХ ІНФРАСТРУКТУР
Світові тенденції до посилення загроз природного та техногенного характеру, підвищення рівня терористичних загроз, збільшення кількості та підвищення складності кібератак зумовили актуалізацію питання захисту та підвищен...
ТЕРАГЕРЦОВІ ТЕХНОЛОГІЇ В ТЕЛЕКОМУНІКАЦІЙНИХ СИСТЕМАХ. ЧАСТИНА 2. ДОСЛІДЖЕННЯ ТА МОДЕЛЮВАННЯ ПЕРЕДАВАННЯ ТЕЛЕВІЗІЙНИХ СИГНАЛІВ СТАНДАРТУ DVB-C І ІМПУЛЬСНОГО НАДШИРОКОСМУГОВОГО СИГНАЛУ РАДІОЛІНІЄЮ ТЕРАГЕРЦОВОГО ДІАПАЗОНУ
Уперше в практичному плані проведені дослідження лабораторного зразка цифрової симплексної радіорелейної системи терагерцового діапазону в складі приймального і передавального радіотракту в діапазоні частот 130÷134 ГГц і...
СИСТЕМА ИМПУЛЬСНОЙ РАДИОСВЯЗИ С ИСПОЛЬЗОВАНИЕМ СВЕРХШИРОКОПОЛОСНЫХ СИГНАЛОВ-ТРИПЛЕТ
Предложено использование сверхширокополосных сигналов-триплет в биспектральной импульсной системе цифровой радиосвязи. Изучена эффективность предложенной системы радиосвязи для многолучевых каналов распространения радиов...
DISCRETE ATOMIC COMPRESSION OF DIGITAL IMAGES
The subject matter of this paper is the discrete atomic compression (DAC) of digital images, which is a lossy compression process based on the discrete atomic transform (DAT). The goal is to investigate the efficiency of...