«Системы и средства информатики»
Том 21, Выпуск 1, 2011г.

Оглавление | Об авторах

Аннотации и ключевые слова.

РАЗВИТИЕ КОМПЬЮТЕРНОЙ ПОДДЕРЖКИ СТАТИСТИЧЕСКИХ НАУЧНЫХ ИССЛЕДОВАНИЙ СИСТЕМ ВЫСОКОЙ ТОЧНОСТИ И ДОСТУПНОСТИ.

• И.Н. Синицын  Институт проблем информатики Российской академии наук, sinitsin@dol.ru
• Э. Р. Корепанов  Институт проблем информатики Российской академии наук, ekorepanov@ipiran.ru
• В.В. Белоусов  Институт проблем информатики Российской академии наук, vbelousov@ipiran.ru
• В. С.Шоргин  Институт проблем информатики Российской академии наук, vshorgin@ipiran.ru
• И. В. Макаренкова  Институт проблем информатики Российской академии наук, imakarenkova@ipiran.ru
• Т.Д. Конашенкова  Институт проблем информатики Российской академии наук, tkonashenkova@ipiran.ru
• Е. С. Агафонов  Институт проблем информатики Российской академии наук, eagafonov@ipiran.ru
• Н.Н. Семендяев  Институт проблем информатики Российской академии наук, nsemendyaev@ipiran.ru

Аннотация: Изложены методологические основы компьютерной поддержки статистических научных исследований (СтНИ), основанных на канонических разложениях (КР) случайных функций (СФ).
Приведены примеры инструментальных программных средств для астрометрических систем высокой точности и банковских систем высокой доступности.

Ключевые слова: компьютерная поддержка статистических научных исследований; системы высокой точности; системы высокой доступности; статистическая динамика вращения Земли; банковские системы; круговые (угловые) случайные величины, функции, процессы и системы

ЭВОЛЮЦИЯ АРХИТЕКТУР СОВРЕМЕННЫХ МИКРОПРОЦЕССОРОВ.

• С. В. Замковец  Институт проблем информатики Российской академии наук, SZamkovetc@ipiran.ru
• В.Н. Захаров  Институт проблем информатики Российской академии наук, VZakharov@ipiran.ru
• В. Е. Красовский  Институт электронных управляющих машин им. И.С.Брука (ИНЭУМ им. И.С. Брука), Krasovsky_v@ineum.ru

Аннотация: Рассмотрены причины разработки первых микропроцессоров с архитектурой CISC. Основные недостатки этой архитектуры связаны с ее избыточностью. В качестве альтернативы этой архитектуры были разработаны микропроцессоры с архитектурой RISC. В обеих архитектурах используется динамический способ управления выполнением команд. Статический способ управления используется в архитектурах VLIW, в которых основная часть по управлению выполнением возлагается на компиляторы.

Ключевые слова:  микропроцессор; архитектура; CISC; RISC; VLIW; конвейер; внеочередное выполнение команд

МОДЕЛЬ ПАРАЛЛЕЛЬНОГО ОБХОДА ДЕРЕВЬЕВ РАБОТ.

• В. А. Козмидиади  Институт проблем информатики Российской академии наук, v.kozmidiady@gmail.com

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

Ключевые слова:  MapReduce; массово-параллельная обработка; обходы деревьев; дерево работ

МЕТОД ПОВЫШЕНИЯ ОТКАЗОУСТОЙЧИВОСТИ СИСТЕМ ПОДДЕРЖАНИЯ КОГЕРЕНТНОСТИ КЭШ.

• Б. З.Шмейлин  Институт проблем информатики Российской академии наук, shmeilin@mail.ru

Аннотация: Представлен метод повышения отказоустойчивости системы поддержания когерентности кэш-памяти с протоколом наблюдения. В~предлагаемом методе кодируются запросы, состояния и сигналы в схеме реализации протокола. Для достижения устойчивости к кратковременным отказам в логике поддержания когерентности к закодированным строкам запросов, состояний и сигналов применяется код, корректирующий одиночные и обнаруживающий двойные ошибки.

Ключевые слова: когерентность кэш; протоколы наблюдения; отказоустойчивость; корректирующие коды

АНАЛИЗ НА САМОСИНХРОННОСТЬ НЕКОТОРЫХ ТИПОВ ЦИФРОВЫХ УСТРОЙСТВ.

• Ю. А. Степченков  Институт проблем информатики Российской академии наук, YStepchenkov@ipiran.ru
• Ю. Г. Дьяченко  Институт проблем информатики Российской академии наук, YDiachenko@ipiran.ru
• Ю.В. Рождественский  Институт проблем информатики Российской академии наук, YRogdest@ipiran.ru
• Н.В.Морозов  Институт проблем информатики Российской академии наук, NMorozov@ipiran.ru

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

Ключевые слова:  самосинхронные схемы; анализ на самосинхронность; тестовая полнота анализа; замыкание; иерархический анализ

О СВОЙСТВЕ САМОСИНХРОННОСТИ ЦИФРОВЫХ ЭЛЕКТРОННЫХ СХЕМ.

• Л.П. Плеханов  Институт проблем информатики Российской академии наук, LPlekhanov@ipiran.ru

