Сетевые модели распределенных систем обработки, Д79 хранения и передачи данных

Аннотация

Рассматриваются методы и инструментальные средства для спецификации, верификации, оценки производительности и проектирования вычислительных ком- плексов, систем и сетей. Основные этапы технологии сетевого моделирования про- иллюстрированы на примерах систем массового обслуживания, вычислительных систем и сетей. Рассмотрены типовые задачи синхронизации и их модели. Особое внимание уделено системам управления массовой памятью и коммуникационным протоколам. Предлагается новая методология моделирования распределенных вы- числительных систем, базирующаяся на принципе непосредственно исполняемых формальных спецификаций, в существенн