Личный кабинет
Подробное описание документа
Буренков В. С.
Проблемы параметризованной верификации протоколов когерентности памяти / Буренков В. С., Иванов С. Р. - DOI 10.18698/2308-6033-2013-11-1013 // Инженерный журнал: наука и инновации. - 2013. - № 11. -
Скачать документ
Проанализированы основные направления верификации протоколов когерентности и сопутствующие проблемы. Сформулирована проблема когерентности памяти, присущая мультипроцессорным системам, и кратко описаны аппаратные пути ее решения - протоколы когерентности. Рассмотрены методы верификации протоколов когерентности. Особое внимание уделено параметризованной верификации, призванной предоставить доказательство корректности протокола с любым числом агентов. Обозначены достоинства и недостатки существующих методов и определены направления дальнейшей работы по верификации протоколов, разработанных для микропроцессоров архитектуры "Эльбрус".
Статья опубликована в следующих изданиях
№ 11. - 2013.
