Ряд широкоиспользуемых конструкций языков программирования противоречат SOLID принципам, отсюда возникает вопрос обоснованности использования SOLID принципов.
В докладе будут представлены ключевые идеи математического доказательства SOLID принципов, которые позволяют обощить их на процедурное и функциональное программирование.
Доклад рассчитан на программистов и архитекторов. Для понимания содержания нужно быть знакомым с основами математической логики в рамках университетского курса.
Рассматривается эволюция идеологии стандартов удалённого управления вычислительными системами на примерах классического интерфейса IPMI и современного стандарта RedFish. Их структура претерпела изменения от монолитного протокола, жёстко описанного на байтовом уровне, до разделённого по уровням протокол/модель данных интерфейса, широко использующего другие стандарты для ускорения и удешевления разработки и стоимости поддержки решения.
В докладе я расскажу о классах задач, которые невозможно или почти невозможно решить на процессорах общего назначения, и которые хорошо подходят для решения с использованием FPGA.
В качестве примера мы рассмотрим программно-аппаратное решение для точной синхронизации времени по сети (протокол PTP) на базе наших плат, использующих систему на кристалле (SoC — CPU + FPGA).
Прошивка FPGA будет включать модуль для вставки временных меток в сетевые пакеты и модуль часов…
Размещение в гостинице, транспортное и экскурсионное обслуживание по специальным ценам.