Аннотация: Обсуждаются понятие самосинхронности с практической точки зрения и его связь с классическим определением независимости от задержек. Показано, что одного свойства независимости от задержек недостаточно для самосинхронности. Приводятся практические следствия теоретических положений при разработке самосинхронных (СС) схем. Дается связь самосинхронности с недавно вступившим в действие новым стандартом по надежности.

Ключевые слова:  самосинхронность; самосинхронные схемы; анализ самосинхронности

ОСОБЕННОСТИ КЛАССИФИКАЦИОННОГО АНАЛИЗА САМОСИНХРОННЫХ СХЕМ.

• Ю. В. Рождественский  Институт проблем информатики Российской академии наук, YRogdest@ipiran.ru
• Н.В. Морозов  Институт проблем информатики Российской академии наук, NMorozov@ipiran.ru
• А. В. Рождественскене  Институт проблем информатики Российской академии наук, ARogdest@ipiran.ru

Аннотация: Предметом статьи является исследование методов анализа асинхронных схем на независимость их поведения от задержек логических элементов. Предлагаемый метод в теоретической части базируется на диаграммах переходов (метод в глобальных моделях) с последующим тождественным преобразованием к событийным моделям. Полученные алгоритмы анализа обладают строгой фундаментальностью метода в глобальных моделях, но не требует полного перебора достижимых состояний схемы. Сложность задачи изменилась с экспоненциальной на полиномиальную. Классификационный анализ уточняет свойства исследуемой схемы, представляет развернутую диагностику и определяет возможные причины возникших нарушений.

Ключевые слова:  самосинхронные схемы; событийный анализ; автоматизированное проектирование

СРЕДСТВА ПОДДЕРЖКИ ИСПОЛНЯЕМОГО КОДА, СИНТЕЗИРОВАННОГО ПО СПЕЦИФИКАЦИЯМ, НА ЯЗЫКЕ CELL.

• О. А. Бондаренко  Институт проблем информатики Российской академии наук, olga@ipi.ac.ru
• К.И. Волович  Институт проблем информатики Российской академии наук, kv@ipi.ac.ru
• В. А. Кондрашев  Институт проблем информатики Российской академии наук, vd@ipi.ac.ru

Аннотация: В статье рассматриваются аспекты генерации служебного программного кода, обеспечивающего функционирование протокольных автоматов, разработанных на языке Cell. Описывается понятие "исполняющей системы" как совокупности программного кода, включаемого компилятором языка Cell в процедурный код с целью обеспечения функционирования основного алгоритма протокольного автомата. Сериализация процедурного кода, выполняемая компилятором Cell во время его синтеза, предполагает возможность эффективного функционирования автомата без использования операционной системы (ОС), что накладывает на исполняющую систему задачи управления всеми ресурсами, используемыми автоматом.

Ключевые слова:  язык Cell; ячейка; исполняющая система; управление ресурсами; сериализация; иерархический автомат; синтез программного обеспечения; телекоммуникационный протокол

АЛГОРИТМЫ ФУНКЦИОНИРОВАНИЯ КОМПИЛЯТОРА ЯЗЫКА CELL.

• О. А. Бондаренко  Институт проблем информатики Российской академии наук, olga@ipi.ac.ru
• К.И. Волович  Институт проблем информатики Российской академии наук, kv@ipi.ac.ru
• В. А. Кондрашев  Институт проблем информатики Российской академии наук, vd@ipi.ac.ru

Аннотация: Описаны особенности компилятора языка Сell, разрабатываемого для программирования иерархических автоматов, применяемых в том числе для спецификации поведения телекоммуникационных протоколов (ТКП), приведены алгоритмы работы его синтаксического и семантического анализаторов, а также рассмотрены аспекты синтеза исполняемого кода иерархического автомата (ИА) на процедурном языке Си, сериализованного для последовательного выполнения команд.}

Ключевые слова: язык Cell; иерархический автомат; сериализация вычислений; контекст иерархии; синтез программного обеспечения; телекоммуникационный протокол

ОСОБЕННОСТИ РЕАЛИЗАЦИИ УСТРОЙСТВ ИЗМЕРЕНИЯ ВРЕМЕНИ В ВИРТУАЛЬНЫХ МАШИНАХ.

• В.Ю. Егоров  Пензенский государственный университет, vec@mail.ru
• М. А.Шпадырев  Институт проблем информатики Российской академии наук, Пензенский государственный университет, lordm@nm.ru

Ключевые слова:  устройства измерения времени; виртуальная машина; гипервизор; гостевая операционная система

ОБСЛУЖИВАНИЕ ЗАПРОСОВ ПРЯМОГО ДОСТУПА К ПАМЯТИ В КОНТРОЛЛЕРАХ ЖЕСТКИХ ДИСКОВ ВИРТУАЛЬНЫХ МАШИН.

• М. А.Шпадырев  Пензенский государственный университет, lordm@nm.ru

Аннотация: Статья посвящена особенностям обслуживания запросов прямого доступа к памяти (ПДП) в реальных и виртуальных контроллерах жестких дисков. Описаны существующие методы обслуживания таких запросов в виртуальных машинах (ВМ), а также предложен новый метод, основанный на обработке данных в нескольких нитях.

Ключевые слова:  контроллер жестких дисков; прямой доступ к памяти; виртуальная машина; виртуальное устройство; гипервизор