Анализ применимости инструмента Spin к верификации протоколов когерентности памяти
Оценка эффективности применения метода model checking и инструмента Spin с верификацией протоколов когерентности памяти для поиска ошибок в устройствах. Проверка выполнимости характеристик системы. Верификация протокола когерентности "Эльбрус-2S".
Подобные документы
Структура, функционирование виртуальной памяти в современных компьютерах. Виды организации виртуальной памяти: отличия, преимущества и недостатки. Формирование виртуальных адресов. Анализ и оценка применения разных типов виртуальной памяти в Windows.
реферат, добавлен 25.11.2009Тестирование на соответствие заданной спецификации как наиболее стандартизированный и широко распространенный метод проверки корректности реализации протокола. Знакомство с методикой тестирования конформности реализаций протоколов информационного обмена.
статья, добавлен 25.08.2020- 28. Протоколы связи
Достоинства и недостатки протоколов связи: сети SIP, протокола управления потоком Ipsilon IFMP, протокола общего назначения для управления коммутаторами ATM. Структура заголовка GSMP: номер версии протокола, тип сообщения, результат, код (отклик).
реферат, добавлен 12.04.2017 Изучение оперативной памяти и других типов памяти. Основополагающая характеристика, которая отличает оперативную память от других типов памяти. Устройство оперативной памяти и ее функции в современных компьютерах. Современная методика расширения памяти.
презентация, добавлен 13.10.2011Основные понятия и принципы организации компьютерных сетей. Понятие протокола, его сущность и особенности построения в сети. Семиуровневая модель протоколов взаимодействия открытых систем. Сетевые протоколы, их особенности и отличительные черты.
реферат, добавлен 07.01.2009Изучение иерархии памяти компьютера. Характеристика организации, устройства, назначения и принципов работы динамической, оперативной, виртуальной и кеш-памяти. Анализ преимуществ и недостатков модулей памяти с синхронным и асинхронным интерфейсом.
курсовая работа, добавлен 07.12.2009Применение кэш-памяти компьютера для временного хранения информации. Влияние кэш-памяти на скорость вычислений. Рассмотрение принципов использования оперативной памяти компьютера. Взаимодействие кэш-памяти с оперативными запоминающими устройствами.
презентация, добавлен 26.05.2016Верификация как проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, архитектурой, моделью предметной области. Характеристика типичных ошибок, которые обнаруживаются статическими анализаторами.
контрольная работа, добавлен 02.02.2021- 34. Анализ производительности обработки упакованных поисковых деревьев в модели иерархической памяти
Анализ производительности операций упорядоченного и случайного поиска для иерархической памяти. Особенности поиска в упакованном в массив сбалансированном дереве, в гибридном и двоичном сбалансированном поисковом дереве на основе связанных списков.
статья, добавлен 27.02.2019 Необходимость и сферы применения поиска с учетом ошибок: поиск документов в интернете, автоматическое исправление орфографических ошибок, вычислительная биология. Особенности и условия эффективности использования интервальных запросов в данном процессе.
презентация, добавлен 17.08.2016Понятие "динамической" памяти (DRAM). Память с произвольным доступом (RAM). Микросхемы SDRAM: физическая организация, принцип работы. Схема обращения к ячейке памяти. Параметры логической организации микросхем памяти. Модули памяти: микросхема SPD.
реферат, добавлен 24.06.2012Особенности использования лазера в устройствах с магнитооптическими дисками в процессе записи и чтения. Изучение конструкций различных типов дисков. Характеристика основных методов записи информации. Анализ особенностей функционирования флэш-памяти.
лекция, добавлен 09.11.2013Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
статья, добавлен 29.01.2016Изучение протоколов Echo, Time, DayTime, WhoIs, Finger, RLogin, Telnet. Разработка программ клиент-серверного взаимодействия. Обработка команд запросов и ответов протоколов. Использование функций Windows API и других библиотек для работы с сокетами.
лабораторная работа, добавлен 28.04.2015Физическая организация памяти компьютера. Функции системы управления памятью компьютера. Сегментная и сегментно-страничная организация памяти. Аппаратная организация памяти в виде линейного набора ячеек. Связывание логического адреса с физическим.
реферат, добавлен 25.02.2015Оперативная память типа ROM, типа DRAM и кэш-память SRAM. Быстрый постраничный режим динамической оперативной памяти. Оперативная память EDO. Определение объема и других характеристик модулей памяти. Схема проверки четности. Код коррекции ошибок.
курсовая работа, добавлен 09.06.2012- 42. Кэш-память
Использование кэш-памяти в современных компьютерах. Рассмотрение принципов работы кэш-памяти первого и второго уровней. Интегрирование кэш-памяти первого уровня с ядром процессора. Применение кэш-памяти второго уровня для уменьшения замедления системы.
контрольная работа, добавлен 17.05.2016 Понятие и свойства внутренней памяти компьютера. Принципиальная схема оперативной памяти. Устройства внешней памяти: гибкие и жесткие магнитные диски, лазерные дисководы и диски, устройства на основе flash-памяти, их сравнительная характеристика.
презентация, добавлен 07.05.2015Назначение протокола инкапсуляции GRE. Проблемы DF-бита, NATа и их решение. Альтернативы GRE-туннелей. Принцип работы протоколов PPTP, L2TP, PPPoE, L2F, стандарта IPSec. Осуществление маршрутизации с помощью BGP. Базовая настройка и создание GRE туннеля.
курсовая работа, добавлен 07.12.2019Структурная схема процессора, понятие о микропрограммном управлении. Алгоритмы выполнения микроопераций, принципы защиты и построения устройств памяти и организация КЭШ-памяти. Проверка корректности использования отдельных команд, системы ввода/вывода.
курс лекций, добавлен 15.09.2017Применение сателлитных сетей при наборе общих протоколов для разнородной вычислительной среды. Анализ специальной спецификации, определяющей использование технологии ATM в качестве транспорта канального уровня. Особенность структуры стека TCP/IP.
реферат, добавлен 16.11.2014Первая в мире нелокальная компьютерная сеть. Реализации протоколов NCP и TCP. Подключение первого компьютера. Доменная система имен. Возникновение вирусов. Рождение системы электронных досок объявлений. Роль протоколов в Интернете. Первое доменное имя.
реферат, добавлен 25.10.2012Создание компьютерной сети для военных целей, ее использование для осуществления связи между командными пунктами системы обороны. Установка первого сервера Arpanet, развитие протоколов передачи данных. Объединение в 1982 году двух протоколов TCP и IP.
реферат, добавлен 13.12.2015Динамическое распределение и освобождение памяти. VLA-массивы и их выделение в динамической памяти. Рассмотрение сущности и примеров организации стека на динамической памяти. Изучение основных функций, используемых при динамическом распределении памяти.
лекция, добавлен 24.07.2014Назначение быстродействующей буферной памяти, принципы ее функционирования. Влияние емкости и размера строки на эффективность использования кэш-памяти. Способы отображения оперативной памяти на кэш-память. Алгоритмы замещения и согласования информации.
реферат, добавлен 13.06.2013