ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ

12+

Электронный научный журнал Института программных систем имени А.К. Айламазяна Российской академии наук

Титульная страница
О журнале
Редакция
Процесс публикации
Научная этика
Авторам
Выпуски журнала
Архив выпусков

Статьи представлены в формате PDF

Для чтения файлов в формате PDF рекомендуется
программа Adobe Reader

 


• Содержание выпуска •
• Программное и аппаратное обеспечение для суперЭВМ •
• Математическое моделирование •

Программное и аппаратное обеспечение для суперЭВМ

Ответственный за рубрику: д.ф.-м.н., чл.-корр. РАН Абрамов С.М.

Слева для каждой статьи показаны: присвоенный статье порядковый номер; дата поступления статьи в редакцию; количество страниц статьи в формате А5; ссылка на полный текст статьи в формате PDF .

 

1

Поступила в редакцию 17.01.2020

Подписана в печать 20.02.2020

27 с.

PDF

И. А. Адамович, Ю. А. Климов
Специализатор JaSpe: алгоритм внутрипроцедурного анализа времени связывания программ на подмножестве языка Java

Анализ времени связывания в частичных вычислениях, нацеленных на оптимизацию программ, разделяет программные конструкции на статические и динамические. Статические конструкции исполняются специализатором, а динамические переходят в результирующую программу. Частичные вычисления применяются в основном для нетривиальной компиляции программ без компилятора, при наличии лишь интерпретатора и специализатора. Эффективность их существенно зависит от качества разметки программы, получаемой в результате анализа времени связывания.
Статья посвящена особенностям алгоритма анализа времени связывания специализатора JaSpe, разрабатываемого авторами данной публикации для широко распространенного объектно-ориентированного языка Java. Она содержит основные понятия, использованные при реализации анализа времени связывания, внутрипроцедурную версию алгоритма и обсуждение деталей анализа конструкций, использующих ссылочные типы данных.
Алгоритм отличается от предшествующих аналогов, из числа работающих с программами на объектно-ориентированных языках, нетривиальной обработкой конструкций ветвления (if, switch), циклов (for, while, do) и блочных инструкции, которые содержат последовательность других инструкций. От аналогичных алгоритмов, работающих с императивными и функциональными языками, он отличается использованием BT-объектов, которые позволяют получать более точную разметку — c большей долей статических конструкций — при обработке объектно-ориентированных программ. Алгоритм ориентирован на интерактивность и удобочитаемость результатов.

Ключевые слова: современные языки программирования, статический анализ программ, преобразование программ, метавычисления, смешанные вычисления, интерактивная специализация.

Ссылка на статью обязательна

http://psta.psiras.ru/read/psta2020_1_3-29.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2020-11-1-3-29

2

Поступила в редакцию 25.11.2019

Подписана в печать 25.03.2020

25 с.

PDF

И. А. Адамович, Ю. А. Климов
Пакетный протокол взаимодействия программируемых логических интегральных схем

При создании вычислительных систем с использованием программируемых логических интегральных схем (ПЛИС) или специализированных микросхем часто встает проблема соединения нескольких микросхем между собой для передачи данных. При создании авторами подобной вычислительной системы оказалось, что существующие доступные протоколы взаимодействия не обладают требуемыми свойствами: пакетной передачей, использованием небольшого числа линий ввода-вывода общего назначения, необходимой пропускной способностью.
Представлен пакетный протокол передачи данных между ПЛИС, использующий 6 линий ввода-вывода общего назначения и обеспечивающий скорость передачи до 10 МБ/с (суммарно в обе стороны) при частоте 20 МГц.

Ключевые слова:
полудуплексная передача, кредитная информация, сериализация/десериализация данных, конечный автомат, сдвиговый регистр, язык описания аппаратуры.

Ссылка на статью обязательна

http://psta.psiras.ru/read/psta2020_1_31-55.pdf

цифровой идентификатор статьи DOI

https://doi.org/10.25209/2079-3316-2020-11-1-31-55

3

Поступила в редакцию 25.11.2019

Подписана в печать 25.03.2020

22 с.

PDF

И. А. Адамович, Ю. А. Климов
Пакетный протокол взаимодействия программируемых логических интегральных схем (aнгл.)

При создании вычислительных систем с использованием программируемых логических интегральных схем (ПЛИС) или специализированных микросхем часто встает проблема соединения нескольких микросхем между собой для передачи данных. При создании авторами подобной вычислительной системы оказалось, что существующие доступные протоколы взаимодействия не обладают требуемыми свойствами: пакетной передачей, использованием небольшого числа линий ввода-вывода общего назначения, необходимой пропускной способностью.
Представлен пакетный протокол передачи данных между ПЛИС, использующий 6 линий ввода-вывода общего назначения и обеспечивающий скорость передачи до 10 МБ/с (суммарно в обе стороны) при частоте 20 МГц.

Ключевые слова: полудуплексная передача, кредитная информация, сериализация/десериализация данных, конечный автомат, сдвиговый регистр, язык описания аппаратуры.

Ссылка на статью обязательна

http://psta.psiras.ru/read/psta2020_1_57-78.pdf

цифровой идентификатор статьи DOI

DOI: https://doi.org/10.25209/2079-3316-2020-11-1-57-78

 

• Содержание выпуска •
• Программное и аппаратное обеспечение для суперЭВМ •
• Математическое моделирование •

 

Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4 "а"
Тел.: (4852) 695-228.       E-mail: info@psta.psiras.ru.      Сетевой адрес издания: http://psta.psiras.ru

© Электронный научный журнал «Программные системы: теория и приложения» (дизайн) 2010-2017
© Институт программных систем имени А.К. Айламазяна РАН  2010-2018